基于占优度的消息传递并行程序变异体约简方法

摘要

本发明涉及一种基于占优度的消息传递并行程序变异体约简方法，该方法包括：形成消息传递并行程序弱变异测试转化后的新程序；确定新程序中各变异条件语句真分支之间的占优关系；计算新程序中各变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度；得到冗余的变异条件语句真分支并进行约简；得到约简后的变异条件语句真分支和变异体。本技术方案针对消息传递并行程序弱变异测试转化后的新程序，根据变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度对变异体进行约简，不仅减少了变异体的数量，还提高了变异测试的效率，为消息传递并行程序的变异体约简问题提供了一种有效的解决思路。