基于風(fēng)險(xiǎn)統(tǒng)計(jì)的可測控軟件研究.pdf

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

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

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