Chapter6集成开发工具简介

2021/8/21Chapter6 集成开发工具简介2021/8/22集成开发工具简介集成开发工具简介 6.1 Telelogic TAU功能简介功能简介 6.2 SDL Suite 使用方法简介使用方法简介 2021/8/23背景oRational Rose是Rational公司出品的一种面向对象的统一建模语言的可视化建模工具。用于可视化建模和公司级水平软件应用的组件构造。IBM推出了Rational Software Architect来替代Rational Rose。2021/8/24背景(2)oIBM于2007年6月宣布了对Telelogic AB公司的收购要约，该收购在IBM获得了Telelogic AB公司96.9%的股权，并满足了收购的其他要求之后顺利完成。合并后，IBM、Telelogic及其合作伙伴将能够在更短时间内以更低廉的成本为客户交付更为出色的高质量系统。2021/8/25Telelogic TAU功能简介 6.1l 功能：可在开发环境中实现仿真、测试、执行、自动代码生成、早期错误检测及最小化后期开发维护等。l 用途：可为各种设计和开发任务提供最优化方法。利用TAU工具的强大图形化建模能力，用户可以对系统进行设计和模拟，并可验证系统行为，确保设计按照正确的方向进行。l 组成：SDL Suite，TTCN Suite和UML Suite 2021/8/26SDL Suitel 基于SDL和MSC的软件开发工具。l 主要用在设计阶段。该工具支持图形化的SDL编辑、在线仿真和验证、代码自动生成和MSC编辑等。l SDL Suite主要由以下几个部分组成：SDL Editor：支持图形化的SDL编辑，并具备与上下文相关的在线帮助工具。可以执行在线语法检查，并在编辑器中标示检测到的静态语法错误。SDL Simulator：支持在开发环境下进行SDL系统的仿真运行，仿真结果可自动生成MSC。SDL Validator：验证系统的设计是否和需求相吻合，并可发现系统运行时动态错误。SDL Translator：支持自动生成C语言代码。MSC Editor：支持图形化的MSC编辑。2021/8/27TTCN Suitel TTCN Suite是事实上的通信系统的标准测试环境。它在全球范围内被广泛采用，测试从内置通信芯片到大型交换机和智能网服务的电信和数据通信设备。l TTCN Suite的测试脚本语言TTCN-2是流行的用于顺从性测试的专用测试编程语言，已由ETSI和ISO标准化。l TTCN Suite为测试工程师提供强大的TTCN-2编辑器和句法分析器，而且可将测试脚本编译为可执行C代码。2021/8/28UML Suite l UML Suite是用于面向对象应用开发的多用户解决方案。l UML Suite通过分析和设计不同开发阶段的关键建模视图，帮助用户更好地管理开发过程。l UML Suite可用于中型或大型项目，通过重复使用模型或系统设计的通用部件来节省系统开发时间。2021/8/29 Organizer界面 6.2.1 Organizer窗口：系统文件图标 工作目录图标 2021/8/210 Organizer界面 6.2.1设定工作目录设定工作目录 1l 在创建某个系统之前，用户需设定工作目录。l 目标文件为系统自动生成的代码，如仿真程序、验证程序和自动生成的可执行代码等。l 建议把源文件和目标文件存放在同一个工作目录下。l TAU工具不能处理带空格的变量名，可使用下划线来代替空格，因此工作目录中也不能带空格 设定用户的工作目录 2021/8/211新建一个工程新建一个工程 2l 系统文件用来保存整个SDL系统中各图的层次结构和工作环境的各种设定值。l 通过Organizer窗口左上角的图标来标识系统文件。新建工程对话框 保存系统文件 2021/8/212 MSC 编辑器使用方法简介 6.2.2新建新建MSCMSC图图 1输入新建图形的类型和名称 操作步骤：选中Organizer中的Other Documents，单击Edit菜单中Add New命令，或直接使用工具栏中工具打开Add New对话框。选择图形的类型为MSC，输入图形的名称，并选中Show in Editor选项框用于打开MSC编辑器。单击OK按钮，即在Organizer的Other Documents下生成一个MSC图标。2021/8/213编辑编辑MSCMSC图图 2 MSC编辑器窗口 可返回到Organizer窗口的按钮隐藏或显示文本编辑框按钮隐藏或显示符号菜单 文本编辑框 符号菜单 2021/8/214 MSC 编辑器使用方法简介 6.2.2请按书上提示编辑各种MSC图2021/8/215 SDL编辑器使用方法简介 6.2.3新建新建SDLSDL系统系统 1 添加系统图对话框 操作步骤：l 从Edit菜单中选择Add New命令，弹出如右图所示对话框。l 选择文档的类型为SDL，从下拉框中选择SDL图形的类型为系统图，系统的名称为MiniSwitch。(1)点击OK键，弹出SDL编辑器窗口。2021/8/216 SDL编辑器使用方法简介 6.2.3 SDL 编辑器窗口 操作方法：l 在系统图中插入一个功能块Call_Handle l 添加一条从功能块到环境的信道。l 在信道的文本框中输入信道名称Sys_env，在信号列表文本框中输入信号列表to_env1和to_env2。(4)单击SDL编辑器上的保存工具进行存盘。2021/8/217 SDL编辑器使用方法简介 6.2.3系统图其它符号系统图其它符号 22021/8/218 SDL编辑器使用方法简介 6.2.3创建功能块图创建功能块图 3双击弹出OK功能块编辑对话框 功能块图Add Page对话框 2021/8/219 SDL编辑器使用方法简介 6.2.3功能块编辑窗口 l 从符号菜单中选择一个进程符号插入到功能块图中l 绘制信道、创建请求。2021/8/220 SDL编辑器使用方法简介 6.2.3创建进程图创建进程图 4进程编辑对话框 双击Manage进程弹出 OK添加页面类型对话框2021/8/221 SDL编辑器使用方法简介 6.2.3操作步骤：l 确定所添加图形类型 为Graph Page l 点击OK，打开进程编辑窗口。l 插入文本框，并在文本框中输入所需信号，定义各种所需变量。l 插入开始符号、任务符号和Ready状态符号。l 在任务框中进行两个初始化操作。l 在Ready状态下插入一个输入信号l 插入一个分支符 l 当用户作主叫时，插入创建请求，当用户作为被叫时输出信号。(1)完成其他符号的编辑 进程图编辑窗口 2021/8/222 SDL编辑器使用方法简介 6.2.3过程调用过程调用 5l 此图为一个扩展的HelloWorld应用程序，在这个应用程序中，信号Hello输入后系统调用一个本地过程Reply。2021/8/223 SDL编辑器使用方法简介 6.2.3调用Reply过程 l 这个过程记录Hello输入信号的输入次数，然后以World信号输出。l 这个过程的参数使用FRAR关键字表示，所有的参数在附加头文件中描述，并且在FPAR之前使用分号”;”。2021/8/224 SDL编辑器使用方法简介 6.2.3信号列表和包信号列表和包 6操作步骤：l 从Edit菜单中选择Add New命令(1)SDL文档类型选择Package 添加一个包 2021/8/225 SDL编辑器使用方法简介 6.2.3定义信号列表2021/8/226 SDL编辑器使用方法简介 6.2.3包引用实例 2021/8/227语法检查语法检查 7操作步骤：l 选中需要进行检查的图 l 保存按钮关闭后，弹出语法分析器对话框。(1)点击Analyzer按钮，分析器开始按照选项对话框中规定的选项对输入进行分析。语法分析器对话框 2021/8/228l 默认情况下，分析结束后Log窗口会自动弹出，各种错误和警告会按照分类的方式显示在窗口上。l 未能弹出时，可从Organizer Tools菜单中选择Organizer log命令打开Log窗口。l 分析完成以后，需要使用Full Analyzer对整个系统进行分析。Organizer Log窗口 2021/8/229查找和排除错误查找和排除错误 8l 第一部分(#SDTREF)是原图表的参考，主要是显示错误出现的文件目录、页码、图标和位置。l 第二部分(ERROR 372.)包含了错误代码和一个解释文本，提示用户如何排除错误信息。l 为更好的显示和定位错误，用户可以使用Organzier Log窗口提供的各种工具来对错误进行定位，语法分析错误报告 2021/8/230 Simulator UI 6.2.4生成一个仿真程序生成一个仿真程序 1Make 对话框 操作步骤：l 选中Organizer中MiniSwitch系统图标 l 从Generate菜单中选择Make命令，打开Make对话框。选中Analyze&generate 选中codeMakefile and Generate makefile 选择Compile&link(1)选择Use standard kernel 2021/8/231 Simulator UI 6.2.4操作步骤：l 根据机器上安装的C编译器进行选择 Use Standard Kernell 单击Full Make按钮l 从Tools菜单中选择Organizer Log，检查是否有错误发生。l 单击【Tools】|【SDL】|【Simulator UI】命令，启动如右图所示界面。(3)使用Open快捷按钮打开文件对话框，并选择刚刚生成的仿真程序。Simulator UI界面 2021/8/232Simulator UI命令命令 2l Simulator UI界面中左边窗口有四个域，分别是Execute、Send Signal、Examine和Trace。l 通过使用这四个域中的这些命令，用户可以执行各种操作。Simulator UI界面 2021/8/233保存仿真结果保存仿真结果 3保存仿真结果对话框l 系统仿真完成后，系统的仿真结果会出现在MSC编辑器中。l 选择MSC Editor上的Print工具，弹出Print对话框。l 在Destination的Format中选择One Word Doc File把仿真结果保存为单个的Word文档l To File表示目标文件的文件名，如右图所示。2021/8/234 Validator UI 6.2.5验证程序的生成和启动验证程序的生成和启动 1生成验证程序对话框 l 生成验证程序的操作过程与生成仿真程序的过程相似 l 验证程序成功生成后的文件名为SystemName_VLC.exe的文件。Validator UI界面 2021/8/235 Validator UI 6.2.5执行Bit State遍历 2l 使用Validator来验证某个SDL系统时，整个SDL系统会被一种称为行为树(behavior tree)的结构来代替。l 在行为树中，一个节点代表整个SDL系统中的某个状态，所有状态的集合称为状态空间(state space)。l 用户可以在系统生成的行为树中移动，这种动作称为SDL系统状态空间遍历。l 状态空间遍历可以使用各种不同的算法来实现。l Bit-State 遍历算法可用来有效的验证大型系统 l 遍历完成后，系统弹出一个Report Viewer窗口。并在Validator UI文本区域中显示相关统计信息。2021/8/236 Validator UI 6.2.5检查报告 3 Report Viewer窗口 l 系统验证完成后，自动弹出Report View窗口。l 从Report View窗口可以查看验证错误报告，Report View使用树型结构的方框来显示报告。2021/8/237 Validator UI 6.2.5总的错误数该种类型错误的数目 错误报告l 双击Report Viewer中的某个错误报告，系统会自动打开一个MSC编辑器，显示目前状态的MSC跟踪。2021/8/238 Validator UI 6.2.5其他遍历方法 4l Random Walk遍历：当有多个分支时，该算法可随机选取某个分支运行。l Tree-Walk遍历：对可达图中各种不同的状态可以执行一系列不断加深的树型搜索，特别适合自动软件测试用例生成。l Tree-Search遍历：遍历系统中所有可能的组合。这种搜索方法同手工搜索方式得到的生成树相同。l Exhaustive遍历：遍历时整个系统的状态空间都会存储在内存中，这种遍历算法仅仅适用于状态空间比较小的SDL系统。l Verify-MSC遍历：验证SDL系统中是否有可执行的路径来满足MSC图。2021/8/239作业(结合试验4,5完成，无需提交纸质版本)o结合实验完成Telelogic TAU集成开发环境的安装，并熟悉之；o完成实验4，5，并需提交电子版实验报告，提交至软件学院信息化平台.部分资料从网络收集整理而来，供大家参考，感谢您的关注！