基于MSC的TTCN測試套自動生成方法研究.pdf

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

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

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