王金勇, 张 策, 米晓萍, 郭新峰, 李济洪

1(山西大学 软件学院,山西 太原 030006)

2(哈尔滨工业大学(威海) 计算机科学与技术学院,山东 威海 264209)

软件测试和调试是一个复杂的过程,其中,测试者和调试者的能力和技术对软件故障的检测和排错有着重要影响.当一个故障被检测出来时,调试人员需要用相关的知识去考虑怎样完全去除和修复故障,而且不要引入新的故障.但是,调试过程会被许多因素影响,例如调试者的技术、调试用的工具、调试环境和调试人员在调试过程中的心理变化等.这些因素都会影响调试人员在去除故障时是否会引入新的故障.人们一般称在软件调试过程中,当检测出的故障被去除时,引进新的故障现象为不完美调试.

在过去的40年里,研究者对不完美调试现象进行相关的研究,而且也提出了许多不完美调试的软件可靠性增长模型.由于不完美调试情况的复杂性,人们一般把不完美调试过程看做是具有不确定性的随机过程.另外,在实际的软件测试过程中,软件检测出故障的数量不一定和故障去除的故障数量相等,例如,去除一个已检测出的故障可能会引入新的故障或者原来的故障没有被完全去除.也就是说,在不完美调试过程中,故障总个数可能会增加.G-O[1]首先提出了不完美调试的概念,Obha等人[2]在 G-O模型的基础上提出了故障引进的不完美调试软件可靠性模型.Kapur等人[3]提出了故障检测率随测试时间下降的……