何智濤 晏海華 劉 超
(北京航空航天大學 計算機學院,北京100191)
軟件缺陷發(fā)現(xiàn)時序過程的疊加雙阻尼振蕩模型(ABDOM,Accumulative Bi-Damped Oscillation Model)[1]為軟件測試過程的度量和評估提供了一種新的手段.該模型是一個可初步描述軟件缺陷發(fā)現(xiàn)時序過程的周期性、隨機振蕩性和阻尼衰減性等基本特征及關鍵影響因素的數(shù)學模型.但是,為了能更好描述復雜的軟件缺陷發(fā)現(xiàn)場景,當前的ABDOM模型仍然存在需要改進的地方:
1)在現(xiàn)有的ABDOM中,軟件缺陷發(fā)現(xiàn)阻尼a和軟件缺陷發(fā)現(xiàn)周期阻尼b的具體意義尚不很明確,而這些參數(shù)的物理意義和規(guī)范化的取值對于軟件測試過程質(zhì)量的評估和預測有著重要的指導意義.因此,有必要通過進一步的擬合實驗分析,對參數(shù)a和b的物理意義進行深入探討,進而討論參數(shù)a和b的規(guī)范化取值.
2)同時鑒于在測試工程實踐中,測試與開發(fā)人員變更、測試周期調(diào)整等因素的變化均是非連續(xù)的,呈現(xiàn)離散化特征,因此ABDOM中的相關參數(shù)需要進行進一步的離散化改進來增強ABDOM對離散變化的適應能力.
3)使用ABDOM模型對實際的軟件缺陷發(fā)現(xiàn)過程進行預測和評估是建立ABDOM模型的最終目標.因此,基于ABDOM參數(shù)規(guī)范化研究成果,有必要開展軟件缺陷發(fā)現(xiàn)過程質(zhì)量評價因素研究.
本文將圍繞以上問題開展研究與實踐檢驗.
疊加雙阻尼振蕩模型ABDOM是一種可在一定條件下描述軟件缺陷發(fā)現(xiàn)時序過程的數(shù)學模型.如式(1)所示:

軟件缺陷發(fā)現(xiàn)時序過程的特性(時序性……