STIMULUS
端到端的 MBSE 和自动化测试解决方案
什么是端到端的 MBSE？
经典 MBSE 通常侧重于使用 SysML，其中针对需求规格是以纯文本形式进行捕获。因此，这种做法并非是有效的验证或仿真范畴。由于是以纯文本方式捕获和描述需求，无法生成任何内容，因此必须根据每一项功能需求手动创建针对性的测试用例。
而 STIMULUS 扩展了建模功能，将功能需求也包括在内，从而带来了一种全新的范式。系统行为可被完全捕获，这也意味着出现了新的自动化测试可能性：可以捕获测试场景，STIMULUS 约束求解器将利用这些场景生成任意数量的输入组合。这些测试向量用于验证需求规格，但也用于后期验证代码。STIMULUS 将观察代码响应，并与需求中定义的行为进行比较，从而使功能测试实现完全自动化。在集成时，STIMULUS 将对 HIL 测试环境生成的日志文件进行分析，并将集成系统行为与需求进行比较，使测试人员能够自动检测到任何违反需求的行为。
功能测试自动化
由 STIMULUS 自动生成的测试向量将验证代码，STIMULUS 将观察输出，并根据需求将其与输入和输出之间的预期关系进行比较。STIMULUS 可以自动生成并执行大量测试，同时跟踪需求覆盖范围。
仿真并确认功能需求
STIMULUS使系统架构师能够将SysML模型的使用范围扩展到包括功能需求，这些需求可以首次被模拟和验证。许多诸如需求缺失、需求冲突和错误的需求都可以在早期被发现并纠正。开发团队在收到清晰完整且经过确认的需求后，工作效率会大幅提高。
确认团队无需根据功能需求手动派生每个功能测试用例。借助 STIMULUS，根据需求测试代码或系统的操作可完全实现自动化，从而带来巨大的投资回报：只需极少的投入就能生成和执行更多测试。
.
硬件在环测试
STIMULUS 通过自动分析测试环境生成的日志文件来为集成系统的测试提供支持。该文件包含测试期间发生的 I/O，STIMULUS 会将其与需求进行比较，并自动检测任何违反需求的行为。
STIMULUS 与 CATIA Magic
STIMULUS 将模型的使用范围扩展到 SysML 中难以捕获的详细行为。由于 SysML 架构（和相关信号）可以导入STIMULUS，并在其中捕获、仿真和确认详细行为，因此可以确保 CATIA Magic 和 STIMULUS 之间的数字连续性。
欢迎加入 CATIA MBSE 网络系统用户社区中的精彩对话！
了解更多
了解 CATIA 可以为您做些什么
与 CATIA 专家进行交谈，了解我们的解决方案如何在各种规模的企业中实现无缝协作和可持续创新。
了解更多内容
学生、学术界人士、专业人员和企业人员均可参加相关课程并加入班级。查找适合您的 CATIA 培训。
获取帮助
查找有关软硬件认证、软件下载、用户文档、支持联系人和服务产品的信息