变异测试是一种面向缺陷的测试技术,通过生成检测模拟缺陷的测试数据,提高测试充分性。然而,顽固变异体使得变异测试成本大幅增加。分布存储并行程序的多流程及其之间的交互,导致已有方法无法有效鉴别该类程序的顽固变异体并生成相应的测试数据。因此,有必要研究分布存储并行程序顽固变异测试理论与方法,提出合理的顽固变异体判定方法,给出生成杀死顽固变异体测试数据有效的策略。本文主要从顽固变异体判定及其相应的测试数据生成2个方面展开研究。针对分布存储并行程序顽固变异体的判定问题,提出基于变异语句和相关流程的顽固变异体判定方法。首先,考虑不同流程交互序列的影响,从变异语句可达性,变异算子属性以及变异语句与流程和输入的相关性等方面,提出传统变异体顽固性的评价指标;然后,根据不同通信语句的类型,结合变异语句可达性与传播性等因素,提出并行变异体顽固性的评价指标;最后,基于这些指标,给出传统顽固变异体和并行顽固变异体的判定策略。针对传统顽固变异体测试数据生成问题,提出基于流程路径引导和搜索空间缩减的生成方法。首先,根据不同路径与流程交互序列对测试数据生成难度的影响,选择最优路径与流程交互序列;然后,目标函数为传统顽固变异体是否被杀死,约束函数为种群个体是否覆盖并行程序目标流程路径,基于目标函数和约束函数建立问题模型;最后,充分利用种群进化信息和流程反馈信息,采用动态固定决策变量和缩减搜索域的策略改进遗传算法,让搜索范围逐渐变小,实现测试数据的高效生成。针对并行顽固变异体测试数据生成问题,融合并行顽固变异体之间的关系,提出一种基于语句占优和相关输入变量分组的生成方法。首先,根据变异语句之间的占优关系,将顽固变异体进行初步划分;接着,针对已划分好的变异体集合,建立变异语句与程序输入变量相关性矩阵,基于相关性矩阵将顽固变异体再次进行划分;然后,针对每一组并行顽固变异体测试数据生成问题,建立数学模型;最后,采用集合进化方法,生成杀死所有并行顽固变异体的测试数据。实验分析表明,本文提出的方法,实现了分布存储并行程序顽固变异体的有效判定;减少了顽固变异测试数据生成所需要的资源,提高了分布存储并行程序变异测试的效率。