产品概述

        Stimulus是北京达索企业产品设备的，其目的意义是能够 实际使用要剖析模型场景剖析来手机验证实际使用要剖析的正确的性。Stimulus的关键经营理念是的运用“物种多样性语言表达”对功用性实际使用要剖析做出模型场景，并能够 仿真模拟来找出实际使用要剖析中的弊病，如实际使用要剖析稳定性、详细可用性性、最好义性和详细可用性检测等。推动Stimulus会在程序开放的早前的时候发觉并改动实际使用要剖析要求起来中的错识，在程序若想交楼报验的时候检测程序开放有没充分考虑实际使用要剖析要求起来，若想过大层次地缩减产品设备的开放的利润与风险性。

 

产品介绍

 

 

        · 仿真及验证需求规范

           Stimulus使设计的概念框架师够摸拟诉求量，并在设计的概念慢慢在之前验测到模湖、歪斜确、缺损或摩擦的诉求量，为了创建活动健康安全根本型放入式设计的概念核验流程的优线性能规定。Stimulus应用“很自然文学语言”对诉求量实行模型制作、防真并核验诉求量，Stimulus中富含了丰富多样的日子与逻辑思维运算符，如：“当……时”“若”“超出”“有”等。借助对诉求量都按照运算符实行已经硬笔书写，能否核验诉求量中能不出现摩擦；借助对防真结局的仔细观察，来核验诉求量规定中能不出现摩擦与偏差，随之做到了诉求量规定的正确无误无误性。研发团队协作能否用比较少的日子已经定意诉求量、重写和已经测试编号，为了极大减少完成优线性能结局流程的研发更新。

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

        · 良好的集成扩展性

           Stimulus的支持对SIMULINK及SCADE整合，能够为SIMULINK或SCADE模式自动的绘制测试仪用例，即只能根据要求绘制体统性放入或是体统性攻击行为的自我约束规定，而能定期检查模式可不可以充分考虑要求正确。  

主要优势

        · 实现早期需求验证

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

 

应用案例

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