不完美排错下测试覆盖相关的软件可靠性模型  

Testing Coverage Software Reliability Model under Imperfect Debugging

作　　者：张策[1] 吕为工 邱忠银 高天翼 江文倩 孟凡超[1] ZHANG Ce;LV Weigong;QIU Zhongyin;GAO Tianyi;JIANG Wenqian;MENG Fanchao(School of Computer Science and Technology,Harbin Institute of Technology at Weihai,Weihai264209,China)

机构地区：[1]哈尔滨工业大学(威海)计算机科学与技术学院,山东威海264209

出　　处：《湖南大学学报（自然科学版）》2021年第4期26-35,共10页Journal of Hunan University:Natural Sciences

基　　金：国家自然科学基金资助项目(61473097);山东省重点研发计划项目(GG201703130116,GG201703040002);威海市科技发展计划项目(ITEAZMZ001807)。

摘　　要：准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检测、修复与引入三个子过程之间的内在联系,建立统一的、柔韧的不完美排错框架模型TCM-ID,对累积检测、修复与引入的故障数量之间的关联实施研究,从故障检测率、故障修复率、故障引入率角度衡量软件测试的整体功效.进一步,从测试覆盖的角度,建立测试覆盖函数相关的可靠性模型,以便于研究其对模型的扰动影响,用以评测模型的性能.最后,在真实的应用场景下进行验证所提出模型的有效性与合理性,模型具有较好的拟合与预测性能,整体上优于其他模型.本文所提出的模型,对于选择合适的不完美排错下测试覆盖相关的软件可靠性增长模型,以及提高测试效率与软件可靠性具有重要意义.Accurate modeling of software reliability and effective measurement and prediction of reliability trends are critical to software development.The closer to the real process of software testing the model gets,the more specific factors should be considered and integrated into the imperfect debugging model,and the software reliability growth model(SRGM)with more accurate factors should be built.Considering the intrinsic relationships among the three sub-processes including fault detection,repair and introduction,a unified and flexible imperfect debugging framework model TCM-ID is established to study the relationships among cumulative detection,repair and introduced faults.The overall efficiency of the software test is measured from the perspective of fault detection rate,fault repair rate and fault introduction rate.Further,from the perspective of test coverage,a reliability model TCM-ID(Testing Coverage Software Reliability Model under Imperfect Debugging)is established to discuss its perturbation effect on the model and to evaluate the performance of the model.Finally,the validity and rationality of the proposed model are verified in real application scenarios.The model has better fitting and prediction performance,and it is better than other models overall.The model proposed in this paper is of great significance for selecting the appropriate SRGM for the test coverage under the imperfect debugging conditions and improving the test efficiency and software reliability.

关 键 词：软件可靠性 软件可靠性增长模型 不完美排错 测试覆盖 框架模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]