CORBA是網(wǎng)絡(luò)管理中的主流接口技術(shù)之一,目前的網(wǎng)絡(luò)管理接口一般主要采用UML來進(jìn)行與實現(xiàn)技術(shù)無關(guān)的信息建模,而將IDL作為一種基于具體技術(shù)的接口定義,二者共同構(gòu)成完整的網(wǎng)絡(luò)管理接口。但目前網(wǎng)絡(luò)管理接口測試的自動化程度還有待提高,尤其是接口功能和語義層面的測試還主要依賴人工進(jìn)行。TTCN-3作為一種標(biāo)準(zhǔn)化的測試描述語言,可以用來實現(xiàn)網(wǎng)絡(luò)管理接口的自動化測試。目前ETSI的規(guī)范中已經(jīng)給出了IDL到TTCN-3的靜態(tài)映射標(biāo)準(zhǔn),其內(nèi)容主要是根據(jù)IDL接口定義給出相應(yīng)的TTCN-3測試套中的函數(shù)和數(shù)據(jù)類型的聲明,但并不涉及可執(zhí)行的測試腳本的映射。因此,要基于現(xiàn)有的TTCN-3規(guī)范來進(jìn)行CORBA網(wǎng)管接口測試腳本的自動化生成,還需要對生成方法進(jìn)行更深入的研究。本文在ETSI已有的IDL到TTCN-3靜態(tài)標(biāo)準(zhǔn)映射的基礎(chǔ)上,提出了一種根據(jù)IDL接口定義和UML序列圖來生成可執(zhí)行的TTCN-3測試套的方法,并給出了TTCN-3測試腳本的生成規(guī)則。該方法首先通過IDL接口生成相應(yīng)的測試套靜態(tài)聲明,然后針對一般的接口操作和屬性生成相應(yīng)的可執(zhí)行測試?yán)?最后再結(jié)合UML序列圖的信息生成具有時序關(guān)系的測試?yán)M合... 

【文章來源】：北京郵電大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁數(shù)】：67 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 引言
    1.1 課題研究背景
    1.2 課題研究內(nèi)容和創(chuàng)新點
    1.3 論文的結(jié)構(gòu)
第二章 相關(guān)基礎(chǔ)
    2.1 CORBA的基本概念
        2.1.1 CORBA
        2.1.2 接口定義語言
        2.1.3 接口庫
    2.2 UML2.0和XMI
        2.2.1 UML簡介
        2.2.2 XMI文件格式
    2.3 TTCN-3
        2.3.1 TTCN-3的基本介紹
        2.3.2 TTCN-3測試套的結(jié)構(gòu)
        2.3.3 TTCN-3的系統(tǒng)結(jié)構(gòu)
    2.4 模型驅(qū)動構(gòu)架簡介
    2.5 相關(guān)工具簡介
        2.5.1 TTworkbench簡介
        2.5.2 MSXML DOM簡介
        2.5.3 Enterprise Architect簡介
    2.6 小結(jié)
第三章 基于IDL和UML序列圖的TTCN-3測試套的生成規(guī)則設(shè)計
    3.1 生成規(guī)則設(shè)計概述
    3.2 IDL中內(nèi)置數(shù)據(jù)的生成規(guī)則
    3.3 IDL中自定義數(shù)據(jù)類型的生成規(guī)則
        3.3.1 結(jié)構(gòu)類型的生成規(guī)則
        3.3.2 枚舉類型的生成規(guī)則
        3.3.3 序列類型的生成規(guī)則
        3.3.4 字符串類型的生成規(guī)則
        3.3.5 數(shù)組類型的生成規(guī)則
        3.3.6 聯(lián)合類型的生成規(guī)則
        3.3.7 定點數(shù)類型的生成規(guī)則
        3.3.8 別名定義類型的生成規(guī)則
    3.4 接口部分的生成規(guī)則
    3.5 操作測試的生成規(guī)則
    3.6 屬性測試的生成規(guī)則
        3.6.1 只讀屬性的生成規(guī)則
        3.6.2 可讀寫屬性的生成規(guī)則
    3.7 模塊的生成規(guī)則
    3.8 IDL中特殊數(shù)據(jù)類型的生成規(guī)則
    3.9 模塊之間有包含關(guān)系的生成規(guī)則
    3.10 測試數(shù)據(jù)的生成策略
    3.11 測試判定的生成策略
    3.12 UML序列圖到TTCN-3的生成規(guī)則
    3.13 小結(jié)
第四章 基于IDL和UML序列圖的TTCN-3測試套的生成器的設(shè)計與實現(xiàn)
    4.1 實現(xiàn)生成器的基本構(gòu)思
    4.2 TTCN-3測試套生成器的功能結(jié)構(gòu)設(shè)計
    4.3 TTCN-3測試套生成器的執(zhí)行過程
    4.4 生成器所用文件說明
    4.5 存儲接口中掃描到的信息
        4.5.1 建立數(shù)據(jù)類型表
        4.5.2 建立屬性信息表
        4.5.3 建立操作相關(guān)信息表
    4.6 存儲UML序列圖中掃描到的信息
    4.7 程序中函數(shù)的說明
        4.7.1 ifrPrinter類
        4.7.2 TableClass類
    4.8 程序?qū)崿F(xiàn)過程中的關(guān)鍵與克服的問題
        4.8.1 操作類型的生成實現(xiàn)
        4.8.2 IDL文件中多接口類型的實現(xiàn)
    4.9 程序中克服的問題
    4.10 小結(jié)
第五章 生成器功能驗證
第六章 畢設(shè)總結(jié)
    6.1 主要工作內(nèi)容
    6.2 進(jìn)一步的工作展望
參考文獻(xiàn)
附錄
致謝
作者攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄


【參考文獻(xiàn)】：
期刊論文
[1]一種基于TTCN-3的協(xié)議測試系統(tǒng)及其擴(kuò)展研究[J]. 尹霞,王之梁,景傳明,施新剛.  中國科學(xué)（E輯:信息科學(xué)）. 2008(10)
[2]基于MSC的TTCN-3測試?yán)裳芯縖J]. 胡文紅,魏仰蘇.  計算機工程與設(shè)計. 2008(02)
[3]UML2.0 Testing Profile到TTCN-3的映射研究[J]. 梁曦,魏仰蘇.  杭州電子科技大學(xué)學(xué)報. 2007(04)
[4]TTCN-3測試系統(tǒng)的設(shè)計與實現(xiàn)[J]. 蔣凡,季向東,曾凡平.  計算機工程. 2005(11)



本文編號：3163767