消息传递并行程序的弱变异测试及其转化?

摘要：

并行程序执行的不确定性，增加了测试的复杂性和难度。研究消息传递并行程序的变异测试，提出其弱变异测试转化方法，以提高该程序变异测试的效率。首先，根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句；然后，将构建好的所有变异条件语句插入到原程序中，形成新的被测程序，从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题。这样做的好处是，能够利用已有的分支覆盖方法解决变异测试问题。将该方法应用于8个典型的消息传递并行程序测试中，实验结果表明，该方法不但是可行的，也是必要的。

关键词：消息传递、并行程序、变异测试、弱变异测试、转化、变异条件语句

所属期刊栏目：27

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

资助基金：国家自然科学基金61375067;国家重点基础研究发展计划9732014CB046306-2;江苏省自然科学基金BK2012566@@@@National Natural Science Foundation of China61375067;National Program on Key Basic Research Project of China 9732014CB046306-2;Natural Science Foundation of Jiangsu Province of ChinaBK2012566

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

页数：共17页

页码：2008-2024