日志分析法在一卡通系統(tǒng)測(cè)試中的應(yīng)用

文章出處：http://www.hungpor.com 作者： 人氣： 發(fā)表時(shí)間：2011年09月10日

    摘要：針對(duì)一卡通系統(tǒng)測(cè)試中因輸出結(jié)果數(shù)量大、系統(tǒng)關(guān)聯(lián)復(fù)雜、測(cè)試準(zhǔn)則構(gòu)造困難等因素而導(dǎo)致的難以判斷輸出結(jié)果正確性的問(wèn)題, 提出了擴(kuò)展日志分析法。介紹了實(shí)現(xiàn)該方法的系統(tǒng)結(jié)構(gòu)和所使用的測(cè)試狀態(tài)機(jī), 引入了一種自行開(kāi)發(fā)的支持層次化狀態(tài)機(jī)、具有執(zhí)行自定義函數(shù)功能的狀態(tài)機(jī)定義語(yǔ)言, 增強(qiáng)了擴(kuò)展日志分析法測(cè)試復(fù)雜大型系統(tǒng)的能力。該方法在一卡通系統(tǒng)測(cè)試中得到了應(yīng)用。
    關(guān)鍵詞：軟件測(cè)試；日志分析法；狀態(tài)機(jī)；狀態(tài)機(jī)定義語(yǔ)言

    市政交通一卡通系統(tǒng)OCMS( One Card Multi-service System,以下簡(jiǎn)稱(chēng)“一卡通系統(tǒng)”) 是一套與人們?nèi)粘Ｉ铌P(guān)系密切的電子交易系統(tǒng)。該系統(tǒng)要求較高的安全性和可靠性, 需要進(jìn)行嚴(yán)格的測(cè)試。測(cè)試中遇到了輸出結(jié)果數(shù)據(jù)量大、系統(tǒng)關(guān)聯(lián)復(fù)雜、測(cè)試準(zhǔn)則( Test Oracle) 構(gòu)造困難等問(wèn)題, 難以判斷輸出結(jié)果的正確性。手工測(cè)試方法效率低、易出錯(cuò); 使用基于測(cè)試準(zhǔn)則的方法如回歸測(cè)試法[ 1] 、斷言測(cè)試法[ 2 ] 等也具有一定的困難。日志分析法( Log File Analysis, LFA) [ 3] 使用狀態(tài)機(jī)分析被測(cè)系統(tǒng)的日志實(shí)現(xiàn)軟件測(cè)試, 具有構(gòu)造簡(jiǎn)單、描述能力強(qiáng)等特點(diǎn), 較適合應(yīng)用于關(guān)聯(lián)復(fù)雜的系統(tǒng)測(cè)試中。本文針對(duì)一卡通系統(tǒng)的特點(diǎn), 提出了支持層次化狀態(tài)機(jī)的擴(kuò)展日志分析法, 增加了執(zhí)行自定義函數(shù)的功能, 使之更適用于一卡通系統(tǒng)的測(cè)試, 并基于該方法實(shí)現(xiàn)了測(cè)試系統(tǒng), 在一卡通系統(tǒng)測(cè)試中取得了良好的效果。

    1 研究背景

    1. 1 一卡通系統(tǒng)

    一卡通系統(tǒng)是一個(gè)小金額電子交易系統(tǒng), 由消費(fèi)IC 卡、消費(fèi)機(jī)具( 出租車(chē)計(jì)價(jià)器、公交刷卡機(jī)等) 、客戶端( 出租客戶端,公交客戶端等) 、各級(jí)分中心、總中心以及數(shù)據(jù)傳輸網(wǎng)絡(luò)等組成。消費(fèi)者在進(jìn)行交易時(shí), 消費(fèi)機(jī)具對(duì)消費(fèi)IC 卡進(jìn)行讀寫(xiě), 產(chǎn)生交易數(shù)據(jù)。交易數(shù)據(jù)定期從消費(fèi)機(jī)具中采集到客戶端中, 通過(guò)計(jì)算機(jī)網(wǎng)絡(luò)逐級(jí)上傳, 最終匯總到總中心, 進(jìn)行結(jié)算劃賬。

    一卡通系統(tǒng)內(nèi)部關(guān)聯(lián)復(fù)雜, 對(duì)可靠性和安全性的要求較高, 中間輸出和最終輸出與前期的運(yùn)行情況關(guān)系緊密、變化大。這些特點(diǎn)要求系統(tǒng)在開(kāi)發(fā)、試運(yùn)行以及升級(jí)維護(hù)時(shí), 都需要進(jìn)行大量的測(cè)試, 要求使用的測(cè)試方法效率高, 能適應(yīng)復(fù)雜系統(tǒng)和輸出結(jié)果與前期關(guān)系緊密的情況。

    1. 2 日志分析法

    日志分析法是文獻(xiàn)[ 3] 中提出的一種用狀態(tài)機(jī)對(duì)被測(cè)系統(tǒng)的日志進(jìn)行分析實(shí)現(xiàn)軟件測(cè)試的方法。該方法要求被測(cè)系統(tǒng)產(chǎn)生文本日志, 記錄測(cè)試過(guò)程中的輸入、輸出、函數(shù)調(diào)用以及返回值等重要事件。日志被輸入狀態(tài)機(jī)進(jìn)行分析, 實(shí)現(xiàn)測(cè)試。狀態(tài)機(jī)由測(cè)試人員根據(jù)被測(cè)系統(tǒng)的需求轉(zhuǎn)換生成。當(dāng)狀態(tài)機(jī)在日志的驅(qū)動(dòng)下終止于終態(tài)時(shí), 說(shuō)明日志符合狀態(tài)機(jī)的要求,即被測(cè)系統(tǒng)符合需求; 否則, 不符合要求。

    日志分析法與回歸測(cè)試法、斷言測(cè)試法等相比, 具有效率高、構(gòu)造簡(jiǎn)單、依據(jù)狀態(tài)機(jī)判斷測(cè)試輸出的正確性等特點(diǎn)。但文獻(xiàn)[ 3] 中定義狀態(tài)機(jī)的LFAL 語(yǔ)言描述能力受限: 對(duì)狀態(tài)機(jī)不能進(jìn)行層次化的設(shè)計(jì), 不宜描述大型系統(tǒng); 沒(méi)有執(zhí)行自定義函數(shù)等功能, 對(duì)復(fù)雜系統(tǒng)描述困難。

    2 基于日志分析法的一卡通測(cè)試系統(tǒng)

    2. 1 總體結(jié)構(gòu)

    基于日志分析法并針對(duì)一卡通系統(tǒng)的特點(diǎn)而提出了擴(kuò)展日志分析法, 同時(shí)實(shí)現(xiàn)了基于該方法的一卡通日志分析測(cè)試系統(tǒng)———OLFTS( OCMS Log File Testing System) 。系統(tǒng)總體結(jié)構(gòu)如圖1 所示。

圖 1 OLFTS 總體結(jié)構(gòu)

    首先, 將一卡通系統(tǒng)的一個(gè)或一組相近的需求轉(zhuǎn)換為由函數(shù)調(diào)用、消息發(fā)送等描述的執(zhí)行過(guò)程, 并確定函數(shù)調(diào)用等發(fā)生的條件以及返回值等。然后, 用狀態(tài)機(jī)定義語(yǔ)言TSML( TestingState Machine Language) 定義一個(gè)描述該過(guò)程的狀態(tài)機(jī)( . tsm文件) , 并輸入狀態(tài)機(jī)編譯器, 將其編譯為某種語(yǔ)言源代碼( 以Java語(yǔ)言為例) , 作為中間結(jié)果。調(diào)用相應(yīng)語(yǔ)言的編譯器將中間結(jié)果編譯為可執(zhí)行文件, 最終得到可執(zhí)行的狀態(tài)機(jī)。測(cè)試時(shí), 先將狀態(tài)機(jī)可執(zhí)行文件輸入狀態(tài)機(jī)容器中, 再將被測(cè)系統(tǒng)的日志文件輸入狀態(tài)機(jī)容器。狀態(tài)機(jī)容器負(fù)責(zé)讀取日志、創(chuàng)建狀態(tài)機(jī), 廣播日志, 收集狀態(tài)機(jī)輸出和產(chǎn)生測(cè)試報(bào)告等工作。狀態(tài)機(jī)在日志驅(qū)動(dòng)下進(jìn)行狀態(tài)轉(zhuǎn)移, 并向容器輸出信息。

    2. 2 日志

    測(cè)試需要的日志由被測(cè)系統(tǒng)產(chǎn)生。每一個(gè)日志行表示一個(gè)事件的發(fā)生, 例如函數(shù)調(diào)用、消息發(fā)送等。日志行由行單元組成, 行單元之間用空格分隔。每個(gè)日志行開(kāi)頭的行單元稱(chēng)為關(guān)鍵行單元, 必須是一個(gè)字符串, 通常是被調(diào)用函數(shù)的名稱(chēng)、消息名等。緊挨關(guān)鍵行單元之后的行單元一般是被調(diào)用函數(shù)的返回值或消息參數(shù)等, 再后面是一些表示其他信息的行單元。狀態(tài)機(jī)通過(guò)日志行的關(guān)鍵行單元來(lái)判斷是否對(duì)其敏感。對(duì)敏感日志行, 通過(guò)判斷函數(shù)的返回值或消息參數(shù)以及其他信息決定如何進(jìn)行狀態(tài)轉(zhuǎn)移。出租客戶端數(shù)據(jù)采集過(guò)程的日志片斷如下:

    2. 3 測(cè)試狀態(tài)機(jī)與狀態(tài)機(jī)定義語(yǔ)言

    有限狀態(tài)機(jī)FSM( Finite State Machine, 以下簡(jiǎn)稱(chēng)狀態(tài)機(jī)) [ 4]被廣泛應(yīng)用于諸多領(lǐng)域, 如電路設(shè)計(jì)[ 5] 、通信協(xié)議測(cè)試[ 6] 等。普通的狀態(tài)機(jī)所提供的描述能力有限, 用來(lái)描述軟件的執(zhí)行過(guò)程能力尚顯不足。結(jié)合文獻(xiàn)[ 3] 中所使用的狀態(tài)機(jī)和文獻(xiàn)[ 7]中提出的PSM( Protocol State Machine) , OLFTS 中定義了一種新的狀態(tài)機(jī)———測(cè)試狀態(tài)機(jī)TSM( Testing State Machine) 。

    定義1 TSM。一個(gè)TSM為一個(gè)11 元組:

    與普通狀態(tài)機(jī)相比, TSM增加了謂詞集和動(dòng)作集, 采用了更嚴(yán)格的轉(zhuǎn)移函數(shù), 描述能力更強(qiáng), 比普通狀態(tài)機(jī)更適合描述軟件的執(zhí)行過(guò)程、應(yīng)用于軟件測(cè)試。

    雖然可采用普通的計(jì)算機(jī)語(yǔ)言實(shí)現(xiàn)TSM, 但為了方便TSM的設(shè)計(jì), OLFTS 中開(kāi)發(fā)了一種支持層次化設(shè)計(jì)和自定義函數(shù)的狀態(tài)機(jī)定義語(yǔ)言TSML。其EBNF[ 8] 描述如下所示: