低级的验证软件需求和架构跨越几个目标- 178 c。当使用基于模型的设计,做- 331允许使用模拟合规数这些目标的一种手段。目标可以满足仿真与高级需求遵从性和兼容性,准确性和一致性,可验证性,算法精度。金宝app动态仿真模块®和Stateflow®金宝app支持桌面模拟使用run按钮,但是在做- 331过程中,重要的是有可重复的测试用例和程序以及测试结果报告。金宝app仿真软件仿真测试™提供了作者的能力和组织情况下,以及自动化的能力评估和报告的测试结果。的一些特性仿真软件测试是测试经理、测试,测试通过金宝app测试序列编辑或信号生成器。金宝app仿真软件测试还提供了链接的功能测试需求使用需求工具箱™接口。在做- 331是一个额外的要求,模型覆盖时需要评估验证符合高级软件需求。金宝app仿真软件覆盖™提供模型覆盖评估和综合使用仿真软件时自动运行测试。两个工具提供的报告是:测试结果报告通过/失败评估和一个模型覆盖率报告。做资格工具包提供了必要的工件资格的生成测试结果报告,通过/失败评估,模型覆盖报告。
