軟件可靠性測(cè)試數(shù)據(jù)生成方法的研究

1、第""卷"#%年第9期%月航空學(xué)報(bào)NnPzQXn-NPn+nzQXn-N+-Q-NfUp*""QU*9QUa*"#%.文章編號(hào)!%#$9:)+("#%-#9$#)$#,軟件可靠性測(cè)試數(shù)據(jù)生成方法研究陳雪松;陸民燕;阮鐮%#:+-北京航空航天大學(xué)工程系統(tǒng)工程系;北京(<=>?AB<AC=DEFGFGHIEJIHI=G<=?E=EKGBGFE=IABLG=MA?$;W$;NOPQRS7TU6VXYZ66XQWZ6(;_#:+;N-_7ZZ6VX6Za7bTZ/Uc7bU6S/Z8T6dT/bU6S/Z8T

2、7ZZ6V%.Z6摘要!闡述了構(gòu)造非實(shí)時(shí)軟件運(yùn)行剖面的方法;以及根據(jù)運(yùn)行剖面生成非實(shí)時(shí)軟件可靠性測(cè)試數(shù)據(jù)的方法;并提出了構(gòu)造實(shí)時(shí)軟件運(yùn)行剖面和生成實(shí)時(shí)軟件可靠性測(cè)試數(shù)據(jù)的思路e最后給出實(shí)例;系統(tǒng)地演示非實(shí)時(shí)軟件可靠性測(cè)試數(shù)據(jù)的生成過(guò)程e關(guān)鍵詞!軟件可靠性測(cè)試&系統(tǒng)模式剖面&功能剖面&運(yùn)行剖面&測(cè)試數(shù)據(jù)&(非-實(shí)時(shí)軟件中圖分類(lèi)號(hào)!f"%*g文獻(xiàn)標(biāo)識(shí)碼!nEhijklmj.7o7/.UdUc8U6T/bS8/Z6V/.7U07b/ZU6p0bUcZp75T7dU62.Z8./.7b7pZ5ZpZ/7T/d/b7V76$*p$*67b/7dcUb6U

3、6b7p/Zo7TUc/2b7ZTdZT8STT7dTU/.7Zd7Uc/.UT7cUbb7p/Zo7TUc/2b7ZT0bU0UT7d$74o0p7ZppST/b/Z6V/.72.Up70bU87dSb7UcV767b/Z6V6U6b7p/Zo7TUc/2b7b7pZ5ZpZ/7T/d/TT/7o/Z$*8ppZTVZa76/.776dUc/.ZT007b!T&T&c&U&/qrstukviUc/2b7b7pZ5ZpZ/7T/Z6VT/7ooUd70bUcZp7S68/ZU6p0bUcZp707b/ZU6p0bUcZp77T/d$&(-$/6U6b7p

4、/Zo7TUc/2b7軟件可靠性測(cè)試是保證軟件質(zhì)量與可靠性的重要手段;它能夠有效地暴露在實(shí)際使用過(guò)程中影響軟件可靠性的缺陷(最先暴露的一-;w7c78/般是高發(fā)生概率的缺陷e軟件可靠性測(cè)試包括軟%y件可靠性增長(zhǎng)測(cè)試和軟件可靠性驗(yàn)證測(cè)試xe在構(gòu)造運(yùn)行剖面的過(guò)程中;需要了解用戶(hù)是如何使用該軟件的e要充分了解用戶(hù)使用軟件的各種完成這些功能相應(yīng)的輸入變量e模式和各種功能;同時(shí);還要了解用戶(hù)在使用軟件時(shí)各系統(tǒng)模式和功能發(fā)生的概率e這些信息大都來(lái)自軟件開(kāi)發(fā)的文檔;規(guī)格說(shuō)明書(shū)和接口文件等資料e需要測(cè)試分析人員向用戶(hù)了解軟件的使用信息e系統(tǒng)模式及功能劃分得越完整;概率越準(zhǔn)確;構(gòu)造出的運(yùn)行剖面越能反映軟件的實(shí)際

5、使用情況e構(gòu)造軟件的運(yùn)行剖面的方法是按照一種層次結(jié)構(gòu);自頂向下地把用戶(hù)使用軟件的輸入空間劃把系統(tǒng)模式剖面劃分為功能分為系統(tǒng)模式剖面;+;,y剖面;最后把功能剖面劃分為運(yùn)行剖面xe軟件可靠性測(cè)試的主要特點(diǎn)是按照用戶(hù)實(shí)際使用軟件的方式來(lái)測(cè)試軟件e軟件的運(yùn)行剖面可以用來(lái)定量描述用戶(hù)實(shí)(-z07b/ZU6pbUcZp7際使用的軟件方式e構(gòu)造軟件的運(yùn)行剖面是實(shí)現(xiàn)軟件可靠性測(cè)試的關(guān)鍵步驟;也是軟件可靠性測(cè)試最主要的特征e可靠性測(cè)試數(shù)據(jù)是基于運(yùn)行剖面生成的e軟件可以分為實(shí)時(shí)軟件和非實(shí)時(shí)軟件兩類(lèi)e本文在討論生成非實(shí)時(shí)軟件可靠性測(cè)試數(shù)據(jù)的基礎(chǔ)上;給出了構(gòu)造實(shí)時(shí)軟件運(yùn)行剖面和生成可靠性測(cè)試數(shù)據(jù)的思路e*構(gòu)造系統(tǒng)模

6、式剖面通過(guò)分析軟件使用的方式;可將其劃分成相對(duì)獨(dú)立的一組系統(tǒng)模式;確定系統(tǒng)模式發(fā)生的概率;即構(gòu)成系統(tǒng)模式剖面!%&(;$&"#"#"#$個(gè)系統(tǒng)模式剖面元%;")*,;其中!"#+$是第$素&"個(gè)系統(tǒng)模式&#個(gè)系統(tǒng)模式$是第$是第$發(fā)生的概率&*+是系統(tǒng)模式的個(gè)數(shù)e除非特別需要;系統(tǒng)模式不宜劃分得過(guò)多;要盡可能準(zhǔn)確而精練地描述出用戶(hù)使用被測(cè)軟件的可能方式;這一原則同樣適用于構(gòu)造功能剖面和%構(gòu)造非實(shí)時(shí)軟件運(yùn)行剖面的方法軟件的運(yùn)行剖面|是指對(duì)系統(tǒng)使用條件的定義e即系統(tǒng)的輸入值用其按時(shí)間的分布或按它們x

7、"y在可能輸入范圍內(nèi)的出現(xiàn)概率的分布來(lái)定義e收稿日期!"#$%#$%&修訂日期!"#%$#%$#基金項(xiàng)目!國(guó)防科工委九五重點(diǎn)預(yù)研項(xiàng)目(資助項(xiàng)目%)*+*%*,-文章網(wǎng)址!11*11"#%1#91#)1./0222*.34567/86.345運(yùn)行剖面!在確定系統(tǒng)模式發(fā)生的概率時(shí)"可通過(guò)對(duì)相似系統(tǒng)某一系統(tǒng)模式的使用進(jìn)行統(tǒng)計(jì)或依據(jù)用戶(hù)經(jīng)驗(yàn)"估計(jì)出該系統(tǒng)模式發(fā)生的概率!在統(tǒng)計(jì)概率可以結(jié)合開(kāi)發(fā)人員或有關(guān)專(zhuān)無(wú)法獲得的情況下"家的意見(jiàn)"估計(jì)出軟件各系統(tǒng)模式發(fā)生的概率值!概率值的估計(jì)有若干種方法"包括#經(jīng)驗(yàn)法$統(tǒng)

8、%#計(jì)法$等!在構(gòu)造功能剖面%運(yùn)行剖面時(shí)"仍可以采用相似方法來(lái)確定功能和運(yùn)行的條件概率值!&(構(gòu)造功能剖面對(duì)于某一特定的系統(tǒng)模式"需要分析完成該系統(tǒng)模式所有的功能及其概率"構(gòu)成功能剖面)-./"0".1"2"3"!其中7*+*+*+,4*+,56,是第,個(gè)功能剖面元素8*個(gè)功能8+,是第,是第,個(gè)功能發(fā)生的概率845是當(dāng)前系統(tǒng)模式下功能的個(gè)數(shù)!構(gòu)造功能剖面需要考慮以下方面79分別劃分某一系統(tǒng)模式下的功能8:確定某一系統(tǒng)模式下的功能發(fā)生概率8;不同系統(tǒng)模式下的相同的功能剖面要合并!&<構(gòu)造運(yùn)行剖

9、面對(duì)于某一獨(dú)立功能的完成"是通過(guò)輸入一系在實(shí)際測(cè)試軟件過(guò)程中"列輸入變量值來(lái)實(shí)現(xiàn)的!軟件的先后輸入變量之間通常存在著某種聯(lián)系"不是完全獨(dú)立的!為了研究簡(jiǎn)便起見(jiàn)"這里假設(shè)這種關(guān)聯(lián)關(guān)系比較小"仍然按照它們之間相對(duì)獨(dú)立規(guī)定這些輸入變量其具體取值區(qū)間"在取來(lái)對(duì)待!值區(qū)間內(nèi)把它們看作是獨(dú)立的!運(yùn)行剖面需要分別描述各功能輸入變量的取值區(qū)間"即區(qū)間的上下限"和各輸入變量在其取值區(qū)間內(nèi)的概率分布!該概率分布是條件概率分布"是指在功能被選中的條件下"該功能各輸入變量取值的概率分布!運(yùn)行剖面可表達(dá)為)-./&quo

10、t;0".=+=+=+,1"2"3""其中744+>6>是功能的運(yùn)行個(gè)數(shù)8=,是第,個(gè)運(yùn)行剖面元素8+個(gè)運(yùn)行發(fā)生的,是第,概率8=個(gè)運(yùn)行".)"?"3""=?,是第,12A12A其中?是第A個(gè)輸入變量的第3"6"?4AA個(gè)取4A值區(qū)間".1"2"3""BA是輸入變量取值區(qū)間BAA的個(gè)數(shù)!對(duì)于每一個(gè)功能需要構(gòu)造運(yùn)行剖面"之后對(duì)不同功能下的相同的運(yùn)行剖面需要進(jìn)行合并"構(gòu)成最終的軟件的運(yùn)行剖面!系統(tǒng)模

11、式剖面%功能剖面和運(yùn)行剖面的層次關(guān)系見(jiàn)圖1!第I期陳雪松等軟件可靠性測(cè)試數(shù)據(jù)生成方法研究M00NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN的約束關(guān)系!每個(gè)輸入變量的取值區(qū)間及其相應(yīng)的條"#$構(gòu)成了實(shí)時(shí)件概率分布按照輸入時(shí)序進(jìn)行排列%軟件的運(yùn)行剖面!通過(guò)遍歷每個(gè)輸入變量%對(duì)其在取值區(qū)間"&$內(nèi)隨機(jī)抽樣%可以按時(shí)序生成一個(gè)輸入向量%用于測(cè)試相應(yīng)的功能序列!本文提出的這種實(shí)時(shí)軟件運(yùn)行剖面構(gòu)造的思路%可用于開(kāi)發(fā)計(jì)算機(jī)輔助構(gòu)造運(yùn)行剖面并基于概率分布抽樣!通過(guò)對(duì)運(yùn)行和各輸入變量取值1個(gè)步驟的抽樣

12、%就生成了一個(gè)測(cè)試數(shù)據(jù)!每個(gè)輸入變量的測(cè)試數(shù)據(jù)構(gòu)成一個(gè)輸入向量%用于測(cè)試選定功能!不斷重復(fù)上述步驟%直到生成所需數(shù)量的測(cè)試數(shù)據(jù)為止!&應(yīng)用實(shí)例這里通過(guò)一個(gè)實(shí)例%系統(tǒng)地演示對(duì)AA飛機(jī)該運(yùn)行剖面生成實(shí)時(shí)軟件的可靠性測(cè)試數(shù)據(jù)!#非實(shí)時(shí)軟件測(cè)試可靠性測(cè)試數(shù)據(jù)的生成方法軟件的可靠性測(cè)試數(shù)據(jù)是根據(jù)運(yùn)行剖面隨機(jī)生成的!在運(yùn)行剖面中規(guī)定了每個(gè)輸入變量的取值區(qū)間%并且在很難確定輸入變量具體概率分布的情況下%可以假設(shè)認(rèn)為輸入變量在取值區(qū)間內(nèi)均勻分布或分段均勻分布!軟件可靠性測(cè)試是一種隨機(jī)測(cè)試%測(cè)試數(shù)據(jù)的選取方式是隨機(jī)選取!因此%根據(jù)隨機(jī)測(cè)試的原則%在運(yùn)行剖面給定的輸入變量的取值區(qū)間內(nèi)任意抽取一個(gè)變量的實(shí)際

13、取值!將各個(gè)變量按順序組合起來(lái)便形成了測(cè)試數(shù)據(jù)!如是體現(xiàn)出用于軟件可靠性測(cè)試的測(cè)試數(shù)據(jù)是基于運(yùn)行剖面生成的這個(gè)概念!根據(jù)運(yùn)行剖面生成測(cè)試數(shù)據(jù)的過(guò)程如下由于運(yùn)行剖面是由一系列變量的取值區(qū)間和該運(yùn)行發(fā)生的概率組成的%因此%可以基于運(yùn)行剖面隨機(jī)抽取一個(gè)運(yùn)行來(lái)實(shí)現(xiàn)對(duì)某一功能的一次測(cè)試!抽取運(yùn)行的過(guò)程如下將運(yùn)行剖面()*+,)*+-.)+%*+/%+-0%1%2%34中所有運(yùn)行發(fā)生的概率*+求5前5項(xiàng)和65%65-7*+形成一個(gè)數(shù)列(654%其中+-05-0%1%23%3為軟件運(yùn)行剖面中運(yùn)行總數(shù)%規(guī)定68-8%并有60-*0%63-098%65:65:0-*5!這里運(yùn)行相互獨(dú)立!任給一個(gè)隨機(jī)數(shù)%;<

14、;"8%098$觀察;落在哪個(gè)區(qū)間%若;滿(mǎn)足65:0=;>65%則該隨機(jī)數(shù);與*5這個(gè)概率值對(duì)應(yīng)%那么這次隨機(jī)抽到的運(yùn)行為)5!其次%要進(jìn)行第1次抽樣來(lái)確定運(yùn)行中每個(gè)輸入變量將取到的具體取值!由于輸入變量的取值類(lèi)型可以是離散的%也可以是連續(xù)的%在隨機(jī)抽樣時(shí)要分別考慮這1種類(lèi)型輸入變量的抽樣方法!連續(xù)性的輸入變量要在其取值區(qū)間內(nèi)%依概率密度函數(shù)抽樣?離散型的要在其可取值集合內(nèi)依起落架故障診斷專(zhuān)家系統(tǒng)B軟件構(gòu)造運(yùn)行剖面并生成測(cè)試數(shù)據(jù)的過(guò)程!C9D被測(cè)軟件簡(jiǎn)介AA飛機(jī)起落架故障診斷專(zhuān)家系統(tǒng)B軟件是一個(gè)使用E專(zhuān)家系統(tǒng)F方法對(duì)AA飛機(jī)起落架進(jìn)行故障診斷的軟件!根據(jù)軟件功能的說(shuō)明%結(jié)合軟件

15、的有關(guān)文檔%以及對(duì)相關(guān)概率的估計(jì)%可構(gòu)造軟件的系統(tǒng)模式剖面G功能剖面和運(yùn)行剖面%其過(guò)程如下!C9H軟件的系統(tǒng)模式剖面通過(guò)分析軟件的輸入空間%主要?jiǎng)澐?amp;個(gè)系統(tǒng)模式%并給出了相應(yīng)的概率%構(gòu)成系統(tǒng)模式剖面!這個(gè)概率由開(kāi)發(fā)人員估計(jì)給出!下面的功能剖面G運(yùn)行剖面概率值的確定亦是如此!系統(tǒng)模式剖面如下序號(hào)系統(tǒng)模式代號(hào)系統(tǒng)模式概率系統(tǒng)模式描述060891故障處理16189I故障診斷及解釋#6#890知識(shí)庫(kù)管理&6&890幫助C9J軟件的功能剖面針對(duì)以上&種系統(tǒng)模式%又分別構(gòu)造了功能剖面%并進(jìn)行了不同系統(tǒng)模式下功能剖面的合并%合并后的功能剖面按功能的發(fā)生概率值由大到小排序%其中

16、部分如下序號(hào)功能代號(hào)功能發(fā)生的概率功能描述0K10890L反向推理后完整解釋1K1#890L正向推理后完整解釋#K118901反向推理后從當(dāng)前位置解釋C9C軟件的運(yùn)行剖面對(duì)于以上每一個(gè)功能%需要按照運(yùn)行的定義描述其輸入變量!需要對(duì)每一個(gè)運(yùn)行進(jìn)行描述%并給出概率分布%構(gòu)成各功能下的運(yùn)行剖面!然后%R$航空學(xué)報(bào)第卷xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx將這些運(yùn)行剖面加以整理!形成軟件的運(yùn)行剖面"其形式如下#序號(hào)運(yùn)行代號(hào)運(yùn)行發(fā)生的概率運(yùn)行描述$($%&)*)+;正向推理后完整解釋!允許上翻和多

17、次推理數(shù)據(jù)包括#測(cè)試數(shù)據(jù)序號(hào)7輸入變量名稱(chēng)和按順序輸入的各變量具體取值等項(xiàng)目"其形式如下#測(cè)試數(shù)據(jù)序號(hào)輸入變量名稱(chēng)輸入變量的具體取值$89:,-./0$0$;運(yùn)行的取值范圍#,-./0$0$1$!21$!+21$!32上翻選擇確定1)!2選擇確定,-./00$用以上6其測(cè)試結(jié))個(gè)測(cè)試數(shù)據(jù)測(cè)試軟件!果如下#累積6)個(gè)測(cè)試數(shù)據(jù)共發(fā)生<)次失效!運(yùn)行時(shí)間$3($*+"=對(duì)這<剔除了由相同缺陷)個(gè)失效進(jìn)行分析!造成的失效后剩下+個(gè)屬于不同類(lèi)型失效"失效數(shù)據(jù)如表$所示"這里的失效數(shù)據(jù)是完全失效數(shù)據(jù)"因此!可使用完全失效數(shù)據(jù)模型對(duì)該軟件的可靠性

18、進(jìn)行評(píng)估"本文不作探討"4*5軟件的可靠性測(cè)試數(shù)據(jù)根據(jù)運(yùn)行剖面共生成6)個(gè)測(cè)試數(shù)據(jù)"測(cè)試表>軟件可靠性測(cè)試記錄?ABC>?DCECFGEHGIJGIKLECEBMAMBMKNKCJKMOP失效序號(hào)$(6R測(cè)試數(shù)據(jù)序號(hào)$RS66S3$)3開(kāi)始測(cè)試時(shí)刻失效發(fā)生時(shí)刻測(cè)試運(yùn)行時(shí)間Q=R+*3$)R*($<)*($6*)<$*(累積運(yùn)行時(shí)間Q=3+S*3$S$*$S)3*66S$*3<666*3內(nèi)存#$<失效現(xiàn)象解釋圖形少一個(gè)邏輯門(mén)用戶(hù)程序出錯(cuò)拖動(dòng)滾動(dòng)條畫(huà)圖時(shí)死機(jī)非最大化畫(huà)圖時(shí)死機(jī)輸入故障樹(shù)信息存不住診斷解釋說(shuō)明字符串無(wú)結(jié)尾失效等級(jí)T$R#$3#$($R#$+#$(#)#<$(#)6#$R#(S#R3$R#6)#(3$6#)#$)$6#$6$)#R)#+$)#R$#($(測(cè)試數(shù)據(jù)號(hào)#$到6)3<9$(VWX#W-.YZ/,RY測(cè)試開(kāi)始日期#UUUU年UU月UU日操作系統(tǒng)#_R中文版ab%_c+參考文獻(xiàn)陸民燕1北京航空航天大學(xué)可$+&