1、標識：RMS-SRDT-SY1514127, SY1514207-BG-V1.0-2015 ATM軟件可靠性操作剖面實驗報告北航可靠性與系統工程學院二一五年十二月ATM軟件可靠性操作剖面實驗報告編 寫：林燁 (SY1514127)日期:12月30日校 對：王洋洋(SY1514207)日期:12月30日ATM軟件可靠性驗證測試實驗報告目 錄1. 系統建模22.確定操作剖面23. 確定輸入變量33.1插卡33.2輸入密碼33.3取款33.4查詢余額43.5轉賬43.6存款53.7修改密碼53.8退卡64. 對操作進行離散描述64.1插卡64.2轉賬65.生成測試用例66.經驗總結61. 系統建模被

2、測系統為ATM系統，操作者為用戶。根據生活經驗可以知道，用戶和ATM系統是雙向的關系。因此，為了是我們的實驗更具有工程實踐意義和實際參考價值，ATM系統與用戶的關系建模如圖1所示：圖1 ATM系統與用戶的關系建模2.確定操作剖面按照需求規格說明書并結合生活經驗，本小組確定用戶對系統的9個操作，它們分別是：插卡、存款、取款、查詢余額、修改密碼、轉賬、繳納手機費、掛失、和退卡，并根據現實生活的經驗分別為每個操作賦予一定的概率。例如，人們在ATM機上一般較多地執行取款和查詢操作，而掛失和修改密碼的操作相對較少，所以，我們分別賦予“取款”、“轉賬”和“查詢余額”較高的概率0.2，而分別賦予“掛失”和“

3、修改密碼”較小的概率0.05。最終生成的操作剖面如圖2所示。圖2 操作剖面的確定3. 確定輸入變量根據9個操作建立14個變量，其中“轉賬”操作包括“輸入密碼”、“被轉賬對方賬戶”和“轉賬金額”三個變量；“繳納手機費”操作包括“輸入密碼”、“手機號”和“繳納的手機費用”三個變量。所有“輸入密碼”變量均為同一個，具體設置見3.2。3.1插卡插卡操作有兩個變量，即“插卡”與“輸入卡號”。“插卡”變量設置成布爾型，取值范圍為：true和false。當用例為true時執行插卡操作；當用例為false時不執行插操作。“輸入卡號”為枚舉型，并賦予5個值，分別為：00000000,11111111，22222

4、222，99999999，777777777。“插卡”和“輸入卡號”的設置界面分別如圖3和圖4所示.值得一提的是，ATM操作軟件的系統內已經默認輸入卡號只有三個，即00000000，11111111，和22222222。所以，當測試用例里出現超出系統默認的三個卡號時，相當于不執行操作，直接看下一個用例。圖3 “插卡”設置圖4 “輸入卡號”設置3.2輸入密碼 將“輸入密碼“變量設為枚舉型，對應三張卡號分別賦予3個值，如圖5所示，分別為：000000,111111,222222。當輸入對應卡號的密碼時視為輸入正確的測試用例；當輸入非對應卡號的密碼或任意輸入6個0到9的數字時視為輸入錯誤的測試用例。

5、圖5 “輸入密碼“設置3.3取款對于取款操作采用黑盒測試中的等價類和邊界值的方法。變量的范圍設為1到51的枚舉型。注意，這里輸入的數值默認乘上100倍后成為真實的數值。將1到50視為一個等價類，即正確的取款金額。當TCS軟件生成取款變量的值在1到50的范圍內時，我們手動輸入變量的100倍表示正確的取款金額。51視為一個等價類，則不滿足需求說明書中所提的要求，即 “一次性最多可取5000元”，屬于錯誤操作。3.5為一個等價類，則不滿足需求說明書中提到的要求不能取小數，屬于錯誤操作。“取款操作”的變量設置如圖6所示。圖6 “取款“值配置事實上，取款值可以取整型或者浮點型，但是為了后期（例如增長測試

6、）的測試，我們在此特意用枚舉型，目的在于盡快并且盡可能多的發現其中發生的錯誤。 3.4查詢余額將“查詢余額“變量設為浮點類型，取值范圍在0到60之間。事實上，正確的取值應該是整型的0到50之間，同樣出于后期測試用例的方便，此處故意設置成浮點型，并且把取款范圍超出50的限定額。“查詢余額”的變量設置如圖7所示。圖7 “查詢余額”的變量設置3.5轉賬將轉賬操作分解為兩個變量，一個為“轉賬對方賬戶”，類型為枚舉型，取值范圍為：62220200000000,62220200000001,62220200000002。另一個是“轉賬金額”，類型為枚舉型，此處取9個。取值范圍為0到120，其中1到100的

7、整數是一個等價類，代表10000以內的正確的轉賬金額；101到120之間的數值是一個等價類，代表超出卡內余額的轉賬金額；小數部分的數值是一個等價類，代表轉賬非整數金額。后兩類均不符合需求說明書中規定的要求。“轉賬對方賬戶”和“轉賬金額”的設置（圖中為“轉賬”）分別如圖8和圖9所示。圖8 “轉賬對方賬號”值配置注意，在不影響實驗操作的前提下，出于方便考慮，所有的賬號均用同一個，即“轉賬對方賬號”和“輸入卡號是同一個”。圖9 “轉賬金額”的值設置3.6存款將存款變量設為枚舉型，取值范圍為1到120。其中1到100內的整型為一個等價類，代表相應的存款金額，即100到10000；120為一個等價類，代

8、表超出限定范圍的輸入存款金額，帶小數點的3.5為一個類，代表非100的整數倍金額，不符合需求說明書的要求。.圖10 “存款”值配置3.7繳納手機費將繳納手機費操作分解為三個個變量“輸入密碼”、“輸入手機號”和“繳納手機費”，由于此處的“輸入密碼對于所有操作都是提供用的，所以在3.2講過，之后不在贅述。“輸入手機號”，類型為枚舉型，取值設置為11111111（10位），2222222222（10位），3333333333（10位），11111111111（11位，1.11111111（帶小數點）。前三個是一個等價類，代表10位有效整數，11111111111（11位）為一類，代表超出需求說明的1

9、0位。1.11111111自成一類，代表帶有小數的手機號，也不符合需求說明書中做出的規定。具體設置詳見圖11.另一個是“繳納手機費”的金額設置。如圖12所示，此處設置成0到60的浮點型。圖11 “輸入手機號“值配置圖12 “繳納手機費”值配置3.8修改密碼“修改密碼”設置為枚舉型，如圖13所示。000000，111111和222222等6為整型密碼為一個等價類類，符合需求說明書要求；55555（5位）和7777777（7位）為一個等價類，屬于不足或超出規定位數的一類，不符合需求說明書要求；還有4444.4自成一類，代表具有小數點的不規范密碼，也是不符合需求說明書要求的。圖13 “修改密碼”值配

10、置3.9掛失掛失操作需要掛失與否，以及輸入卡號。由于ATM系統已經默認有“掛失”按鈕，對于設置是否掛失對試驗影響不大。因為測試用例的結果若為不掛失，相當于不做任何操作，直接進入下一個測試用例。加之卡號輸入均用如3.1所示的值設置。因此，此處不再附圖說明。3.10吞卡將“吞卡”變量設置成布爾型，取值范圍為：true和false。當用例為true時執行吞卡操作；當用例為false時不執行吞卡操作。設置界面如圖14所示。圖14 “吞卡”變量配置3.11退卡如圖15所示，將“退卡”變量設為布爾型，取值范圍為：true和false。當用例為true時執行退卡操作；當用例為false時不執行退卡操作。圖1

11、5 “退卡”值配置事實上，和掛失的道理類似由于系統本身設置的原因，其實對它不設置也沒有影響的，即ATM已經默認，只有單擊“退卡”才能進行下一個新的用例測試。如果測試用例出現“不退卡”，相當于無法再進行下一個測試用例，這是不現實的。但是出于整個操作系統的完整性，還是要對其進行設置。4. 對操作進行離散描述4.1插卡插卡操作只有一個變量插卡。如圖16：圖16 插卡操作4.2查詢余額查詢余額操作有兩個變量，分別為：輸入密碼和查詢余額。如圖17所示。圖17 查詢余額操作4.3存款存款操作有三個變量，如圖18所示，分別為輸入卡號、輸入密碼和存款。圖18 存款操作4.4轉賬轉賬操作有3個變量，分別為：輸入

12、密碼、轉賬金額和轉賬賬戶。如圖19：圖19 轉賬操作4.5掛失如圖20所示， 掛失有兩個變量，即確認掛失和輸入丟失的卡號。圖20 掛失操作4.6繳納手機費繳納手機費操作下有3個變量，即輸入卡的密碼，繳納手機號，和繳納的手機費用。具體設置如圖21所示。圖21 繳納手機費4.7取款取款的操作下游兩個變量，即“取款”和“輸入密碼”，詳見圖22.圖22 取款操作4.8退卡退卡操作如圖23所示，相當簡單。圖23 退卡操作 圖24 修改密碼4.9 修改密碼修改密碼操作包括2個變量，具體見圖24.5.生成測試用例 用TCS軟件生成1000個測試用例，根據使用剖面視圖可以知道，存款操作用例約142個，取款操作

13、190個用例，查詢余額操作190個用例，修改密碼操作約48個用例， 轉賬190個用例， 繳納手機費約142個用例，掛失50個用例。該1000個測試用例結果均在附件中。6.經驗總結1. 所謂“磨刀不誤砍柴工”，根據搭建好的剖面圖設置變量不能馬虎，因為變量的設置關系到后期的測試用例生成效果。2. 按照照系統-剖面-變量-操作-生成用例的順序進行軟件的操作可避免許多錯誤。3. 軟件建立的為操作剖面而非使用剖面。使用剖面是在操作剖面的基礎上添加時序和限制條件，此次實驗并沒有考慮到操作的時序問題。4. 不怕失敗，要有耐心。事實上，我們一共做了三遍實驗。前面兩遍是在課上做的。我們第一遍對變量的設置都是按照需求說明書中的正確要求來設置。但我們后發現很難發現其中的bug，于是我們小組重新設各個變量的值配置。可能是有些性急，導致我們在做增長試驗的時候發現，出現的bug還是哦不夠明顯。于是我們果斷放棄已經做好的第二次試驗，認認真真地研究需求說明書，然后又對變量進行設置。第三次實驗則是在我們寫報告的時候，發現截的圖不夠多。為了是我們的報告達到標準要求，我們只好向助教申請，再運行一遍數據。真可謂“命運多舛