摘 要：近年來(lái)，隨著經(jīng)濟(jì)的發(fā)展，加快了科學(xué)技術(shù)的發(fā)展步伐。很多的先進(jìn)技術(shù)隨之產(chǎn)生，其中計(jì)算機(jī)技術(shù)就是眾多技術(shù)中普及最快且應(yīng)用范圍最廣的技術(shù)項(xiàng)目之一，其良好的推廣應(yīng)用，對(duì)于現(xiàn)代社會(huì)的發(fā)展意義重大。生活水平的逐步提高，使得人們或者技術(shù)行業(yè)對(duì)于軟件的可信要求越加強(qiáng)烈。所以，可信軟件的設(shè)計(jì)工作就變得越發(fā)重要，通過(guò)不斷的實(shí)踐與研究發(fā)現(xiàn)，對(duì)軟件進(jìn)行有效的劃分，可以分解為職能不同，卻又可以互相關(guān)聯(lián)的構(gòu)件，將各個(gè)構(gòu)件進(jìn)行綜合，使其成為構(gòu)件數(shù)，最終用于開(kāi)展軟件的可行性研究工作。

關(guān)鍵詞：構(gòu)件研究；可信；軟件設(shè)計(jì)；分支

中圖分類(lèi)號(hào)：TP309

1 基于構(gòu)件的可信軟件設(shè)計(jì)的相關(guān)工作

構(gòu)件的可信軟件是以面向?qū)ο蠹夹g(shù)為基礎(chǔ)，將面向技術(shù)能夠得到更好地發(fā)展為目標(biāo)。因此，構(gòu)件具有特定的功能，其功能能夠?qū)崿F(xiàn)軟件更好、更簡(jiǎn)單的開(kāi)發(fā)，同時(shí)對(duì)可信軟件有著積極的擴(kuò)展與維護(hù)作用。

1.1 分析可信軟件的設(shè)計(jì)方案

1.1.1 軟件開(kāi)發(fā)完畢后通過(guò)測(cè)試進(jìn)行可信化處理

軟件開(kāi)發(fā)完畢后可以通過(guò)測(cè)試與運(yùn)行途徑來(lái)實(shí)現(xiàn)對(duì)軟件的可靠性系統(tǒng)進(jìn)行改進(jìn)，從而實(shí)現(xiàn)軟件系統(tǒng)具有可信性、可靠性。通過(guò)TPM的最新加載技術(shù)對(duì)軟件進(jìn)行可信資料的搜集，另外可以通過(guò)對(duì)軟件進(jìn)行可監(jiān)控技術(shù)設(shè)計(jì)方法來(lái)實(shí)現(xiàn)可信監(jiān)控，此外，通過(guò)植入相關(guān)傳感器檢測(cè)軟件來(lái)實(shí)現(xiàn)對(duì)可信軟件設(shè)計(jì)以及可信性評(píng)價(jià)。

1.1.2 在軟件開(kāi)發(fā)過(guò)程中根據(jù)軟件系統(tǒng)需求來(lái)分析其可信性

這種可信軟件的設(shè)計(jì)方案有以下幾個(gè)觀點(diǎn)：第一，根據(jù)用戶需求來(lái)進(jìn)行構(gòu)件測(cè)試；第二，對(duì)軟件進(jìn)行可靠性評(píng)估辦法；第三，軟件開(kāi)發(fā)方法框架組合可信性。

綜上所述，以上兩種可信軟件的設(shè)計(jì)方案雖然提出了軟件開(kāi)發(fā)過(guò)程的可信性度量，但是沒(méi)有從設(shè)計(jì)角度來(lái)進(jìn)行軟件研究及設(shè)計(jì)評(píng)價(jià)，因此，需要對(duì)可信軟件設(shè)計(jì)開(kāi)發(fā)方法進(jìn)行研究，對(duì)軟件可信性度進(jìn)行分析。

2 構(gòu)件軟件模型

2.1 構(gòu)件軟件模型概念分析

2.1.1 構(gòu)件

所謂構(gòu)件，其作為組成軟件的基本單位而存在于計(jì)算機(jī)軟件系統(tǒng)中，同時(shí)也由于自身所持有的特點(diǎn)和功能，成為了軟件的結(jié)構(gòu)（也被稱(chēng)之為功能模塊），通常用二元組CN（構(gòu)件的標(biāo)識(shí)符）、CU（構(gòu)件的屬性集合）來(lái)表示構(gòu)件。

2.1.2 元構(gòu)件

元構(gòu)件，其實(shí)質(zhì)上就是軟件結(jié)構(gòu)中的組成部分，當(dāng)然更是其中最小的模塊。

2.1.3 復(fù)合構(gòu)件

相對(duì)于一般常規(guī)的構(gòu)件來(lái)說(shuō)，復(fù)合構(gòu)件是一個(gè)組合，可能包含兩三個(gè)以上的元件，所以具有明顯的功能性。假設(shè)A是軟件中的構(gòu)件，那么軟件中則會(huì)有很多的構(gòu)件，即A包含C1，C2，C3……，Cn等構(gòu)件。我們對(duì)構(gòu)件關(guān)系進(jìn)行分析——，實(shí)質(zhì)上就是各個(gè)分開(kāi)原件的一個(gè)總集，也就是關(guān)系的結(jié)合。在此集合關(guān)系之中，是笛卡爾積。由此來(lái)看，構(gòu)件的關(guān)系可以被分為三種，即獨(dú)立、依賴(lài)以及相互之間的排斥。獨(dú)立關(guān)系即C1與C2之間沒(méi)有任何聯(lián)系，而且二者之間也不受到執(zhí)行結(jié)果和可信性的影響；所謂依賴(lài)關(guān)系，就是一個(gè)構(gòu)件其單單依靠自身的性能無(wú)法完成一個(gè)獨(dú)立的操作，所以其需要借助很多的其他輔助性構(gòu)件來(lái)實(shí)現(xiàn)，這樣一來(lái)他們就具有依賴(lài)關(guān)系。我們對(duì)依賴(lài)關(guān)系進(jìn)行分類(lèi)，其又分為部分依賴(lài)、完全依賴(lài)兩種。從依賴(lài)關(guān)系的基礎(chǔ)上，我們來(lái)解釋排斥關(guān)系就更為清晰明，即不同的構(gòu)件無(wú)法在相同的情況下進(jìn)行事件的有效處理，二者之間出現(xiàn)了相互抵觸的情況，所以必須從構(gòu)件中選擇一個(gè)，才能繼續(xù)完成接下來(lái)的操作。

2.2 軟件構(gòu)件關(guān)系度量

將構(gòu)件之間的關(guān)系用相關(guān)度H來(lái)表示，H（A，B）表示構(gòu)件A對(duì)構(gòu)件B之間的可信相關(guān)度，而H（A，B）則表示構(gòu)件B對(duì)構(gòu)件A的可信相關(guān)度，注意的是在構(gòu)件相互依賴(lài)的情況下兩種可信相關(guān)度不一定相等，在互斥的情況下兩種可信相關(guān)度在0與1之間。構(gòu)件A與構(gòu)件B兩者之間的關(guān)系有以下幾種，即相互獨(dú)立關(guān)系、互斥關(guān)系、依賴(lài)關(guān)系。

2.3 構(gòu)件軟件模型

軟件有很多的功能，而元構(gòu)件是整個(gè)軟件中最小的構(gòu)件，以至于不能再進(jìn)行劃分。如果構(gòu)件之間的關(guān)系是完全依賴(lài)的關(guān)系，下面就以一個(gè)構(gòu)件圖為例，通過(guò)對(duì)構(gòu)件圖（如圖1所示）轉(zhuǎn)化成為具有層次的構(gòu)件樹(shù)（如圖2所示）。

圖1 構(gòu)件圖

圖2 構(gòu)件樹(shù)

有向圖G，由集合U和E表示，U是所有構(gòu)件組成的頂點(diǎn)集合，而E是U中的構(gòu)件有向邊的集合，記為R（U，E）。一條有向邊是由兩個(gè)構(gòu)件定點(diǎn)組成的有序?qū)?，即（C1，C2）。以頂點(diǎn)U為始點(diǎn)邊的數(shù)目，為出度OD（v），即為構(gòu)件所依賴(lài)的構(gòu)件數(shù)目，出度分為完全依賴(lài)出度與部分依賴(lài)出度，各構(gòu)件之間的依賴(lài)關(guān)系可以通過(guò)有向邊指向來(lái)了解。

3 可信軟件的可信性

可信性，即構(gòu)件在無(wú)障礙運(yùn)行來(lái)完成某個(gè)預(yù)期行為，通常用T表示，0≤T≤1。當(dāng)構(gòu)件A依賴(lài)構(gòu)件B，而B(niǎo)依賴(lài)于C，再C依賴(lài)于D，就這樣一直循環(huán)下去到n，則構(gòu)件的可信值為T(mén)a、Tb、Tc、Td，那么軟件系統(tǒng)的可信值為三個(gè)構(gòu)件組成，即Ta=Tb×Tc×Td。

如果軟件中出現(xiàn)依賴(lài)現(xiàn)象，則要對(duì)相關(guān)構(gòu)件進(jìn)行劃分。以下介紹軟件系統(tǒng)可信值計(jì)算方法：第一，獲取每個(gè)構(gòu)件的可信值；第二，令根節(jié)點(diǎn)為p；第三，采用深度遍歷方法得到可信值t，如果父節(jié)點(diǎn)還有父節(jié)點(diǎn)則賦值為p，繼續(xù)第三步驟而得出信任值T。

4 結(jié)束語(yǔ)

綜上所述，計(jì)算機(jī)的推廣應(yīng)用是時(shí)代發(fā)展的必然性所決定的，但是為了保證其未來(lái)的進(jìn)一步發(fā)展，我們還是要不斷對(duì)其加以研究，顯然計(jì)算機(jī)想要安全的運(yùn)行，就必須依賴(lài)于檢測(cè)工作，所以我們要加強(qiáng)對(duì)于檢測(cè)技術(shù)以及方法的研究和創(chuàng)新運(yùn)用。

參考文獻(xiàn)：

[1]宮政，何颶.云模型在電力變壓器故障診斷中的應(yīng)用[J].安徽電氣工程職業(yè)技術(shù)學(xué)院學(xué)報(bào)，2012（01）.

[2]欒媛媛，張沫，秦培玉.基于云模型的客戶終端偏好模型研究[A].2011年通信與信息技術(shù)新進(jìn)展——第八屆中國(guó)通信學(xué)會(huì)學(xué)術(shù)年會(huì)論文集[C]，2011.

[3]肖陽(yáng)，李啟賢.數(shù)據(jù)挖掘在中國(guó)鋼鐵行業(yè)中的應(yīng)用[A].中國(guó)計(jì)量協(xié)會(huì)冶金分會(huì)2012年會(huì)暨能源計(jì)量與節(jié)能降耗經(jīng)驗(yàn)交流會(huì)論文集[C]，2012.

作者單位：貴州航天職業(yè)技術(shù)學(xué)院，貴州遵義 563000