標(biāo)識：RMS-SRDT-{SY1514127,SY1514207}-BG-V1.0-2015ATM軟件可靠性驗證測試實驗報告北航可靠性與系統(tǒng)工程學(xué)院二O—五年十二月ATM軟件可靠性驗證測試實驗報告編寫：林燁(SY1514127)日期：12月31日校對：王洋洋(SY1514207)日期：12月31日目錄TOC\o"1-5"\h\z1軟件可靠性驗證測試要求 1\o"CurrentDocument"軟件可靠性驗證測試統(tǒng)計方案 1\o"CurrentDocument"1.2軟件失效的定義 1\o"CurrentDocument"1.3軟件可靠性驗證測試終止條件 12測試結(jié)果 2\o"CurrentDocument"2.1測試用例生成情況 2\o"CurrentDocument"2.2測試用例執(zhí)行情況 2\o"CurrentDocument"軟件可靠性驗證測試結(jié)論 3\o"CurrentDocument"軟件可靠性點估計和區(qū)間估計 4\o"CurrentDocument"軟件可靠性驗證測試實驗總結(jié)與建議 41軟件可靠性驗證測試要求1.1軟件可靠性驗證測試統(tǒng)計方案軟件可靠性驗證測試常用的統(tǒng)計方法有定時結(jié)尾、貫序截尾和無失效結(jié)尾三種。序貫截尾試驗事先對試驗總時間及試驗所需用資源無法確定,只能根據(jù)事先擬定的接收、拒收條件結(jié)束試驗，無法估計MTBF的真值，但是為了更充分地利用軟件每次的失效信息，以及在可靠性比較高或比較低的情況下可以做出更快的判決，我們采用序貫驗證測試。選取的序貫測試方案參數(shù)為：生產(chǎn)方風(fēng)險（a）：10%，使用方風(fēng)險（卩）：10%，鑒別比（d）：1.5,MTBF最低可接受值：600so生成序貫曲線如圖1所Z示O盤迎妍盤匕工鼻wsiswwa： 暫X序異抑試?yán)艮梢讫旔蹫檐S口，更用卞鵡W，瓠比【禮MF帝氓可挨旻鍛:時'可牟熱J生庇曲裁袋貯就曙無誌獲序異抑試?yán)艮梢讫旔蹫檐S口，更用卞鵡W，瓠比【禮MF帝氓可挨旻鍛:時'可牟熱J生庇曲裁袋貯就曙無誌獲33甲芹也:計晤；臨-ZP卜亠D m 2D 30 40欠姓序弓圖1序貫驗證測試曲線圖1.2軟件失效的定義軟件不能實現(xiàn)軟件需求規(guī)格說明書上的功能。1.3軟件可靠性驗證測試終止條件當(dāng)有點落到接受區(qū)或拒絕區(qū)時終止測試。2測試結(jié)果測試用例生成情況共生成1000個測試用例，其中：a)“插卡”操作是絕大部分其他操作的前提，測試用例950個，占總數(shù)的95%；b)“存款”操作測試用例142個，占總數(shù)的14.25%；c)“取款”操作測試用例190個，占總數(shù)的19%；d)“修改密碼”操作測試用例約48個，占總數(shù)的4.75%；e)“查詢余額”操作測試用例190個，占總數(shù)的19%；f)“轉(zhuǎn)賬”操作測試用例190個，占總數(shù)的19%；g)“繳納手機(jī)費”操作測試用例約142個，占總數(shù)的14.25%；h)插卡后直接執(zhí)行“退卡”操作的測試用例大約有48個，占總數(shù)的4.75%；i)“掛失”操作測試用例50個，占總數(shù)的5%。測試用例執(zhí)行情況共執(zhí)行測試用例150個，累計執(zhí)行時間1265秒，平均每個測試用例執(zhí)行時間8.4秒，發(fā)現(xiàn)缺陷個數(shù)7個。表1測試用例執(zhí)行情況表執(zhí)行用例數(shù)未通過用例數(shù)未執(zhí)行用例數(shù)1507850表2失效數(shù)據(jù)記錄表序號累計失效時間失效間隔時間失效描述用例編號16060查詢余額為負(fù)12213070可以向自己賬號轉(zhuǎn)賬163370240可以為非11位手機(jī)號充值844700330轉(zhuǎn)賬金額大于卡上余額時也轉(zhuǎn)賬成功995950250繳納手機(jī)費的金額可以是小數(shù)100696515卡內(nèi)無余額，但是可以給別人轉(zhuǎn)賬12071265300查詢余額與卡內(nèi)實際金額不符180

失效序號失效間隔時間失效累積時間時間單位16060秒 *270130秒T3240370秒4330?00秒￥525095D秒?V159B5秒r730012&5聖 1r圖2失效間隔時間與失效累計時間記錄界面截圖3軟件可靠性驗證測試結(jié)論如圖3所示，在序貫曲線上發(fā)現(xiàn)第7個點落在拒絕區(qū)，故拒絕軟件。序賈曲線捲收妓 一拒換錢--敲尾失敵隸30-4載尾試驗時間：29923.衛(wèi)卜 0 10 2D 30 40失效序號圖3序貫曲線結(jié)果圖4軟件可靠性點估計和區(qū)間估計在置信度為0.8時，MTTF的置信下限為373.35秒，MTTF的置信上限為957.18秒。5軟件可靠性驗證測試實驗總結(jié)與建議在本次實驗中出現(xiàn)了一些非人為因素的問題，影響了實驗操作的準(zhǔn)確性，比如：賬號和密碼經(jīng)常不匹配（卡11111111的密碼原來是111111，但是測試若干個用例后，密碼為222222或其他未知密碼），這使我們不得不關(guān)閉軟件，重新開始做過。但這樣把之存儲的信息也改了，比如，測試到一半的時候，卡內(nèi)余額還有5000，但是重新開始卡內(nèi)余額為0，直接影響后面諸如“轉(zhuǎn)賬”、“查詢余額”等的影響，導(dǎo)致發(fā)現(xiàn)失效的時間不一樣；ATM操作軟件本身存在一些問題，給試驗帶來了諸多不便，比如：在密碼與賬號不匹配的時候提示要拔卡之后才能退出重啟，但是界面上沒有退卡的選項。只能通過ALT+CTRL+Delete-任務(wù)管理器-結(jié)束任務(wù)強(qiáng)行退出。此類錯誤并不屬于故意設(shè)置的失效類型，但是的確存在并影響我們的實驗進(jìn)程，我們希望ATM操作系統(tǒng)本身可以多做一些改善；對于變量的設(shè)置、各操作之間的連接方式以及個操作發(fā)生的轉(zhuǎn)移概率都對本次實驗結(jié)果有很大的影響。仔細(xì)看需求說明書是一個重要的環(huán)節(jié)，因為它可以指導(dǎo)我們對變量進(jìn)行適當(dāng)?shù)脑O(shè)置。測試用例生成的比例是按上周的剖面中各個操作的比例來生成的，而這個比例很大程度上影響驗證測試的結(jié)果，導(dǎo)致失效數(shù)過多或過少或者失效間隔時間相對集中等問題；穩(wěn)定使用過程