张策，吕为工，邱忠银，高天翼，江文倩，孟凡超

（哈尔滨工业大学（威海）计算机科学与技术学院，山东威海 264209）

软件测试是软件可靠性不断增长的过程，是提高可靠性必不可少的关键环节.软件测试过程是软件测试人员在某种测试环境下，按照预定的测试策略或计划，执行测试案例，发现与检测软件运行过程中的失效，定位、收集和记录故障，并进行故障修复的过程.整个过程大致由三个部分组成，即故障检测过程FDP（Fault Detection Process）、故障分析过程FAP（Fault Analysis Process）和故障修复过程FCP（Fault Correction Process）[1].图1 描述了软件测试与排错过程，可以看出，随着故障被不断的检测和修复，软件的可靠性得到持续提高.

图1 真实软件测试过程中存在不完全排错与引入新故障情况Fig.1 Incomplete troubleshooting and introduction of new faults during real software testing

由于软件测试与排错的复杂性、随机性和不确定性[2-5]，检测到的故障在修复阶段可能没有成功排除，出现排错的不完全现象，如图1 中上面的反馈线；另外，在故障的修复过程中，由于程序的内在结构逻辑可能被破坏，从而存在引入新故障的可能[6-7]，如图1 中下面的反馈线.包括这两种情况等实际测试情况在内的复合现象通常被称为不完美排错现象.因此，不完美排错[5，8-12]是更加靠近真实软件测试过程的研究，能够描述更多的实际情形，得到了科研人员的重视.软件可靠性增长模型SRGM（Software Reliability and Growth Model）[13-15]可用来对软件测试过程进行建模，通过数学手段来定量描述故障检测、修复等关系，是对软件可靠性进行有效度量与预测的重要工具.在现有SRGM 研究看来……