什么是端到端的 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 网络系统用户社区中的精彩对话!

Updating Requirements with excel via reqtify

Hello,I tried to update the requirements on enovia with excel document like verification matrix that has columns ID, Requirement Text and attributes. But the requirements on the enovia is not imported with reqtify so there is not intermediate file. When tried to update requirement set on the enovia with reqtify, it deletes all existed requirements and create new ones. I am using labels as ID (as

CATIA MBSE CYBER SYSTEMS

[Webinar] Digital Engineering Strategy with a Model-Based Approach, September 30

Dear all, we invite you to the upcoming webinar "Digital Engineering Strategy with a Model-Based Approach"Digital Engineering aims to integrate models, simulations, surrogate models, systems and components across engineering disciplines and throughout the full lifecycle.The webinar will explore an integrated digital approach using authoritative system data and models as a connected continuum, supp

CATIA MBSE CYBER SYSTEMS

Importing a spreadsheet and having the fields correspond to block names and value properties.

Hello, I have a basic question.I've been tasked with building out a series of BDDs for a computer network. I have an excel file that specifies the properties of each device on the network, e.g. host name, ip address, operating system, and make/model.For the blocks in the diagram, I would like to create a value property that corresponds to each of the properties specified in the spreadsheet, and po

CATIA MBSE CYBER SYSTEMS

S2X Conference - 3. November 2026 in Hamburg, wir sind dabei!

Wir sind in diesem Jahr auf der S2X vertreten und bringen ein echtes Highlight für alle Systemingenieure mit.Die SysML V2 steht in den Startlöchern und wird die Systemmodellierung nachhaltig verändern. Aber wie sieht die methodische Umsetzung in der Praxis aus?Genau diese Frage beantwortet Aurelijus Morkevicius in seinem Vortrag:„Best Practices in Developing Methodologies for SysML V2“! Er teilt w

CATIA MBSE CYBER SYSTEMS

了解更多

了解 CATIA 为您带来哪些价值

与 CATIA 专家交流,了解我们的解决方案如何在各种规模的企业中实现无缝协作和可持续创新。

开始使用

面向学生、学术机构、专业人士和企业的课程与培训现已开放。找到适合您的 CATIA 培训。 

获取帮助

查找有关软硬件认证、软件下载、用户文档、支持联系人和服务项目的信息