Chapter6_集成开发工具简介.ppt

Chapter6集成开发工具简介 集成开发工具简介 6 1TelelogicTAU功能简介 6 2SDLSuite使用方法简介 背景 RationalRose是Rational公司出品的一种面向对象的统一建模语言的可视化建模工具 用于可视化建模和公司级水平软件应用的组件构造 IBM推出了RationalSoftwareArchitect来替代RationalRose 背景 2 IBM于2007年6月宣布了对TelelogicAB公司的收购要约 该收购在IBM获得了TelelogicAB公司96 9 的股权 并满足了收购的其他要求之后顺利完成 合并后 IBM Telelogic及其合作伙伴将能够在更短时间内以更低廉的成本为客户交付更为出色的高质量系统 TelelogicTAU功能简介 6 1 功能 可在开发环境中实现仿真 测试 执行 自动代码生成 早期错误检测及最小化后期开发维护等 用途 可为各种设计和开发任务提供最优化方法 利用TAU工具的强大图形化建模能力 用户可以对系统进行设计和模拟 并可验证系统行为 确保设计按照正确的方向进行 组成 SDLSuite TTCNSuite和UMLSuite SDLSuite 基于SDL和MSC的软件开发工具 主要用在设计阶段 该工具支持图形化的SDL编辑 在线仿真和验证 代码自动生成和MSC编辑等 SDLSuite主要由以下几个部分组成 SDLEditor 支持图形化的SDL编辑 并具备与上下文相关的在线帮助工具 可以执行在线语法检查 并在编辑器中标示检测到的静态语法错误 SDLSimulator 支持在开发环境下进行SDL系统的仿真运行 仿真结果可自动生成MSC SDLValidator 验证系统的设计是否和需求相吻合 并可发现系统运行时动态错误 SDLTranslator 支持自动生成C语言代码 MSCEditor 支持图形化的MSC编辑 TTCNSuite TTCNSuite是事实上的通信系统的标准测试环境 它在全球范围内被广泛采用 测试从内置通信芯片到大型交换机和智能网服务的电信和数据通信设备 TTCNSuite的测试脚本语言TTCN 2是流行的用于顺从性测试的专用测试编程语言 已由ETSI和ISO标准化 TTCNSuite为测试工程师提供强大的TTCN 2编辑器和句法分析器 而且可将测试脚本编译为可执行C代码 UMLSuite UMLSuite是用于面向对象应用开发的多用户解决方案 UMLSuite通过分析和设计不同开发阶段的关键建模视图 帮助用户更好地管理开发过程 UMLSuite可用于中型或大型项目 通过重复使用模型或系统设计的通用部件来节省系统开发时间 Organizer界面 6 2 1 Organizer窗口 系统文件图标 工作目录图标 Organizer界面 6 2 1 在创建某个系统之前 用户需设定工作目录 目标文件为系统自动生成的代码 如仿真程序 验证程序和自动生成的可执行代码等 建议把源文件和目标文件存放在同一个工作目录下 TAU工具不能处理带空格的变量名 可使用下划线来代替空格 因此工作目录中也不能带空格 设定用户的工作目录 系统文件用来保存整个SDL系统中各图的层次结构和工作环境的各种设定值 通过Organizer窗口左上角的图标来标识系统文件 新建工程对话框 保存系统文件 MSC编辑器使用方法简介 6 2 2 输入新建图形的类型和名称 操作步骤 选中Organizer中的OtherDocuments 单击Edit菜单中AddNew命令 或直接使用工具栏中工具打开AddNew对话框 选择图形的类型为MSC 输入图形的名称 并选中ShowinEditor选项框用于打开MSC编辑器 单击OK按钮 即在Organizer的OtherDocuments下生成一个MSC图标 MSC编辑器窗口 可返回到Organizer窗口的按钮 隐藏或显示文本编辑框按钮 隐藏或显示符号菜单 文本编辑框 符号菜单 MSC编辑器使用方法简介 6 2 2 请按书上提示编辑各种MSC图 SDL编辑器使用方法简介 6 2 3 添加系统图对话框 操作步骤 从Edit菜单中选择AddNew命令 弹出如右图所示对话框 选择文档的类型为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 功能块编辑对话框 功能块图 AddPage对话框 SDL编辑器使用方法简介 6 2 3 功能块编辑窗口 从符号菜单中选择一个进程符号插入到功能块图中绘制信道 创建请求 SDL编辑器使用方法简介 6 2 3 进程编辑对话框 双击Manage进程弹出 OK 添加页面类型对话框 SDL编辑器使用方法简介 6 2 3 操作步骤 确定所添加图形类型为GraphPage点击OK 打开进程编辑窗口 插入文本框 并在文本框中输入所需信号 定义各种所需变量 插入开始符号 任务符号和Ready状态符号 在任务框中进行两个初始化操作 在Ready状态下插入一个输入信号插入一个分支符当用户作主叫时 插入创建请求 当用户作为被叫时输出信号 完成其他符号的编辑 进程图编辑窗口 SDL编辑器使用方法简介 6 2 3 此图为一个扩展的HelloWorld应用程序 在这个应用程序中 信号Hello输入后系统调用一个本地过程Reply SDL编辑器使用方法简介 6 2 3 调用Reply过程 这个过程记录Hello输入信号的输入次数 然后以World信号输出 这个过程的参数使用FRAR关键字表示 所有的参数在附加头文件中描述 并且在FPAR之前使用分号 SDL编辑器使用方法简介 6 2 3 操作步骤 从Edit菜单中选择AddNew命令SDL文档类型选择Package 添加一个包 SDL编辑器使用方法简介 6 2 3 定义信号列表 SDL编辑器使用方法简介 6 2 3 包引用实例 操作步骤 选中需要进行检查的图保存按钮关闭后 弹出语法分析器对话框 点击Analyzer按钮 分析器开始按照选项对话框中规定的选项对输入进行分析 语法分析器对话框 默认情况下 分析结束后Log窗口会自动弹出 各种错误和警告会按照分类的方式显示在窗口上 未能弹出时 可从OrganizerTools菜单中选择Organizerlog命令打开Log窗口 分析完成以后 需要使用FullAnalyzer对整个系统进行分析 OrganizerLog窗口 第一部分 SDTREF 是原图表的参考 主要是显示错误出现的文件目录 页码 图标和位置 第二部分 ERROR372 包含了错误代码和一个解释文本 提示用户如何排除错误信息 为更好的显示和定位错误 用户可以使用OrganzierLog窗口提供的各种工具来对错误进行定位 语法分析错误报告 SimulatorUI 6 2 4 Make对话框 操作步骤 选中Organizer中MiniSwitch系统图标从Generate菜单中选择Make命令 打开Make对话框 选中Analyze generate选中codeMakefileandGeneratemakefile选择Compile link选择Usestandardkernel SimulatorUI 6 2 4 操作步骤 根据机器上安装的C编译器进行选择UseStandardKernel单击FullMake按钮从Tools菜单中选择OrganizerLog 检查是否有错误发生 单击 Tools SDL SimulatorUI 命令 启动如右图所示界面 使用Open快捷按钮打开文件对话框 并选择刚刚生成的仿真程序 SimulatorUI界面 SimulatorUI界面中左边窗口有四个域 分别是Execute SendSignal Examine和Trace 通过使用这四个域中的这些命令 用户可以执行各种操作 SimulatorUI界面 保存仿真结果对话框 系统仿真完成后 系统的仿真结果会出现在MSC编辑器中 选择MSCEditor上的Print工具 弹出Print对话框 在Destination的Format中选择OneWordDocFile把仿真结果保存为单个的Word文档ToFile表示目标文件的文件名 如右图所示 ValidatorUI 6 2 5 生成验证程序对话框 生成验证程序的操作过程与生成仿真程序的过程相似验证程序成功生成后的文件名为SystemName VLC exe的文件 ValidatorUI界面 ValidatorUI 6 2 5 使用Validator来验证某个SDL系统时 整个SDL系统会被一种称为行为树 behaviortree 的结构来代替 在行为树中 一个节点代表整个SDL系统中的某个状态 所有状态的集合称为状态空间 statespace 用户可以在系统生成的行为树中移动 这种动作称为SDL系统状态空间遍历 状态空间遍历可以使用各种不同的算法来实现 Bit State遍历算法可用来有效的验证大型系统遍历完成后 系统弹出一个ReportViewer窗口 并在ValidatorUI文本区域中显示相关统计信息 ValidatorUI 6 2 5 ReportViewer窗口 系统验证完成后 自动弹出ReportView窗口 从ReportView窗口可以查看验证错误报告 ReportView使用树型结构的方框来显示报告 ValidatorUI 6 2 5 总的错误数 该种类型错误的数目 错误报告 双击ReportViewer中的某个错误报告 系统会自动打开一个MSC编辑器 显示目前状态的MSC跟踪 ValidatorUI 6 2 5 RandomWalk遍历 当有多个分支时 该算法可随机选取某个分支运行 Tree Walk遍历 对可达图中各种不同的状态可以执行一系列不断加深的树型搜索 特别适合自动软件测试用例生成 Tree Sea