如果嵌入式软件的模型是由 Simulink/Stateflow 开发的，如果要对这样的模型自动产生测试用例， Safety Test Builder 是简单而全面的解决方案。

借助于 Safety Test Builder ，用户可以 一致性地检查软件的实现 ，不管代码是人工编写的还是自动产生的。

主要好处

•  通过自动发现相关的测试环境和创建测试应用，可以显著地减少测试时间

•  通过保证很高的测试覆盖率，可以增加设计的可靠性

•  工具简单易用，培训期短，花费少

•  无缝连接到 Simulink/Stateflow

•  与 Simulink Performance Tools 接口（通过 Coverage Tool ）

•  支持任何实现语言和测试环境（通过外部脚本）

应用领域

对于软件和测试工程师， Safety Test Builder 专注于函数和子系统级的软件测试。典型应用为：

汽车

•  Power train control systems

•  X-By-Wire Systems ： Brake-BW, Steer-BW, Throttle-BW, Shift-BW, ……

•  Rader-based Systems ： ACC, Pre-crash, Land keeping, ……

•  Comfort ： entry systems (key-less…), Body-Controller

•  Energy Management ： 42V systems, hybrid systems, starters, fuel cells,

航空 / 国防 / 空间

•  关键系统：飞行控制、发动机控制、姿态和轨道控制系统……

•  飞行预警计算机

•  ……

主要特点

•  产生覆盖一系列 Stateflow 测试对象的测试序列（传输、状态、连接、动作、……覆盖）

•  产生覆盖一系列 Simulink 测试对象的测试序列(布尔流、浏览表、分支子系统、……覆盖)

•  不需要用户修改 Simulink/Stateflow 模型

•  通过模型的浏览自动创建测试对象列表

•  多种覆盖度量（ MC/DC ，……）

•  自动创建测试应用——该应用可以裁剪用于其他执行目的

•  在模型上运行 Simulink Coverage Tool (Simulink Performance Tools)

•  重放测试场景的集成调试器（单 / 多步、逆向运行、可见图形标记）

•  可选最小的测试数据库

•  非回归测试

•  实现的一致测试

•  动态属性确认（基于断言的确认）

•  支持需求追踪

•  可以通过 Matlab 脚本语言进行配置

支持的环境

•  支持的平台： Windows NT/2000/XP

•  Matlab 6.5 (R13) ， Simulink 5.0 ， Stateflow 5.0 ，或各以上版本