Component-based software reliability analysis incorporating imperfect debugging and change-point  

作　　者：张策 Cui Gang Liu Hongwei Meng Fanchao Bian Yali 

机构地区：[1]School of Computer Science and Technology,Harbin Institute of technology [2]School of Computer Science and Technology,Harbin Institute of Technology at Weihai

出　　处：《High Technology Letters》2014年第4期346-354,共9页高技术通讯（英文版）

基　　金：Supported by the National High Technology Research and Development Program of China(No.2008AA01A201);the National Natural ScienceFoundation of China(No.60503015);the National Key R&D Program of China(No.2013BA17F02);the Shandong Province Science andTechnology Program of China(No.2011GGX10108,2010GGX10104)

摘　　要：Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.Against the deficiencies of component-based software （CBS） reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point （CP） problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model （MMISQM） is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.

关 键 词：software reliability component-based software （CBS） imperfect debugging change-point （CP） queuing theory 

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