基于数据流的软件测试序列自动生成技术研究

作者：刘勇; 曾明; 朱利; 陈继峰; 严建伟

来源：微电子学与计算机, 2005, (5): 131-135.

DOI：10.3969/j.issn.1000-7180.2005.05.033

• 软件测试
• 数据流
• 测试序列

测试用例自动生成技术是软件测试的一个重要研究领域,而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题.文章提出一种构造结构性测试序列集合的方法,此方法首先对待测试程序进行静态分析,然后根据程序的语句间关系生成程序图,最后基于数据流测试准则,根据程序图以及变量的定义和使用信息构造结构性测试序列集合.在Linux平台上使用这种方法对若干条程序进行分析处理,得到的测试序列集合可以使待

• 单位
  西安交通大学