Effectiveness and Performance in Software Testing

本研究的目的是实证评估 数据流和突变测试的有效性，并开发新的 一种用于集成数据的方法，称为集成测试 流和突变到传统的编译器。 有效性 研究将使用唐纳德·克努特的TEX程序和两个 测试工具，Mothra用于突变测试，ATAC用于数据流 试验. TEX的十年错误日志将作为数据库， 确定数据流和突变测试的有效性。 到 避免在使用这些测试时出现的计算瓶颈 对于大型项目，CIT方法将被整合 在SIMD和MIMD机器上并行执行。

The goals of this research are to empirically evaluate the effectiveness of data flow and mutation testing and to develop a new methodology, named Compiler Integrated Testing, for integrating data flow and mutation into a conventional compiler. The effectiveness study will be carried out using Donald Knuth's TEX program and two testing tools, Mothra for mutation testing and ATAC for data flow testing. The ten year error log of TEX will serve as a data base to determine the effectiveness of data flow and mutation testing. To avoid computational bottlenecks that arise in using these testing methods for large programs, the CIT methodology will be integrated into Mothra and ATAC for parallel execution on SIMD and MIMD machines.