Contract是一種形式化規(guī)格說明語言,用于說明相互協(xié)作完成某種功能的一組對象間的行為依賴關(guān)系。在面向?qū)ο筌浖_發(fā)中可用于作為系統(tǒng)的簇級規(guī)格說明,說明系統(tǒng)中類間的交互。它顯式地說明了對象之間的消息傳遞,方便于用來進(jìn)行面向?qū)ο蟮能浖䴗y試。一種系統(tǒng)性的面向?qū)ο筌浖䴗y試方法——TACCLE,就基于它作為簇級規(guī)格說明,進(jìn)行面向?qū)ο筌浖拇丶墱y試。但作為形式化規(guī)格說明,它要求使用者（包括系統(tǒng)分析員、設(shè)計(jì)員和測試員）的數(shù)學(xué)訓(xùn)練較好,因此在產(chǎn)業(yè)界較難普及。UML是當(dāng)前主流的建模語言,比較直觀,方便理解,正在被越來越多的開發(fā)人員掌握。UML交互圖（包括Sequence圖和collaboration圖）說明了系統(tǒng)中的對象之間的交互,通過從UML交互圖到Contract規(guī)格說明的轉(zhuǎn)換,就可以使用TACCLE方法對以UML為規(guī)格說明的軟件系統(tǒng)進(jìn)行測試。 本文給出了從UML交互圖到Contract規(guī)格說明的轉(zhuǎn)換算法�？紤]到目前各UML工具都沒有完全實(shí)現(xiàn)UML所有語法,本文也同時給出了在UML的普遍實(shí)現(xiàn)形式下的轉(zhuǎn)換算法,以及在此實(shí)現(xiàn)形式下,用XML表示的UML模型的交互圖到Contract規(guī)格說明的轉(zhuǎn)換... 

【文章來源】：暨南大學(xué)廣東省 211工程院校

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

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

【文章目錄】：
一、前言
二、本文的主要工作和結(jié)構(gòu)安排
三、Contract規(guī)格說明
四、UML
    4.1 簡介
    4.2 UML交互圖
        4.2.1 Sequence diagram
        4.2.2 Collaboration diagrama
五、UML交互圖到Contract規(guī)格說明的轉(zhuǎn)換算法
    5.1 與轉(zhuǎn)換相關(guān)的元模型元素
    5.2 轉(zhuǎn)換算法
六、普遍的UML實(shí)現(xiàn)形式下的轉(zhuǎn)換算法
    6.1 普遍的表示法以及實(shí)現(xiàn)形式
        6.1.1 Sequence圖和Collaboration圖中消息的標(biāo)注
        6.1.2 Action和Operation
    6.2 轉(zhuǎn)換算法
七、從XML表示的UML交互圖到Contract規(guī)格說明的轉(zhuǎn)換算法
    7.1 XMI的運(yùn)用
        7.1.1 XML
        7.1.2 XMI
    7.2 UML交互圖中模型元素在XML文檔中的表示
    7.3 轉(zhuǎn)換算法
八、原型實(shí)現(xiàn)及實(shí)例
    8.1 實(shí)現(xiàn)算法
    8.2 數(shù)據(jù)結(jié)構(gòu)
    8.3 試驗(yàn)結(jié)果
九、結(jié)論
參考文獻(xiàn)
致謝


【參考文獻(xiàn)】：
期刊論文
[1]一種基于UML序列圖的狀態(tài)圖合成方法[J]. 褚華,李青山,陳平,郭俊麗.  系統(tǒng)工程與電子技術(shù). 2005(03)
[2]基于元模型架構(gòu)的UML類圖到PVS規(guī)范的轉(zhuǎn)化方法[J]. 潘樂云,劉飛,馬范援.  上海交通大學(xué)學(xué)報. 2004(S1)
[3]基于MDA的UML模型轉(zhuǎn)換技術(shù)——從順序圖到狀態(tài)圖[J]. 史耀馨,崔萌,李宣東,鄭國梁.  計(jì)算機(jī)工程與應(yīng)用. 2004(13)
[4]UML序列圖的Z形式規(guī)范[J]. 李景峰,李琰,陳平.  西安電子科技大學(xué)學(xué)報. 2002(06)



本文編號：3187838