基于畸化操作剖面的操作重要度評(píng)估

肖靜杰

摘要：在高可靠軟件加速測(cè)試中，畸化操作剖面測(cè)試方法能夠解決測(cè)試用例過多的難點(diǎn)。畸化操作剖面的基本思想是根據(jù)操作重要度來提升重要操作的發(fā)生概率，因此構(gòu)建一個(gè)準(zhǔn)確的操作重要度因子是使用該方法的前提。針對(duì)現(xiàn)有操作重要度還未建立定量的評(píng)估體系這個(gè)問題，本文提出了軟件操作的重要度概念及度量定義，并給出了操作重要度的分析計(jì)算方法。定量的操作重要度能夠有助于更加準(zhǔn)確地構(gòu)造畸化操作剖面。

關(guān)鍵詞：高可靠軟件；加速測(cè)試；畸化操作剖面；操作重要度

中圖分類號(hào)：TP311 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1009-3044（2019）06-0226-02

軟件可靠性測(cè)試的主要思想是按照用戶對(duì)軟件實(shí)際使用的統(tǒng)計(jì)規(guī)律進(jìn)行隨機(jī)測(cè)試，目前通常采用操作剖面的形式對(duì)軟件的使用情況進(jìn)行建模，然后在建模的基礎(chǔ)之上生成測(cè)試數(shù)據(jù)進(jìn)行測(cè)試。

在高可靠軟件中，存在一些重要操作，這些操作可能發(fā)生的概率很小，如果按照用戶操作剖面來進(jìn)行測(cè)試的話，這些操作得到的測(cè)試資源將可能會(huì)非常少，或者是得到的測(cè)試資源不夠充足。通過畸化操作剖面方面，人為地將重要操作的發(fā)生概率提高。為了構(gòu)造準(zhǔn)確的畸化操作剖面，首先要對(duì)操作的重要度進(jìn)行定量評(píng)估。

本文首先對(duì)現(xiàn)有的畸化操作剖面的軟件重要度評(píng)估方法進(jìn)行分析，隨后提出了定量的重要度評(píng)估方法。

1現(xiàn)有的關(guān)鍵操作的區(qū)分

畸化操作剖面的概念是由Tang D提出的，基本思想是假設(shè)關(guān)鍵操作在原始操作剖面中所占的比例較低，但具有較高的失效率。針對(duì)這些重要操作，將發(fā)生的概率人為提高，就可以加速軟件的失效過程，從而加速軟件可靠性測(cè)試的過程。同時(shí)通過似然比理論，將基于畸化操作剖面情況下的可靠性測(cè)試中收集得到的失效數(shù)據(jù)轉(zhuǎn)化為正常操作剖面情況下的失效數(shù)據(jù)，進(jìn)而可以使用傳統(tǒng)的軟件可靠性模型對(duì)目標(biāo)軟件的可靠性進(jìn)行評(píng)估。其中，關(guān)鍵操作的劃分是根據(jù)NASA航天飛機(jī)的數(shù)據(jù)統(tǒng)計(jì)。在這份數(shù)據(jù)中表明稀有事件是軟件系統(tǒng)失效的重要原因。

根據(jù)這份數(shù)據(jù)統(tǒng)計(jì)，現(xiàn)有的操作重要度的定義為發(fā)生概率稀少的操作。因此，在Tang D的畸化操作剖面方法中，對(duì)發(fā)生概率小的操作統(tǒng)一定義為重要操作。在這其中忽略了小概率操作中的非重要操作與中概率中重要度較高的操作。同時(shí)沒有針對(duì)操作的重要度建立定量的評(píng)估體系，這樣構(gòu)造的畸化操作剖面是不準(zhǔn)確的。

2操作重要度分析計(jì)算

對(duì)軟件來說，不同軟件操作的重要度并不相同，對(duì)于由于操作輸入造成嚴(yán)重事故的失效輸出，在測(cè)試時(shí)應(yīng)該投入更大的測(cè)試資源來提高該操作的測(cè)試充分性，保證引發(fā)失效的操作得到了充分測(cè)試，從而避免重大事故的發(fā)生。所以對(duì)于操作重要度的度量不能僅僅以操作的發(fā)生概率來定義，需要同時(shí)考慮該操作可能引發(fā)的事故的嚴(yán)重程度。

定義1：操作的重要度是通過該操作在軟件中的失效概率與失效產(chǎn)生的嚴(yán)重度來綜合評(píng)估。

操作的重要度：操作的失效概率*失效嚴(yán)重程度

其中操作的失效概率是操作的發(fā)生概率與操作的失效概率的乘積，操作的失效嚴(yán)重程度是失效帶來的經(jīng)濟(jì)損失和人員傷亡人數(shù)的乘積。

對(duì)于操作的失效發(fā)生概率高，導(dǎo)致的嚴(yán)重程度高的操作，其重要度比較高，從而需要重點(diǎn)測(cè)試。

由于在進(jìn)行重要度分析時(shí)，在某些情況下會(huì)得到不明確的結(jié)果。例如：

第一個(gè)操作的評(píng)分結(jié)果為：

操作的失效概率=0.55；失效嚴(yán)重程度=100（元）。操作重要度評(píng)分結(jié)果：55

第二個(gè)操作的評(píng)分結(jié)果為：

操作的失效概率=0.00011；失效嚴(yán)重程度=100000（元）*5（名人員傷亡）。操作重要度評(píng)分結(jié)果：55

這兩種的操作重要度值一致，但是第二種操作的失效程度更為嚴(yán)重，應(yīng)該更加需要測(cè)試。

為了避免這種情況重要度降級(jí)的情況發(fā)生，針對(duì)操作失效嚴(yán)重程度制定一個(gè)失效程度的門限值，對(duì)同一嚴(yán)重度范圍內(nèi)的操作重要度進(jìn)行單獨(dú)評(píng)估，之后再與不同的嚴(yán)重度等級(jí)操作進(jìn)行評(píng)估。

首先將操作的失效嚴(yán)重程度劃分等級(jí)，等級(jí)根據(jù)具體軟件的不同而有所區(qū)別，在這里列出一個(gè)通用的操作嚴(yán)重度等級(jí)如表格 1所示。將操作對(duì)應(yīng)到五種等級(jí)上，在同一個(gè)等級(jí)內(nèi)的操作，通過計(jì)算操作的重要度得到操作的重要度因子，同一等級(jí)內(nèi)的操作的重要度大小由重要度大小得出；處于不同等級(jí)的兩個(gè)操作，嚴(yán)重等級(jí)大的操作無論重要度因子大小，它的重要度是大于嚴(yán)重等級(jí)小的操作。

3結(jié)束語

畸化操作剖面的可操作前提是區(qū)分出重要操作，根據(jù)重要度的大小進(jìn)行設(shè)計(jì)畸化操作剖面，對(duì)于重要度大的，應(yīng)該分配更多的測(cè)試資源。所以建立重要度評(píng)估模型，有助于更加準(zhǔn)確建立畸化操作剖面。同時(shí)對(duì)于可能造成重要度減少的情況做出了分級(jí)處理，能有有效的解決畸化操作剖面的準(zhǔn)確性構(gòu)造問題。

參考文獻(xiàn)：

[1]Hecht H.Rare conditions- an important cause of failures[C].Proceedings of the Eighth Annual Conference on Computer Assurance，1993： 81-85.

[2]Hecht H， Crance P.Rare conditions and their effect on software failures[C]. Proceedings of the Annual Reliability and Maintainability Symposium， 1994： 334-337.

[3]Tang D， Hecht H.An approach to measuring and assessing dependability for critical software systems[C].Proceedings The Eighth International Symposium On Software Reliability Engineering， 1997 ：192-202.

[4]Hecht M， Hecht H.Use of importance sampling and related techniques to measure very high reliability software[C].Aerospace Conference Proceedings， 2000； 4： 533-546.

[5]陸民燕. 軟件可靠性工程[M]. 北京：國(guó)防工業(yè)出版社，2011：282-296.

【通聯(lián)編輯：梁書】