摘要
针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。以基于路径覆盖、分支覆盖和数据流覆盖测试数据自动生成这3种算法为核心,开发了一个测试数据自动生成的框架原型。实验结果表明该框架是可行的。
A new framework of automatic test data generation is developed due to the test data generation for control flow and data flow coverage can be merged to path-oriented test data generation in software construction testing. The coverage criteria for control flow and data flow are used to optimize the selection of test path. The approach on path-based automatic test data generation is used to generate test data for the selected path. A prototype on the framework is developed based on the automatic test data generation for path-based, branch and data flow coverage. Test results show that the framework is feasible.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第8期6-9,共4页
Computer Engineering
基金
国家"863"计划基金资助项目(2003AA1Z2610)
关键词
结构测试
控制流
数据流
测试数据自动生成
Structure test
Control flow
Data flow
Automatic test data generation
