1、Chapter6 集成開發(fā)工具簡介,集成開發(fā)工具簡介,6.1 Telelogic TAU功能簡介,6.2 SDL Suite 使用方法簡介,背景,Rational Rose是Rational公司出品的一種面向?qū)ο蟮慕y(tǒng)一建模語言的可視化建模工具。用于可視化建模和公司級(jí)水平軟件應(yīng)用的組件構(gòu)造。IBM推出了Rational Software Architect來替代Rational Rose。,背景(2),IBM于2007年6月宣布了對(duì)Telelogic AB公司的收購要約，該收購在IBM獲得了Telelogic AB公司96.9%的股權(quán)，并滿足了收購的其他要求之后順利完成。合并后，IBM、Tele

2、logic及其合作伙伴將能夠在更短時(shí)間內(nèi)以更低廉的成本為客戶交付更為出色的高質(zhì)量系統(tǒng)。,Telelogic TAU功能簡介,6.1,功能：可在開發(fā)環(huán)境中實(shí)現(xiàn)仿真、測(cè)試、執(zhí)行、自動(dòng)代碼生成、早期錯(cuò)誤檢測(cè)及最小化后期開發(fā)維護(hù)等。 用途：可為各種設(shè)計(jì)和開發(fā)任務(wù)提供最優(yōu)化方法。利用TAU工具的強(qiáng)大圖形化建模能力，用戶可以對(duì)系統(tǒng)進(jìn)行設(shè)計(jì)和模擬，并可驗(yàn)證系統(tǒng)行為，確保設(shè)計(jì)按照正確的方向進(jìn)行。 組成：SDL Suite，TTCN Suite和UML Suite,SDL Suite,基于SDL和MSC的軟件開發(fā)工具。 主要用在設(shè)計(jì)階段。該工具支持圖形化的SDL編輯、在線仿真和驗(yàn)證、代碼自動(dòng)生成和MSC編輯等。

3、 SDL Suite主要由以下幾個(gè)部分組成： SDL Editor：支持圖形化的SDL編輯，并具備與上下文相關(guān)的在線幫助工具?？梢詧?zhí)行在線語法檢查，并在編輯器中標(biāo)示檢測(cè)到的靜態(tài)語法錯(cuò)誤。 SDL Simulator：支持在開發(fā)環(huán)境下進(jìn)行SDL系統(tǒng)的仿真運(yùn)行，仿真結(jié)果可自動(dòng)生成MSC。 SDL Validator：驗(yàn)證系統(tǒng)的設(shè)計(jì)是否和需求相吻合，并可發(fā)現(xiàn)系統(tǒng)運(yùn)行時(shí)動(dòng)態(tài)錯(cuò)誤。 SDL Translator：支持自動(dòng)生成C語言代碼。 MSC Editor：支持圖形化的MSC編輯。,TTCN Suite,TTCN Suite是事實(shí)上的通信系統(tǒng)的標(biāo)準(zhǔn)測(cè)試環(huán)境。它在全球范圍內(nèi)被廣泛采用，測(cè)試從內(nèi)置通信芯片

4、到大型交換機(jī)和智能網(wǎng)服務(wù)的電信和數(shù)據(jù)通信設(shè)備。 TTCN Suite的測(cè)試腳本語言TTCN-2是流行的用于順從性測(cè)試的專用測(cè)試編程語言，已由ETSI和ISO標(biāo)準(zhǔn)化。 TTCN Suite為測(cè)試工程師提供強(qiáng)大的TTCN-2編輯器和句法分析器，而且可將測(cè)試腳本編譯為可執(zhí)行C代碼。,UML Suite,UML Suite是用于面向?qū)ο髴?yīng)用開發(fā)的多用戶解決方案。 UML Suite通過分析和設(shè)計(jì)不同開發(fā)階段的關(guān)鍵建模視圖，幫助用戶更好地管理開發(fā)過程。 UML Suite可用于中型或大型項(xiàng)目，通過重復(fù)使用模型或系統(tǒng)設(shè)計(jì)的通用部件來節(jié)省系統(tǒng)開發(fā)時(shí)間。,Organizer界面,6.2.1,Organizer

5、窗口 ：,系統(tǒng)文件圖標(biāo),工作目錄圖標(biāo),Organizer界面,6.2.1,在創(chuàng)建某個(gè)系統(tǒng)之前，用戶需設(shè)定工作目錄。 目標(biāo)文件為系統(tǒng)自動(dòng)生成的代碼，如仿真程序、驗(yàn)證程序和自動(dòng)生成的可執(zhí)行代碼等。 建議把源文件和目標(biāo)文件存放在同一個(gè)工作目錄下。 TAU工具不能處理帶空格的變量名，可使用下劃線來代替空格，因此工作目錄中也不能帶空格,設(shè)定用戶的工作目錄,系統(tǒng)文件用來保存整個(gè)SDL系統(tǒng)中各圖的層次結(jié)構(gòu)和工作環(huán)境的各種設(shè)定值。 通過Organizer窗口左上角的圖標(biāo)來標(biāo)識(shí)系統(tǒng)文件。,新建工程對(duì)話框,保存系統(tǒng)文件,MSC 編輯器使用方法簡介,6.2.2,輸入新建圖形的類型和名稱,操作步驟： 選中Organi

6、zer中的Other Documents，單擊Edit菜單中Add New命令，或直接使用工具欄中工具打開Add New對(duì)話框。 選擇圖形的類型為MSC，輸入圖形的名稱，并選中Show in Editor選項(xiàng)框用于打開MSC編輯器。 單擊OK按鈕，即在Organizer的Other Documents下生成一個(gè)MSC圖標(biāo)。,MSC編輯器窗口,可返回到Organizer窗口的按鈕,隱藏或顯示文本編輯框按鈕,隱藏或顯示符號(hào)菜單,文本編輯框,符號(hào)菜單,MSC 編輯器使用方法簡介,6.2.2,請(qǐng)按書上提示編輯各種MSC圖,SDL編輯器使用方法簡介,6.2.3,添加系統(tǒng)圖對(duì)話框,操作步驟： 從Edit菜

7、單中選擇Add New命令，彈出如右圖所示對(duì)話框。 選擇文檔的類型為SDL， 從下拉框中選擇SDL圖形的類型為系統(tǒng)圖，系統(tǒng)的名稱為MiniSwitch。 點(diǎn)擊OK鍵 ，彈出SDL編輯器窗口 。,SDL編輯器使用方法簡介,6.2.3,SDL 編輯器窗口,操作方法： 在系統(tǒng)圖中插入一個(gè)功能塊Call_Handle 添加一條從功能塊到環(huán)境的信道。 在信道的文本框中輸入信道名稱Sys_env，在信號(hào)列表文本框中輸入信號(hào)列表to_env1和to_env2。 單擊SDL編輯器上的保存工具進(jìn)行存盤 。,SDL編輯器使用方法簡介,6.2.3,SDL編輯器使用方法簡介,6.2.3,雙擊,彈出,OK,功能塊編輯對(duì)

8、話框,功能塊圖,Add Page對(duì)話框,SDL編輯器使用方法簡介,6.2.3,功能塊編輯窗口,從符號(hào)菜單中選擇一個(gè)進(jìn)程符號(hào)插入到功能塊圖中 繪制信道、創(chuàng)建請(qǐng)求。,SDL編輯器使用方法簡介,6.2.3,進(jìn)程編輯對(duì)話框,雙擊Manage進(jìn)程彈出,OK,添加頁面類型對(duì)話框,SDL編輯器使用方法簡介,6.2.3,操作步驟： 確定所添加圖形類型 為Graph Page 點(diǎn)擊OK，打開進(jìn)程編輯窗口 。 插入文本框，并在文本框中輸入所需信號(hào)，定義各種所需變量。 插入開始符號(hào)、任務(wù)符號(hào)和Ready狀態(tài)符號(hào)。 在任務(wù)框中進(jìn)行兩個(gè)初始化操作。 在Ready狀態(tài)下插入一個(gè)輸入信號(hào) 插入一個(gè)分支符 當(dāng)用戶作主叫時(shí)，插

9、入創(chuàng)建請(qǐng)求，當(dāng)用戶作為被叫時(shí)輸出信號(hào)。 完成其他符號(hào)的編輯,進(jìn)程圖編輯窗口,SDL編輯器使用方法簡介,6.2.3,此圖為一個(gè)擴(kuò)展的HelloWorld應(yīng)用程序，在這個(gè)應(yīng)用程序中，信號(hào)Hello輸入后系統(tǒng)調(diào)用一個(gè)本地過程Reply。,SDL編輯器使用方法簡介,6.2.3,調(diào)用Reply過程,這個(gè)過程記錄Hello輸入信號(hào)的輸入次數(shù)，然后以World信號(hào)輸出。 這個(gè)過程的參數(shù)使用FRAR關(guān)鍵字表示，所有的參數(shù)在附加頭文件中描述，并且在FPAR之前使用分號(hào)”;”。,SDL編輯器使用方法簡介,6.2.3,操作步驟： 從Edit菜單中選擇Add New命令 SDL文檔類型選擇Package,添加一個(gè)包,

10、SDL編輯器使用方法簡介,6.2.3,定義信號(hào)列表,SDL編輯器使用方法簡介,6.2.3,包引用實(shí)例,操作步驟： 選中需要進(jìn)行檢查的圖 保存按鈕關(guān)閉后，彈出語法分析器對(duì)話框 。 點(diǎn)擊Analyzer按鈕，分析器開始按照選項(xiàng)對(duì)話框中規(guī)定的選項(xiàng)對(duì)輸入進(jìn)行分析。,語法分析器對(duì)話框,默認(rèn)情況下，分析結(jié)束后Log窗口會(huì)自動(dòng)彈出，各種錯(cuò)誤和警告會(huì)按照分類的方式顯示在窗口上。 未能彈出時(shí)，可從Organizer Tools菜單中選擇Organizer log命令打開Log窗口。 分析完成以后，需要使用Full Analyzer對(duì)整個(gè)系統(tǒng)進(jìn)行分析。,Organizer Log窗口,第一部分(#SDTREF)是

11、原圖表的參考，主要是顯示錯(cuò)誤出現(xiàn)的文件目錄、頁碼、圖標(biāo)和位置。 第二部分(ERROR 372.) 包含了錯(cuò)誤代碼和一個(gè)解釋文本，提示用戶如何排除錯(cuò)誤信息。 為更好的顯示和定位錯(cuò)誤，用戶可以使用Organzier Log窗口提供的各種工具來對(duì)錯(cuò)誤進(jìn)行定位，,語法分析錯(cuò)誤報(bào)告,Simulator UI,6.2.4,Make 對(duì)話框,操作步驟： 選中Organizer中MiniSwitch系統(tǒng)圖標(biāo) 從Generate菜單中選擇Make命令，打開Make對(duì)話框。 選中Analyze & generate 選中codeMakefile and Generate makefile 選擇Compile &

12、link 選擇Use standard kernel,Simulator UI,6.2.4,操作步驟： 根據(jù)機(jī)器上安裝的C編譯器進(jìn)行選擇 Use Standard Kernel 單擊Full Make按鈕 從Tools菜單中選擇Organizer Log，檢查是否有錯(cuò)誤發(fā)生。 單擊【Tools】|【SDL】|【Simulator UI】命令，啟動(dòng)如右圖所示界面。 使用Open快捷按鈕打開文件對(duì)話框，并選擇剛剛生成的仿真程序。,Simulator UI界面,Simulator UI界面中左邊窗口有四個(gè)域，分別是Execute、Send Signal、Examine和Trace。 通過使用這四個(gè)域

13、中的這些命令，用戶可以執(zhí)行各種操作。,Simulator UI界面,保存仿真結(jié)果對(duì)話框,系統(tǒng)仿真完成后，系統(tǒng)的仿真結(jié)果會(huì)出現(xiàn)在MSC編輯器中。 選擇MSC Editor上的Print工具，彈出Print對(duì)話框。 在Destination的Format中選擇One Word Doc File把仿真結(jié)果保存為單個(gè)的Word文檔 To File表示目標(biāo)文件的文件名，如右圖所示。,Validator UI,6.2.5,生成驗(yàn)證程序?qū)υ捒?生成驗(yàn)證程序的操作過程與生成仿真程序的過程相似 驗(yàn)證程序成功生成后的文件名為SystemName_VLC.exe的文件。,Validator UI界面,Validat

14、or UI,6.2.5,使用Validator來驗(yàn)證某個(gè)SDL系統(tǒng)時(shí)，整個(gè)SDL系統(tǒng)會(huì)被一種稱為行為樹(behavior tree)的結(jié)構(gòu)來代替。 在行為樹中，一個(gè)節(jié)點(diǎn)代表整個(gè)SDL系統(tǒng)中的某個(gè)狀態(tài)，所有狀態(tài)的集合稱為狀態(tài)空間(state space)。 用戶可以在系統(tǒng)生成的行為樹中移動(dòng)，這種動(dòng)作稱為SDL系統(tǒng)狀態(tài)空間遍歷。 狀態(tài)空間遍歷可以使用各種不同的算法來實(shí)現(xiàn)。 Bit-State 遍歷算法可用來有效的驗(yàn)證大型系統(tǒng) 遍歷完成后，系統(tǒng)彈出一個(gè)Report Viewer窗口。并在Validator UI文本區(qū)域中顯示相關(guān)統(tǒng)計(jì)信息。,Validator UI,6.2.5,Report View

15、er窗口,系統(tǒng)驗(yàn)證完成后，自動(dòng)彈出Report View窗口。 從Report View窗口可以查看驗(yàn)證錯(cuò)誤報(bào)告，Report View使用樹型結(jié)構(gòu)的方框來顯示報(bào)告。,Validator UI,6.2.5,總的錯(cuò)誤數(shù),該種類型錯(cuò)誤的數(shù)目,錯(cuò)誤報(bào)告,雙擊Report Viewer中的某個(gè)錯(cuò)誤報(bào)告，系統(tǒng)會(huì)自動(dòng)打開一個(gè)MSC編輯器，顯示目前狀態(tài)的MSC跟蹤。,Validator UI,6.2.5,Random Walk遍歷：當(dāng)有多個(gè)分支時(shí)，該算法可隨機(jī)選取某個(gè)分支運(yùn)行。 Tree-Walk遍歷 ：對(duì)可達(dá)圖中各種不同的狀態(tài)可以執(zhí)行一系列不斷加深的樹型搜索，特別適合自動(dòng)軟件測(cè)試用例生成。 Tree-Sea