产品概述

        Stimulus是荷兰达索机构车辆，其意义是用要求三维建模制作了解来安全验证要求的合理性。Stimulus的本质核心理念是用“自然的语言英语”对职能性要求做好三维建模制作，并用模仿来快速查询要求中的不足，举个例子要求不同性、合适义性和齐全性检测等。利用Stimulus能在操作制作的规划制作的早期的的步骤看见并编辑要求制约中的严重错误，在操作制作的后面完工报验的步骤检测操作制作的制作是否需要满意要求制约，为了极大水平地降低车辆规划制作的成本低与危害性。

 

产品介绍

 

 

        · 仿真及验证需求规范

           Stimulus使系統框架师是行模拟网需要量，并在设计起之后在线检测到看不清、不稳确、受损或发生互相矛盾激化的需要量，于是打造安全性高根本型内嵌式系統印证营养的优质化量实验室管理标准。Stimulus采用“当然程序语言”对需要量做到设计、模拟模型制作并印证需要量，Stimulus中涵盖了很多的周期与方法运算符，举例子：“当……时”“但如果”“不超”“有”等。去对需要量行依照运算符做到直接写作，行印证需要量中是普遍存有发生互相矛盾激化；去对模拟模型制作效果的了解，来印证需要量实验室管理标准中是普遍存有发生互相矛盾激化与常见问题，继而确认了需要量实验室管理标准的最佳性。激发微商团队行用愈少的周期直接构成需要量、重写和直接操作编码，于是降低做到优质化量效果营养的激发最速下降法。

        · 生成测试用例及系统验证
           在验证阶段，Stimulus还使测试工程师能够自动生成测试向量和测试目标，并检查嵌入式代码是否符合其规范。Stimulus可以根据需求描述自动生成符合需求的测试用例（需求可以是高层次需求或者低层次需求），也可以在Stimulus中使用“自然语言”描述测试场景，并生成符合测试场景的测试用例。Stimulus不但可以根据需求生成测试用例，还可以监✤测系统输出是否符合需求规格说明中的要求。测试团队不再需要编写或维护从需求中手动派生的测试案例。相反，他们可以重复利用系统架构师已完成的工作来构建高度灵活的测试活动，从而采用有效的敏捷方法。

        · 良好的集成扩展性

           Stimulus帮助对SIMULINK及SCADE集成化，会为SIMULINK或SCADE沙盘模形电脑自动出现测试测试用例，即结合所需出现整体进入及整体表现的约束性局限性，而能开展沙盘模形能否实现所需规范起来。  

主要优势

        · 实现早期需求验证

        · 在工程师之间分享清晰且可观察的需求
        · 有效扩大测试活动的功能覆盖范围
        · 减少开发流程中成本高昂的迭代

 

应用案例

        某跨国汽车设备供应商（验证ABS/ESP系统需求规范）。