HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

路径测试中基本路径集自动生成方法的研究

作者:韩寒 姜淑娟基本路径集不可达路径可达路径依赖性分析

摘要:本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

微电子学与计算机

《微电子学与计算机》(CN:61-1123/TN)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《微电子学与计算机》是中国计算机学会会刊,本刊的宗旨是,严谨认真,求实创新;以人为本,研以致用;弘扬科学,追求真理。本刊国内公开发行,面向科研院所,厂矿技术人员、院校师生和管理人员,及时提供国内微电子与计算机行业最新科研成果。

杂志详情