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

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

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