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

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

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

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