产品概述

       Stimulus是美国达索公司新F88体育 ，其为的是能够 意愿三维建模方法了解来手机验证意愿的最佳性。Stimulus的核心内容管理理念是相结合“自然环境编程语言”对用途性意愿确定三维建模方法，并能够 仿真模拟来找出意愿中的缺欠，举列意愿相同性、合适义性和完正性全面观察等。依托于Stimulus可在系统软件性开放的早期时段找到并变更意愿标准中的错误信息，在系统软件性最后竣工检验时段全面观察系统软件性构思什么情况下做到意愿标准，因此过大程度较地较低新F88体育 开放的成本预算与危险。

产品介绍

• 仿真模拟及安全验证的需求标准化

ꦍ       Stimulus使软件平台网络架构师可能虚拟建模模型诉求，并在设计始于先前测量到模糊的、不当确、不足或产生矛盾的诉求，然后构建安会关键所在型放入式软件平台印证想要的高效率管理量管理规定。Stimulus使用的“自动语言表达方式”对诉求做好绘图、建模模型并印证诉求，Stimulus中一般包括了很多的时与方法运算符，如：“当……时”“只要”“大过”“就有”等。利用对诉求使用运算符做好直接英文书写，不错印证诉求中可否具有产生矛盾；利用对建模模型后果的通过观察，来印证诉求管理规定中可否具有产生矛盾与瑕疵，必将有保障了诉求管理规定的正确合理性性。搭建专业团体不错用较少的时直接定议诉求、重写和直接校正编码，然后减小保证 高效率管理量后果想要的搭建换代。

• 合成测试仪用例及系统查验

𒈔       在手机验证时候，Stimulus还使公测软件建设项目工程师并能定时转成公测软件向量和公测软件规定要求，并检验放到式源代码有无不遵循标准其标准规范。Stimulus能够 可会按照诉求介绍定时转成不遵循标准诉求的公测软件用例（诉求能够 是高多层级诉求以及低层级诉求），也能够 在Stimulus中施用“自然生态语言英语”介绍公测软件情况，并转成不遵循标准公测软件情况的公测软件用例。Stimulus不光能够 可会按照诉求转成公测软件用例，还能够 探测操作设备传输有无不遵循标准诉求型号情况说明中的规定要求。公测软件项目团队从不所需编撰或养护从诉求中自功派生的公测软件装修案例。相左，自己能够 抄袭合理利用操作设备结构师已成功的作业来打造高速具备灵活性高的公测软件的活动，然而用于效果的攻速措施。

• 保持良好的模块化突出性

𓃲       Stimulus适配对SIMULINK及SCADE结合，可为SIMULINK或SCADE建模方法重新形成检查用例，即要根据需要量形成程序显示、程序的行为的依赖关系制约，于是查验建模方法能否够满足需要量规定。

主要优势

• 保证早期时候使用需求验证通过
• 在水利机电工程师两者之间分享到清晰度且不错察的要
• 合理有效前所未有各种测试生活的作用包裹范围之内
• 减小发展的流程中成本投入高涨的多目标优化

应用案例

𒊎       某海外货车机批发商商（认可ABS/ESP软件消费需求标准）。