运用变异测试的并行程序测试用例最小化算法

摘要：

在并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素.以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法.首先对并行程序进行研究,选取与并行错误密切相关的9个变异算子,并以此为基础为待测程序生成多种变异体;采用JPF作为线程调度工具来执行测试用例,根据变异评分与平均时间成本对测试用例进行排序,在优化后的测试用例集中选取检测能力不重复的测试用例,从而得到面向并行错误检测的最小测试用例集.实验结果证明,该方法能有效减小测试用例集的规模,并大幅缩短运行时间,从而提高了并行程序的测试效率.

关键词：并行程序、变异测试、测试用例优化、测试用例最小化

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金青年基金61402370

在线出版日期：2017-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：109-113