STIMULUS 基于端到端需求的验证解决方案

在规范制定阶段，STIMULUS 使系统架构师能够模拟需求，并在设计开始之前检测到模糊、不正确、缺失或冲突的需求，从而创建安全关键型嵌入式系统验证所需的高质量规范。
开发团队可以用更少的时间重新定义需求、重写和重新调试代码，从而减少实现高质量结果所需的开发迭代。
在验证阶段，STIMULUS 还使测试工程师能够自动生成测试向量和测试目标，并检查您的嵌入式代码是否符合其规范。
测试团队不再需要编写或维护从需求中手动派生的测试案例。相反，他们可以重复利用系统架构师已完成的工作来构建高度灵活的测试活动，从而采用有效的敏捷方法。

主要优势

实现早期需求验证
在工程师之间分享清晰且可观察的需求
更大限度地扩大测试活动的功能覆盖范围
减少开发流程中成本高昂的迭代

主要特征

l 以可读的正式语言表达文本需求
l 对状态机和系统体系结构建模
l 观察指定系统的可能执行情况
l 自动生成多个测试用例