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