测试模型反需求报告结果
需求测试可追踪性概述
可追踪性测试案例帮助解析测试结果并观察验证需求的程度可连接需求元素 帮助验证它,例如测试管理器测试案例验证a语句测试序列块或模型验证块运行测试时,需求集显示出入/故障汇总
例子显示游轮控制模型的共同需求测试工作流从需求集、模型和测试案例开始添加测试与安全要求之间的可追踪性运行测试汇总验证状态并报告结果
举此例子,对集中的两项要求进行简单测试:
游轮控制系统转换为离接战 当发生制动事件
游轮控制系统转换为从接战状态当当前车辆速度超出20mph至90mph范围时
显示需求
打开示例项目
开标实例"shared_vnv/CruiseControlVerificationProjectExample")!Pr=openProject(万博1manbetx"SimulinkVerificationCruise");
内
模型化文件夹打开万博1manbetxsimulinkCruiseAddReqExample模型化显示需求点击
图标右下角模型画布并选择需求.需求显示模型画布下方显示验证与实现状态右键请求并选择验证状态并实现状况.
项目窗口 打开万博1manbetx®测试TM文件库
slReqTests.mldatx从测试文件夹中测试文件打开测试管理器
链接需求测试
连接需求测试案例
项目窗口 打开万博1manbetx模拟链路测试文件库
slReqTests.mldatx从测试文件夹中测试文件打开测试管理器探索测试套件并选择安全测试.返回模型右击必备
S3.1并选择链接选择测试案例.链接到
安全测试测试案例添加经验证.黄条验证列表示需求未经验证
并添加项链接
S3.4.
运行测试
测试案例使用测试带SafetyTest_Harness1.测试带分设置输入条件并检验模型行为
上头
刹车测试序列接通游轮控制并应用刹车内含验证语句验证程序.验证:布拉克,.系统应用刹车时必须脱机)
上头
限制测试序列接通游轮控制,然后斜坡提升车辆速度直至超过上限内含验证语句验证程序.验证:限制,.系统超出限值时必须脱用)
返回测试管理器运行测试案例时点击运行.
测试完成后审查结果测试管理员显示评估传递和绘图都提供每项详细结果
验证语句
返回模型刷新需求绿吧验证列表示需求已成功验证
报表结果
使用定制创建报表微软®词类模板化
从测试管理员结果中右键测试案例名选择创建报表.
创建测试结果报表对话框设置选项
标题-
安全测试结果-
所有测试文件格式-
DOCX对其它选项保留默认选择
输入文件名并选择报表位置
面向模板文件中选择
ReportTemplate.dotx内文件文档显示项目文件夹点击创建.
审核报告
上头测试案例需求段指定相关需求
上头验证结果段详解测试中的2项评估,并链接模拟输出
相关题目
- 链接需求万博1manbetx模拟链路测试
- 验证需求模型链接(需求工具箱)
- 自定义可追踪报告模型(需求工具箱)
