基于構(gòu)件關(guān)系的可信軟件設(shè)計與評價方法.pdf

1、隨著計算機技術(shù)的快速發(fā)展，軟件已經(jīng)應(yīng)用到人們?nèi)粘５膶W(xué)習(xí)、工作和生活的方方面面。隨著軟件應(yīng)用規(guī)模的增大，人們對軟件的依賴性越來越強，并且希望軟件的功能更加強大，應(yīng)用更加方便，這致使軟件的復(fù)雜度增高，軟件開發(fā)困難，軟件的開發(fā)周期也相應(yīng)變長。隨之而來的其他負面效應(yīng)也凸顯出來，軟件在投入應(yīng)用前就存在了各種各樣的漏洞和缺陷，使得軟件不能按照人們預(yù)期正常運行。另外，隨著新型計算服務(wù)模式的廣泛應(yīng)用，比如云計算、普適計算等，軟件應(yīng)用的環(huán)境從單一性發(fā)展到

2、開放性、動態(tài)性及多變性，進一步提高了對軟件可信性的要求。當(dāng)今社會是高度信息化的社會，需要的是開發(fā)周期短、漏洞缺陷少、運行可信性高的軟件。因此，如何在短時間內(nèi)開發(fā)出適合當(dāng)今軟件環(huán)境的更安全、更可信的軟件，是一個亟待解決的問題。
　　針對軟件設(shè)計中存在的問題，本文分析和總結(jié)了可信軟件設(shè)計的相關(guān)理論及相關(guān)評價方法的國內(nèi)外研究現(xiàn)狀。根據(jù)構(gòu)件自身的獨立性和封閉性的特點，提出了基于構(gòu)件關(guān)系的可信軟件設(shè)計與評價方法。該方法從構(gòu)件關(guān)系的角度進行軟