基于占优度与集合进化的并行程序变异测试数据自动生成

项目名称： 基于占优度与集合进化的并行程序变异测试数据自动生成

项目编号： No.61375067

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 巩敦卫

作者单位： 中国矿业大学

项目金额： 79万元

中文摘要： 软件测试自动化能够提高测试效率，自动生成测试数据是软件测试自动化的前提。变异测试具有很强的检错能力，但是，已有方法存在的许多严重问题，使其难以应用到并行程序测试中。本项目针对消息传递并行程序的特性，研究基于占优度与集合进化的并行程序变异测试数据自动生成。通过研究，拟提出基于占优度的变异体约简理论，大幅度约简在不同变异点，通过实施不同类型变异算子得到的变异体；建立基于路径覆盖的变异测试数据生成问题的数学模型，有效降低问题求解的难度；设计基于集合进化的变异测试数据自动生成方法，进一步提高测试数据生成的效率；将所提理论与方法应用于并行程序变异测试中，显著提高程序的可靠性。本项目是自动化、计算机，以及数学等学科有机交叉、新颖且富有挑战性的研究方向，有非常明确的产业需求；产生的成果能够丰富变异测试理论，提高并行程序测试效率，并扩大集合进化优化的应用范围，因此，具有重要的理论意义和实际应用价值。

中文关键词： 进化算法；变异测试；并行程序；测试数据生成；集合进化

英文摘要： Automatic generation of test data is the premise of software testing automation which can improve the efficiency of testing. Mutation testing has strong capabilities in detecting faults, many severe problems existing in previous mutation testing methods,

英文关键词： evolutionary algorithm；mutation testing；parallel program；test data generation；set-based evolution