软件故障注入关键技术地研究.pdf

Classified Index: TP311.5 U.D.C: 681.31 Dissertation for the Doctoral Degree in Engineering RESEARCH ON KEY TECHNOLOGIES OF SOFTWARE IMPLEMENTED FAULT INJECTION Candidate ： Pan Qinghe Supervisor： Prof. Pan Qishu, Hong Bingrong Academic Degree Applied for ： Doctor of Engineering Speciality： Computer Application Technology Affiliation ： School of Computer Science and Technology Date of Defence ： April, 2011 Degree-Conferring-Institution ： Harbin Institute of Technology 摘 要 摘 要 可靠性是计算机系统的重要指标之一，在航天、航海、金融、交通、核工 业控制等很多任务或时间关键性领域中，一旦在使用中出现故障后果不堪设想， 可能造成巨大的经济损失和人员伤亡。因此对这些系统在投入使用之前一定要 进行充分的测试，消除系统 内可能存在的故障和漏洞，同时也要在使用之前模 拟未来使用环境中可能出现的环境扰动，如常见的单粒子翻转故障，来对系统 的可靠性等指标进行充分的评测，根据测试结果采用必要的设计和防护方法， 保证其满足可靠性要求。 故障注入技术作为一种可靠性评测手段日益受到人们的重视。故障注入是 通过人为地产生并引入故障到目标系统中加速系统产生错误和失效，然后通过 分析故障引入后的系统行为反应，实现对目标系统可靠性进行评测的技术。与 传统可靠性评测技术相比，它具有无需建立和求解复杂的系统模型，而且实验 时间短、结果精度高等优点。故障注入技术有硬件实现的故障注入、模拟实现 的故障注入和软件实现的故障注入三种。与前两种方法相比，基于软件实现的 故障注入具有操作简便、开发成本低廉，不会对目标系统造成损伤等优点。本 文主要研究了软件故障注入技术，将软件故障注入应用到软件测试的不同环节， 分别研究了变异测试技术，基于中间层的故障注入技术与基于空间的故障注入 技术，并设计了软件故障注入工具。 首先，根据各类故障模型利用突变理论对软件故障注入进行了建模及分析， 并设计了故障注入策略算法。这种策略通过对故障模型的注入强度进行比较与 分类，实现了根据注入强度进行故障注入实验的故障注入算法,为有效的故障注 入实验实施提供依据。 研究讨论了面向程序变异测试技术的特点及发展规律，设计并提出了第一 个关于Tcl 的变异分析原型工具Tester ，目前实现了3大类共13个运算符的变异算 子，利用其进行了变异分析实验，实验结果标明Tester能有效的实施变异分析测 试。研究了面向自动机的变异，面向自动机的变异主要 目的是评测测试用例生 成方法的有效性，这比面向程序的变异技术更进一步。我们设计了11种变异算 子变异自动机，利用变异后的自动机评测测试用例生成方法，主要评测了TT方 法与W方法。研究了面向CTL逻辑说明的变异，面向CTL逻辑说明的变异可以 利用变异测试有效地生成测试用例。前面两者是利用变异测试评测测试用例的 - I - 哈尔滨工业大学工学博士学位论文 充分性及测试用例生成方法的有效性，此种变异则是利用变异测试直接生成测 试用例，这里需要利用SMV模型检验器的反例生成能力。我们设计了10种变异 算子变异CTL逻辑说明。这些我们都通过实验说明了提出的变异算子的有效性。 研究了基于中间层的软件故障注入。对于模