基于故障模拟的软件故障检测方法研究

项目名称： 基于故障模拟的软件故障检测方法研究

项目编号： No.60970022

项目类型： 面上项目

立项/批准年度： 2010

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

项目作者： 单锦辉

作者单位： 总装备部工程设计研究总院

项目金额： 30万元

中文摘要： 软件在航天发射场发挥重要作用，一旦出现故障可能造成严重危害。本项目以航天发射场指挥、控制软件为背景，结合变异测试、软件故障模型、软件故障检测等方向的研究进展，研究有效地检测出软件故障的方法。本项目的主要研究内容是：描述软件故障的方法；分组、分级建立软件故障模型；模拟软件故障的技术，即研究借鉴变异测试思想，设计变异算子系统地模拟软件故障；自动检测软件故障的技术，即研究如何自动生成测试数据，以便检测出这些软件故障，并使这些软件故障能够稳定、可靠地复现；所生成测试数据的揭错能力，即研究这些测试数据检测其它软件故障的能力；开发相应的支持工具，并在工程应用中验证所提出方法的有效性。本项目成果将推动软件故障模拟与检测理论和技术的发展，并应用于软件故障模拟与检测实践活动。

中文关键词： 软件故障；故障模拟；故障模型；故障检测；变异测试

英文摘要：

英文关键词： software fault；fault simulation；fault model；fault detection；mutation testing