基于MSC的TTCN測(cè)試套自動(dòng)生成方法研究.pdf

1、隨著網(wǎng)絡(luò)技術(shù)和測(cè)試技術(shù)的發(fā)展,協(xié)議測(cè)試技術(shù)越來(lái)越受到人們的重視.協(xié)議測(cè)試是用來(lái)保證協(xié)議實(shí)現(xiàn)的正確性和有效性的重要手段.作為協(xié)議測(cè)試的一種形式,協(xié)議一致性測(cè)試用于測(cè)試被測(cè)實(shí)現(xiàn)與協(xié)議規(guī)范要求的一致性,也是協(xié)議測(cè)試的基礎(chǔ).TTCN-3(測(cè)試和測(cè)試控制表示法第三版)是近年來(lái)備受業(yè)界關(guān)注的一種全新的測(cè)試描述語(yǔ)言,是協(xié)議一致性測(cè)試規(guī)范的基礎(chǔ)構(gòu)成要素之一,可以實(shí)現(xiàn)對(duì)網(wǎng)絡(luò)協(xié)議的全方位測(cè)試. 本課題深入研究了TTCN-3的圖形表示格式GFT,提出

2、了一種基于形式化語(yǔ)言MSC的TTCN-3測(cè)試套生成方法.課題研究的目的是在測(cè)試套圖形化表示形式的基礎(chǔ)上進(jìn)行測(cè)試套的開(kāi)發(fā),從而增強(qiáng)了測(cè)試套編寫(xiě)過(guò)程的可視性和可理解性,這在很大程度上減少了測(cè)試人員編寫(xiě)測(cè)試用例的工作量,提高了開(kāi)發(fā)效率.課題在對(duì)TTCN-3核心語(yǔ)言和圖形表示格式深入學(xué)習(xí)的基礎(chǔ)上,實(shí)現(xiàn)了一個(gè)從TTCN-3的圖形表示格式到核心語(yǔ)言的轉(zhuǎn)換工具.通過(guò)這個(gè)工具,測(cè)試開(kāi)發(fā)人員在測(cè)試?yán)拈_(kāi)發(fā)過(guò)程中可以結(jié)合形式化描述語(yǔ)言,方便地實(shí)現(xiàn)對(duì)使用GF

3、T圖形格式表示的測(cè)試套的編輯操作,并在這個(gè)圖形的基礎(chǔ)上生成相應(yīng)的測(cè)試?yán)a. 在課題研究的后期工作中,選用了諾基亞公司開(kāi)發(fā)的一個(gè)手機(jī)游戲軟件為例進(jìn)行測(cè)試分析.通過(guò)測(cè)試可以得到結(jié)論:測(cè)試人員在測(cè)試過(guò)程中只需要了解測(cè)試工作的需求和簡(jiǎn)單的基于形式化描述語(yǔ)言消息序列圖的GFI符號(hào)就可以得到測(cè)試?yán)幕玖鞒?在測(cè)試流程代碼生成之后,用戶再添加相應(yīng)的測(cè)試套定義部分就可以在測(cè)試平臺(tái)上運(yùn)行測(cè)試套,從而在一定程度上解決了測(cè)試套開(kāi)發(fā)的繁瑣和不直觀,