首页 | 本学科首页   官方微博 | 高级检索  
     

路径测试中基本路径集自动生成方法的研究
引用本文:韩寒,姜淑娟. 路径测试中基本路径集自动生成方法的研究[J]. 微电子学与计算机, 2013, 30(1): 104-109
作者姓名:韩寒  姜淑娟
作者单位:中国矿业大学计算机科学与技术学院,江苏徐州,221116
基金项目:国家自然科学基金(60970032);江苏省自然科学基金(BK2008124);江苏省研究生培养创新工程(CXLX12_0950)
摘    要:本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.

关 键 词:基本路径集  不可达路径  可达路径  依赖性分析

A Research on Automatic Generation of Basis Path Set in Path Test
HAN Han,JIANG Shu-juan. A Research on Automatic Generation of Basis Path Set in Path Test[J]. Microelectronics & Computer, 2013, 30(1): 104-109
Authors:HAN Han  JIANG Shu-juan
Affiliation:(School of Computer Science and Technology,China University of Mining and Technology,Xuzhou 221116,China)
Abstract:
Keywords:
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号