系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2014年
11期
2332-2336
,共5页
吴彩华%王晓伟%刘俊涛%马建朝
吳綵華%王曉偉%劉俊濤%馬建朝
오채화%왕효위%류준도%마건조
软件可靠性%软件可靠性增长模型%不完美排错%检错过程%排错过程
軟件可靠性%軟件可靠性增長模型%不完美排錯%檢錯過程%排錯過程
연건가고성%연건가고성증장모형%불완미배착%검착과정%배착과정
software reliability%software reliability growth model (SRGM)%imperfect-debugging%detec-tion process%removing process
进行软件可靠性评估主要通过构建软件可靠性模型实现。软件可靠性模型通常给出被检出的故障可以立即被排除,并且不会有新的故障被引入的假设,这与实际的检错过程是不相符的。针对以上假设条件,提出了一种新的软件可靠性增长模型。该模型将软件的检错过程和排错过程作为两个独立的非齐次泊松过程分别进行建模,并将软件中存在的故障数看作是一个变化的函数,该函数包括软件中初始故障及引入的故障。在两个数据集上进行相应实验证明,较之其他模型,新建模型的拟合和预测效果更好。
進行軟件可靠性評估主要通過構建軟件可靠性模型實現。軟件可靠性模型通常給齣被檢齣的故障可以立即被排除,併且不會有新的故障被引入的假設,這與實際的檢錯過程是不相符的。針對以上假設條件,提齣瞭一種新的軟件可靠性增長模型。該模型將軟件的檢錯過程和排錯過程作為兩箇獨立的非齊次泊鬆過程分彆進行建模,併將軟件中存在的故障數看作是一箇變化的函數,該函數包括軟件中初始故障及引入的故障。在兩箇數據集上進行相應實驗證明,較之其他模型,新建模型的擬閤和預測效果更好。
진행연건가고성평고주요통과구건연건가고성모형실현。연건가고성모형통상급출피검출적고장가이립즉피배제,병차불회유신적고장피인입적가설,저여실제적검착과정시불상부적。침대이상가설조건,제출료일충신적연건가고성증장모형。해모형장연건적검착과정화배착과정작위량개독립적비제차박송과정분별진행건모,병장연건중존재적고장수간작시일개변화적함수,해함수포괄연건중초시고장급인입적고장。재량개수거집상진행상응실험증명,교지기타모형,신건모형적의합화예측효과경호。
Constructing a software reliability model is an important method to evaluate the software reliabil-ity.The existing software reliability models usually assume that software faults are removed immediately when detected and new faults can not be introduced during the detection process,which is different from the real situ-ations.To improve the above hypothesis conditions,a new software reliability growth model is presented.The detection process and the removing process are modeled as two independent non-homogenous Poisson processes in the new model.And the number of existing software faults is modeled as a changed function,including the initial faults and the newly introduced faults.Compared with other models,the presented model has better fit-ting ability and predicting ability by the fitting and predicting experiments with the two data sets.