基于構(gòu)件的軟件體系結(jié)構(gòu)可靠性建模支持.pdf

1、隨著計算機技術(shù)和互聯(lián)網(wǎng)的發(fā)展,當今的軟件系統(tǒng)正處在一個開放、動態(tài)以及多變的網(wǎng)絡(luò)環(huán)境中,這使得軟件的能力得以延伸,但同時也對軟件系統(tǒng)的質(zhì)量屬性提出了更高的要求。軟件的非功能屬性,比如軟件系統(tǒng)的正確性、可靠性、安全性和性能正在受到越來越高的重視。在這樣的環(huán)境下,構(gòu)建高質(zhì)量的軟件正在成為一個研究熱點;另一方面,基于構(gòu)件的軟件開發(fā)技術(shù)和體系結(jié)構(gòu)技術(shù)縮短了軟件開發(fā)的周期,增加了軟件復用率,為軟件的開發(fā)帶來了極大的便利。目前,國內(nèi)外學者對基于構(gòu)件的

2、軟件體系結(jié)構(gòu)可靠性有了一些研究,也取得了一些成果,但都或多或少的存在一些局限性。
　　針對目前存在的問題,在已有的研究成果上,本文提出了一種基于構(gòu)件的軟件體系結(jié)構(gòu)的建模和分析方法。該方法在軟件開發(fā)的設(shè)計階段對軟件體系結(jié)構(gòu)的可靠性進行建模和分析,在早期為構(gòu)建可靠的軟件提供參考,以節(jié)省開發(fā)成本。
　　具體而言,本文的研究成果和貢獻主要有:1)提出了分析型接口的概念,用來支持對軟件體系結(jié)構(gòu)的質(zhì)量屬性進行建模和分析;2)在分析型接口