基于TTCN-3語言的測試?yán)碚撆c技術(shù)研究.pdf

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

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

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

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