A Comparative Evaluation of Data Flow and Mutation Testing

9311967 Ofutt这个项目正在调查单元级软件测试技术的相对优点，特别是各种数据流标准和突变测试。它正在开发和实现自动生成测试数据的算法，以满足数据流标准。用于确定不能执行的程序子路径的启发式程序也在调查中。所研究的技术将在实验的基础上进行评估，使用故障检测能力和所研究标准的相对能力的组合来相互覆盖。最近基于约束的测试数据生成的结果有力地表明，可以根据数据流标准自动生成测试数据以测试软件程序单元。该项目将开发可用于改善软件测试实践和研究现状的算法。它还将提供关于测试标准的有效性的证据，目的是提高软件质量。***

9311967 Offutt This project is investigating the relative merits of unit-level software testing techniques, specifically various data-flow criteria and mutation testing. It is developing and implementing algorithms for automatically generating test data to satisfy data- flow criteria. Heuristic procedures for determining program sub paths that cannot be executed are also being investigated. The techniques studied will be evaluated on an experimental basis, using combination of fault detection ability and relative abilities of the studied criteria to cover each other. Recent results with constraint-based test data generation strongly indicate that test data can be automatically generated to test software program units according to the data-flow criteria. This project would develop algorithms that can be used to improve the current state of practice and research in testing software. It would also provide evidence concerning the efficacy of testing criteria with the objective of improving the quality of software. ***