基于風險統(tǒng)計的可測控軟件研究.pdf

1、隨著信息技術的發(fā)展，應用軟件越來越復雜，導致軟件“軟件危機”的產生。軟件的正確性和可靠性難以保障是“軟件危機"中突出的一個問題<'[1]>?！败浖こ獭钡某霈F與發(fā)展對解決“軟件危機”有很大的益處，其主要特點是“建立并使用完善的工程化原則，以較經濟的手段獲得能在實際機器上有效運行的可靠軟件的一系列方法”<'[1]>，也就是指示出“軟件工程”是從工程規(guī)范性著手解決“軟件危機”的一系列問題。伴隨著“人工智能”領域的相關學科的發(fā)展，以“人工神經

2、網絡”和“復雜適應系統(tǒng)”技術為典型代表的對復雜系統(tǒng)特征進行數學模型抽象或統(tǒng)計描述的方法越來越成熟。這些描述或刻畫系統(tǒng)特征的技術，提供了一種對軟件系統(tǒng)進行測控的可能，本文在對軟件系統(tǒng)性質進行深入分析后，針對軟件正確性和可靠性穩(wěn)定，做了以下的幾個方面的研究：． 1．針對軟件的正確性和可靠性，研究了在軟件運行態(tài)提取軟件運行統(tǒng)計信息的方法。在此基礎上研究了軟件運行統(tǒng)計信息作為風險信息在用于描述軟件正確性和可靠性時的有效性。并且對此做了相

3、關的實驗驗證。 2．針對軟件運行時風險描述，對軟件風險傳播模型進行了研究，并利用該風險模型，設計了基于風險傳播性的軟件運行正確性和可靠性測控模型。 3．為了克服基于風險傳播性的軟件測控模型中“軟件運行正確性與軟件風險傳播性成反比”這一假設，研究了基于復雜適應系統(tǒng)的軟件運行正確性和可靠性測控模型。 由于在數學上對邏輯和算法建模難度很大(控制系統(tǒng)建模相對容易)，所以傳統(tǒng)的軟件工程技術對于軟件正確性和穩(wěn)定性的研究主要集