基于剖面的金融軟件可靠性測(cè)試.pdf

1、軟件可靠性是指在指定時(shí)間內(nèi),在特定環(huán)境下,軟件不引起失效的概率。它是軟件質(zhì)量最重要的固有特性之一。軟件可靠性測(cè)試是面向軟件可靠性的測(cè)試。軟件可靠性測(cè)試的主要工作包括：選擇測(cè)試模型、根據(jù)模型構(gòu)建運(yùn)行剖面、生成測(cè)試用例、執(zhí)行測(cè)試、獲取故障數(shù)據(jù)、可靠性模型選取和進(jìn)行軟件可靠性評(píng)估。運(yùn)行剖面是軟件可靠性測(cè)試的重要部分。它表示為一個(gè)軟件行為和該行為發(fā)生的概率,它是描述用戶使用軟件方式的一種模型。本文以金融軟件中的非接觸IC卡支付為應(yīng)用背景,研究提

2、出一個(gè)基于剖面的可靠性測(cè)試方案,并將這一方案實(shí)施于非接觸支付軟件可靠性測(cè)試中。 本文的主要研究工作包括以下幾個(gè)方面： 1.軟件測(cè)試模型的構(gòu)建。針對(duì)非接觸支付系統(tǒng)構(gòu)建了Musa剖面模型和馬爾可夫鏈剖面模型。Musa剖面模型采用自頂向下的方法將軟件劃分為至多五種剖面類型。馬爾可夫鏈剖面模型將軟件描述為多個(gè)狀態(tài)以及這些狀態(tài)之間的轉(zhuǎn)移概率。這種描述方式也可以狀態(tài)圖的形式表示。 2.測(cè)試用例的自動(dòng)生成。根據(jù)構(gòu)建的Musa剖

3、面模型和馬爾可夫鏈剖面模型,分別生成測(cè)試用例。測(cè)試用例數(shù)據(jù)的選取采取隨機(jī)的形式。主要思想是將運(yùn)行剖面元素概率值與[0,1]區(qū)間某個(gè)區(qū)間段聯(lián)系起來,區(qū)間的長(zhǎng)度等于該運(yùn)行發(fā)生的概率。之后產(chǎn)生一個(gè)[0,1]區(qū)間的隨機(jī)數(shù),根據(jù)剖面元素所屬區(qū)間判定所選擇的剖面元素。 3.可靠性評(píng)估。經(jīng)過對(duì)非接觸支付系統(tǒng)的可靠性要求的分析,采用Nelson模型和Musa模型來對(duì)軟件的可靠性進(jìn)行評(píng)估。 本文最后將非接觸支付系統(tǒng)的普通測(cè)試和基于剖面的可