基于TTCN-3語言的測試理論與技術(shù)研究.pdf

1、隨著軟件的飛速發(fā)展與普遍應(yīng)用，軟件質(zhì)量已經(jīng)變成重要的研究課題。軟件測試是提高軟件質(zhì)量最直接，最有效，也是應(yīng)用最廣泛的方法之一。關(guān)于軟件測試，研究人員和業(yè)內(nèi)人士一直夢想著：統(tǒng)一的測試理論，100％測試自動化，基于測試的模型和高效的測試工程。當前，軟件測試面臨的難點有：測試管理的復(fù)雜性，測試環(huán)境的多樣性，難以保證的測試完備性。
　　 TTCN-3是ETSI(歐洲電信標準化組織)發(fā)布的針對測試領(lǐng)域的專用語言。它定義了很多特定抽象簡潔的

2、語言元素，有利于測試的分層，分工和復(fù)用，為高效的測試工程發(fā)展提供了很好的機制，為不同領(lǐng)域的測試提供了一個統(tǒng)一的測試框架，有利于統(tǒng)一的測試理論形成，有利于軟件測試自動化推進，有利于測試模型的發(fā)展與應(yīng)用。在概念上，TTCN-3為測試過程提供了很好的抽象與支持。當然，TTCN-3的測試解決方案，有賴于自身的進一步發(fā)展與完善。
　　 針對軟件測試的三個難點，本文研究了使用TTCN-3進行測試建模、測試分析、測試執(zhí)行的理論和技術(shù)，提出了一

3、個基于TTCN-3的測試框架。首先，用TTCN-3對抽象的測試對象和測試過程進行建模。然后，解析TTCN-3腳本，提取語義信息，建立起測試過程的可執(zhí)行對象，接著，通過不同的測試對象適配器，完成對不同測試對象的測試過程。最后，在此基礎(chǔ)上完成基于符號執(zhí)行的分析技術(shù)和解釋執(zhí)行、翻譯執(zhí)行技術(shù)，改善了TTCN-3測試框架的可用性，提高了測試過程的自動化程度。本文的主要貢獻如下：
　　 1.提出將測試共有特征向TTCN-3測試模型轉(zhuǎn)換的方法

4、，以及使用TTCN-3對GUI測試，Web測試進行建模的方法。由此將不同的測試過程，轉(zhuǎn)換成統(tǒng)一的TTCN-3測試模型；將不同的測試實施過程，轉(zhuǎn)換為統(tǒng)一的TTCN-3編譯執(zhí)行過程。
　　 2.詳細論述了TTCN-3編譯器的構(gòu)造方法，提出了TTCN一3語言的符號執(zhí)行技術(shù)，以及使用符號執(zhí)行技術(shù)進行TTCN-3腳本正確性分析、測試輸入自動生成的方法。
　　 3.詳細論述了兩種模式執(zhí)行器(編譯-編譯-執(zhí)行模式、虛擬機平臺模式)的實