基于構件關系的可信軟件設計與評價方法.pdf

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

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