03軟件可靠性增長(zhǎng)測(cè)試評(píng)價(jià)試驗(yàn)報(bào)告

1、標(biāo)識(shí)：S-SRGT-SY1514127SY1514207-BG-V1.0-2015ATM軟件可靠性增長(zhǎng)測(cè)試評(píng)估實(shí)驗(yàn)報(bào)告北航可靠性與系統(tǒng)工程學(xué)院二0一六年一月ATM軟件可靠性增長(zhǎng)測(cè)試評(píng)估實(shí)驗(yàn)報(bào)告編寫(xiě)：林烽(SY1514127)日期：1月4日校對(duì)：王洋洋(SY1514207)日期：1月4日目錄1軟件可靠性增長(zhǎng)測(cè)試評(píng)估用失效數(shù)據(jù)1.2趨勢(shì)分析2.3模型質(zhì)量分析4.4模型選取5.5可靠性參數(shù)估計(jì)與預(yù)計(jì)6.6軟件可靠性增長(zhǎng)測(cè)試評(píng)估實(shí)驗(yàn)總結(jié)與建議.71軟件可靠性增長(zhǎng)測(cè)試評(píng)估用失效數(shù)據(jù)打開(kāi)生成的1000個(gè)測(cè)試用例，從第一開(kāi)始測(cè)試，記錄每次出現(xiàn)的bug,同一種bug只記錄一次。試驗(yàn)中共發(fā)現(xiàn)21種bug,分別如

2、下：1 余額可以為負(fù)數(shù)；2 連續(xù)輸入密碼錯(cuò)誤兩次，提示，卡已鎖定？勺提示；3 轉(zhuǎn)賬金額為空時(shí)，提示，交易成功？；4 繳納手機(jī)費(fèi)時(shí)輸入非11位手機(jī)號(hào)沒(méi)出現(xiàn)提示信息；5 存款500時(shí)，實(shí)際存款800;6 卡內(nèi)無(wú)余額，可以給對(duì)方轉(zhuǎn)賬；7 卡內(nèi)無(wú)余額，可以給自己轉(zhuǎn)賬；8 取款200時(shí)，實(shí)際取款300;9 轉(zhuǎn)賬金額大于卡上余額時(shí)也轉(zhuǎn)賬成功；10 取款金額超過(guò)5000時(shí)，提示，交易成功?11 繳納手機(jī)費(fèi)輸入含小數(shù)點(diǎn)的號(hào)碼沒(méi)出現(xiàn)提示；12 卡22222222無(wú)法掛失；13 轉(zhuǎn)賬時(shí)輸入金額為0時(shí)，提示，交易成功？；14 繳納手機(jī)費(fèi)的金額可以是小數(shù)；15 取款時(shí)，輸入小數(shù)后提示，交易成功？，且賬戶(hù)余額不減少；1

3、6 修改密碼時(shí)，新密碼可以包含小數(shù)點(diǎn)；17 繳納手機(jī)費(fèi)時(shí)，輸入為空時(shí)沒(méi)出現(xiàn)提示信息；18 取款時(shí)金額為空時(shí)，提示，交易成功？；19 輸入錯(cuò)誤格式的掛失賬號(hào)引發(fā)中斷；20 取款時(shí)，輸入為0,提示，交易成功？；21 轉(zhuǎn)賬時(shí)，輸入小數(shù)點(diǎn)后不應(yīng)提示，交易成功？；記錄每次bug出現(xiàn)的時(shí)間問(wèn)隔，填入SRET軟件的數(shù)據(jù)管理的表格中，如圖1所示。X|5_7一向?qū)?XG飄孤晚L隨麗的口?w對(duì)城號(hào)觸照國(guó)用國(guó)舊粒FBIS&孕E7的順而后JI生例嗣射目觸硒處嬲榻a期-.2及ccmcg工I室矮胡明弓生糠據(jù)磋，法博辟落瞬下一蘿營(yíng)中-I-1ipwm&-1生翎朝瞅E4sL.HncwaHL送第制明白5ip

4、71;wwe，1拉鼎同驪同6除順購(gòu)后jL統(tǒng)陋和當(dāng)虹觸息7ledohugj1品翎嗣明d一a139.IDOWQa1L讓總艇用足g然倒川杪j1任銅啊中一LO<r.Hfflfl移jL呈綏嗣翱"4工觸LI曲wxn&j1加工聞眄目1¥L2加COXO巷j1.英播胴翻"db流tarngjL卷®陋期目工程峰潞桂;C1X11LI簿OHOg-1江嗣聃耳i«.cracQ於二1期總胭用反厚3極誨風(fēng)磔吶811山嗣1ST日.LT120.1）：«1片2L美鍥嗣驪4>29L«ntvaxb&j1拄部聞畫(huà)目IWMJ.L9ECOKOO芯

5、二1釜±35舸喇4第T3.0050Wg二I克至卷勤目朝目書(shū)注E包，0下一管21艇IHOtJj在嗣聃司；w淵uasffi睡皆s®*艮甑蟀ii£WiMi)sojjvhqp-山心.聽(tīng)屋電唱集通匈崎忘營(yíng)工"M節(jié)國(guó):#/上*>/基1FFFF嵬冊(cè)可望性和工A1加值”-當(dāng)*曼Irl述出?武*-.門(mén).9、W.2E圖121個(gè)失效數(shù)據(jù)2趨勢(shì)分析得到失效數(shù)據(jù)后點(diǎn)擊，下一步？即可彳4到，趨勢(shì)分析？勺結(jié)果，如下圖所示，從中可以看出,拉氏因子與完全失效時(shí)間成負(fù)相關(guān)，在序號(hào)為10時(shí)的拉氏因子最小，此時(shí)完全失效間隔時(shí)間最長(zhǎng)。nSt件可拒性的！1工JU麗匕1)-Ivl施數(shù)面可打者道

6、毫救行ifts敦JS匾R，鋁同期目剛回咕J典睛JSi物間型y方醋酒153inyX1.ipiXO?asu2泥儂雙95tnano,43iztmoon蹬WXKesff4九.境s出UXXffi九例；5陷國(guó)加31?WMWKI/astf&國(guó)旗mosswm/已姍T24LDOOOOOTOtmooo，在羯BH3?DUDDOOsiEmnDD，謝02f-iKUW的MU：（IIGfl?wm雌MOM/asuLiLBL.ananT?90W3MC>Ki頂面京底藝電7百朝新工棍和ii®BS=C:Ui玄夜期目二13-3ilBAA=能犍說(shuō)弱p污皆用13圖2趨勢(shì)分析3模型質(zhì)量分析軟件可靠性模型是對(duì)隨機(jī)過(guò)程的

7、一種表示，通過(guò)這一表示可以將軟件可靠性或與軟件可靠性直接有關(guān)的量（如累計(jì)故障數(shù)、故障率、平均無(wú)故障時(shí)間等）表示成時(shí)間以及與軟件產(chǎn)品特性或開(kāi)發(fā)有關(guān)的參數(shù)的函數(shù)。軟件可靠性模型通常描述了軟件可靠性對(duì)上述各變量的一種依賴(lài)關(guān)系，其描述的形式根據(jù)由己知的故障數(shù)據(jù)出發(fā)所作的統(tǒng)計(jì)推斷過(guò)程而定。在軟件SRET中，點(diǎn)擊，下一步而即可得到模型分析的結(jié)果，如下圖所示。在這一步可以得到六種模型的分析結(jié)果，分別是：MO模型、Sch模型、Exp模型、GO模型、YOO模型、Duane模型、JM模型。圖3六種模型的PLR圖、U圖和Y圖4模型選取目前常用的模型評(píng)價(jià)準(zhǔn)則有五種：1 .模型擬合度：利用kolmogorov距離計(jì)算模

8、型估計(jì)的失效數(shù)據(jù)與實(shí)際失效數(shù)據(jù)的擬和程度。2 .模型預(yù)計(jì)有效性：用序列似然度檢驗(yàn)來(lái)比較模型在預(yù)計(jì)有效性方面的優(yōu)劣。3 .模型偏差：利用U圖完全預(yù)測(cè)曲線(xiàn)與實(shí)際預(yù)測(cè)曲線(xiàn)在垂直方向上的最大距離，以檢測(cè)預(yù)測(cè)與實(shí)際失效行為的客觀差別。4 .模型偏差趨勢(shì)：利用U圖確定模型的偏差趨勢(shì)的大小。5 .模型噪聲:模型本省委預(yù)測(cè)引入的噪聲程度。在得到的六種模型中，U圖和Y圖都比較好，但是觀察如圖4所示的各曲線(xiàn)圖形特征可知，YOO模型的U圖比其他模型的U圖更好一些，因此將YOO模型作為本實(shí)驗(yàn)的模：文群3嗎印n會(huì)的*jfsr®用怔配舊鞋正典試aoti琳勒第蹌也俎齒頡括原南逸舟迎&XI例苜百效哥看看1一

9、例杷/1'程疝好苦dsmi電，心與rij>iqj圖4模型選取5可靠性參數(shù)估計(jì)與預(yù)計(jì)根據(jù)選取的YOO模型了來(lái)進(jìn)行可靠性參數(shù)的估計(jì)和預(yù)計(jì)。在該模型下的各種曲線(xiàn)如圖5-8所示。AMES工皿EHLi*anIJIMK圖5可靠度曲線(xiàn)圖6失效率曲線(xiàn)©+±：Jamia陽(yáng)如呷Uh翎="E加二MWHW圖7均值函數(shù)曲線(xiàn)圖8預(yù)計(jì)/原始數(shù)據(jù)對(duì)比圖選取時(shí)間為3小時(shí)，可得可靠度R為7.16e-004,失效數(shù)為16時(shí)，對(duì)應(yīng)的時(shí)間為2324.70465031秒，如圖9所示。圖9給定時(shí)間和失效數(shù)均值做可靠性預(yù)計(jì)6軟件可靠性增長(zhǎng)測(cè)試評(píng)估實(shí)驗(yàn)總結(jié)與建議 可靠性增長(zhǎng)測(cè)試評(píng)估實(shí)驗(yàn)需要獲得至少2

10、1個(gè)失效數(shù)據(jù)點(diǎn)，需要不斷的用ATM機(jī)按照測(cè)試用例來(lái)操作，因此其工作量還是比較大的，需要有耐心。 在實(shí)驗(yàn)中，對(duì)于同類(lèi)bug只記錄第一次發(fā)現(xiàn)的，因此不用反過(guò)來(lái)修改軟件的程序，這種簡(jiǎn)化的操作大大減少了工作量，提高了實(shí)驗(yàn)的效率。 SRET軟件給出了不同模型的分析結(jié)果，往往會(huì)有不止一個(gè)建議接收”的模型,利用觀測(cè)數(shù)據(jù)進(jìn)行模型參數(shù)估計(jì)，將歷史失效數(shù)據(jù)和基于觀測(cè)數(shù)據(jù)的預(yù)計(jì)結(jié)果進(jìn)行對(duì)比，預(yù)計(jì)結(jié)果和實(shí)際數(shù)據(jù)之間偏差最小的模型被視為最適合的模型。此時(shí)需要借助U圖和Y圖的比較來(lái)做最后的決定。U圖是用來(lái)檢測(cè)預(yù)計(jì)和觀測(cè)的失效行為之間系統(tǒng)而客觀的差別的。U圖可以用來(lái)判斷預(yù)測(cè)預(yù)計(jì)分布函數(shù)是否均勻地接近于實(shí)際分布，并能夠檢測(cè)出預(yù)