Chapter6_集成开发工具简介

《Chapter6_集成开发工具简介》由会员分享，可在线阅读，更多相关《Chapter6_集成开发工具简介（39页珍藏版）》请在金锄头文库上搜索。

1、Chapter6 集成开发工具简介,集成开发工具简介,6.1 Telelogic TAU功能简介,6.2 SDL Suite 使用方法简介,背景,Rational Rose是Rational公司出品的一种面向对象的统一建模语言的可视化建模工具。用于可视化建模和公司级水平软件应用的组件构造。IBM推出了Rational Software Architect来替代Rational Rose。,背景(2),IBM于2007年6月宣布了对Telelogic AB公司的收购要约，该收购在IBM获得了Telelogic AB公司96.9%的股权，并满足了收购的其他要求之后顺利完成。合并后，IBM、Tele

2、logic及其合作伙伴将能够在更短时间内以更低廉的成本为客户交付更为出色的高质量系统。,Telelogic TAU功能简介,6.1,功能：可在开发环境中实现仿真、测试、执行、自动代码生成、早期错误检测及最小化后期开发维护等。 用途：可为各种设计和开发任务提供最优化方法。利用TAU工具的强大图形化建模能力，用户可以对系统进行设计和模拟，并可验证系统行为，确保设计按照正确的方向进行。 组成：SDL Suite，TTCN Suite和UML Suite,SDL Suite,基于SDL和MSC的软件开发工具。 主要用在设计阶段。该工具支持图形化的SDL编辑、在线仿真和验证、代码自动生成和MSC编辑等。

3、 SDL Suite主要由以下几个部分组成： SDL Editor：支持图形化的SDL编辑，并具备与上下文相关的在线帮助工具。可以执行在线语法检查，并在编辑器中标示检测到的静态语法错误。 SDL Simulator：支持在开发环境下进行SDL系统的仿真运行，仿真结果可自动生成MSC。 SDL Validator：验证系统的设计是否和需求相吻合，并可发现系统运行时动态错误。 SDL Translator：支持自动生成C语言代码。 MSC Editor：支持图形化的MSC编辑。,TTCN Suite,TTCN Suite是事实上的通信系统的标准测试环境。它在全球范围内被广泛采用，测试从内置通信芯片

4、到大型交换机和智能网服务的电信和数据通信设备。 TTCN Suite的测试脚本语言TTCN-2是流行的用于顺从性测试的专用测试编程语言，已由ETSI和ISO标准化。 TTCN Suite为测试工程师提供强大的TTCN-2编辑器和句法分析器，而且可将测试脚本编译为可执行C代码。,UML Suite,UML Suite是用于面向对象应用开发的多用户解决方案。 UML Suite通过分析和设计不同开发阶段的关键建模视图，帮助用户更好地管理开发过程。 UML Suite可用于中型或大型项目，通过重复使用模型或系统设计的通用部件来节省系统开发时间。,Organizer界面,6.2.1,Organizer

5、窗口 ：,系统文件图标,工作目录图标,Organizer界面,6.2.1,在创建某个系统之前，用户需设定工作目录。 目标文件为系统自动生成的代码，如仿真程序、验证程序和自动生成的可执行代码等。 建议把源文件和目标文件存放在同一个工作目录下。 TAU工具不能处理带空格的变量名，可使用下划线来代替空格，因此工作目录中也不能带空格,设定用户的工作目录,系统文件用来保存整个SDL系统中各图的层次结构和工作环境的各种设定值。 通过Organizer窗口左上角的图标来标识系统文件。,新建工程对话框,保存系统文件,MSC 编辑器使用方法简介,6.2.2,输入新建图形的类型和名称,操作步骤： 选中Organi

6、zer中的Other Documents，单击Edit菜单中Add New命令，或直接使用工具栏中工具打开Add New对话框。 选择图形的类型为MSC，输入图形的名称，并选中Show in Editor选项框用于打开MSC编辑器。 单击OK按钮，即在Organizer的Other Documents下生成一个MSC图标。,MSC编辑器窗口,可返回到Organizer窗口的按钮,隐藏或显示文本编辑框按钮,隐藏或显示符号菜单,文本编辑框,符号菜单,MSC 编辑器使用方法简介,6.2.2,请按书上提示编辑各种MSC图,SDL编辑器使用方法简介,6.2.3,添加系统图对话框,操作步骤： 从Edit菜

7、单中选择Add New命令，弹出如右图所示对话框。 选择文档的类型为SDL， 从下拉框中选择SDL图形的类型为系统图，系统的名称为MiniSwitch。 点击OK键 ，弹出SDL编辑器窗口 。,SDL编辑器使用方法简介,6.2.3,SDL 编辑器窗口,操作方法： 在系统图中插入一个功能块Call_Handle 添加一条从功能块到环境的信道。 在信道的文本框中输入信道名称Sys_env，在信号列表文本框中输入信号列表to_env1和to_env2。 单击SDL编辑器上的保存工具进行存盘 。,SDL编辑器使用方法简介,6.2.3,SDL编辑器使用方法简介,6.2.3,双击,弹出,OK,功能块编辑对

8、话框,功能块图,Add Page对话框,SDL编辑器使用方法简介,6.2.3,功能块编辑窗口,从符号菜单中选择一个进程符号插入到功能块图中 绘制信道、创建请求。,SDL编辑器使用方法简介,6.2.3,进程编辑对话框,双击Manage进程弹出,OK,添加页面类型对话框,SDL编辑器使用方法简介,6.2.3,操作步骤： 确定所添加图形类型 为Graph Page 点击OK，打开进程编辑窗口 。 插入文本框，并在文本框中输入所需信号，定义各种所需变量。 插入开始符号、任务符号和Ready状态符号。 在任务框中进行两个初始化操作。 在Ready状态下插入一个输入信号 插入一个分支符 当用户作主叫时，插

9、入创建请求，当用户作为被叫时输出信号。 完成其他符号的编辑,进程图编辑窗口,SDL编辑器使用方法简介,6.2.3,此图为一个扩展的HelloWorld应用程序，在这个应用程序中，信号Hello输入后系统调用一个本地过程Reply。,SDL编辑器使用方法简介,6.2.3,调用Reply过程,这个过程记录Hello输入信号的输入次数，然后以World信号输出。 这个过程的参数使用FRAR关键字表示，所有的参数在附加头文件中描述，并且在FPAR之前使用分号”;”。,SDL编辑器使用方法简介,6.2.3,操作步骤： 从Edit菜单中选择Add New命令 SDL文档类型选择Package,添加一个包,

10、SDL编辑器使用方法简介,6.2.3,定义信号列表,SDL编辑器使用方法简介,6.2.3,包引用实例,操作步骤： 选中需要进行检查的图 保存按钮关闭后，弹出语法分析器对话框 。 点击Analyzer按钮，分析器开始按照选项对话框中规定的选项对输入进行分析。,语法分析器对话框,默认情况下，分析结束后Log窗口会自动弹出，各种错误和警告会按照分类的方式显示在窗口上。 未能弹出时，可从Organizer Tools菜单中选择Organizer log命令打开Log窗口。 分析完成以后，需要使用Full Analyzer对整个系统进行分析。,Organizer Log窗口,第一部分(#SDTREF)是

11、原图表的参考，主要是显示错误出现的文件目录、页码、图标和位置。 第二部分(ERROR 372.) 包含了错误代码和一个解释文本，提示用户如何排除错误信息。 为更好的显示和定位错误，用户可以使用Organzier Log窗口提供的各种工具来对错误进行定位，,语法分析错误报告,Simulator UI,6.2.4,Make 对话框,操作步骤： 选中Organizer中MiniSwitch系统图标 从Generate菜单中选择Make命令，打开Make对话框。 选中Analyze & generate 选中codeMakefile and Generate makefile 选择Compile &

12、link 选择Use standard kernel,Simulator UI,6.2.4,操作步骤： 根据机器上安装的C编译器进行选择 Use Standard Kernel 单击Full Make按钮 从Tools菜单中选择Organizer Log，检查是否有错误发生。 单击【Tools】|【SDL】|【Simulator UI】命令，启动如右图所示界面。 使用Open快捷按钮打开文件对话框，并选择刚刚生成的仿真程序。,Simulator UI界面,Simulator UI界面中左边窗口有四个域，分别是Execute、Send Signal、Examine和Trace。 通过使用这四个域

13、中的这些命令，用户可以执行各种操作。,Simulator UI界面,保存仿真结果对话框,系统仿真完成后，系统的仿真结果会出现在MSC编辑器中。 选择MSC Editor上的Print工具，弹出Print对话框。 在Destination的Format中选择One Word Doc File把仿真结果保存为单个的Word文档 To File表示目标文件的文件名，如右图所示。,Validator UI,6.2.5,生成验证程序对话框,生成验证程序的操作过程与生成仿真程序的过程相似 验证程序成功生成后的文件名为SystemName_VLC.exe的文件。,Validator UI界面,Validat

14、or UI,6.2.5,使用Validator来验证某个SDL系统时，整个SDL系统会被一种称为行为树(behavior tree)的结构来代替。 在行为树中，一个节点代表整个SDL系统中的某个状态，所有状态的集合称为状态空间(state space)。 用户可以在系统生成的行为树中移动，这种动作称为SDL系统状态空间遍历。 状态空间遍历可以使用各种不同的算法来实现。 Bit-State 遍历算法可用来有效的验证大型系统 遍历完成后，系统弹出一个Report Viewer窗口。并在Validator UI文本区域中显示相关统计信息。,Validator UI,6.2.5,Report View

15、er窗口,系统验证完成后，自动弹出Report View窗口。 从Report View窗口可以查看验证错误报告，Report View使用树型结构的方框来显示报告。,Validator UI,6.2.5,总的错误数,该种类型错误的数目,错误报告,双击Report Viewer中的某个错误报告，系统会自动打开一个MSC编辑器，显示目前状态的MSC跟踪。,Validator UI,6.2.5,Random Walk遍历：当有多个分支时，该算法可随机选取某个分支运行。 Tree-Walk遍历 ：对可达图中各种不同的状态可以执行一系列不断加深的树型搜索，特别适合自动软件测试用例生成。 Tree-Search遍历 ：遍历系统中所有可能的组合。这种搜索方法同手工搜索方式得到的生成树相同。 Exhaustive遍历 ：遍历时整个系统的状态空间都会存储在内存中，这种遍历算法仅仅适用于状态空间比较小的SDL系统。 Verify-MSC遍历 ：验证SDL系统中是否有可执行的路径来满足MSC图。,作业(结合试验4,5完成，无需提交纸质版