F88体育

F88体育

var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?90c4d9819bca8c9bf01e7898dd269864"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })(); !function(p){"use strict";!function(t){var s=window,e=document,i=p,c="".concat("https:"===e.location.protocol?"https://":"http://","sdk.51.la/js-sdk-pro.min.js"),n=e.createElement("script"),r=e.getElementsByTagName("script")[0];n.type="text/javascript",n.setAttribute("charset","UTF-8"),n.async=!0,n.src=c,n.id="LA_COLLECT",i.d=n;var o=function(){s.LA.ids.push(i)};s.LA?s.LA.ids&&o():(s.LA=p,s.LA.ids=[],o()),r.parentNode.insertBefore(n,r)}()}({id:"K9y7fDzSfyJvbjbD",ck:"K9y7fDzSfyJvbjbD"}); ob体育·(中国)官方网站 ob体育·(世界杯)平台 ob体育·(中国)官方平台 ob体育(中国)官方网站-下载APP 宝博·体育(中国)官方网站

CN /

搜索
检索
研发F88体育
研发管理F88体育
DEVELOPMENT SERVICE
全部分类
浏览量:
1000

Stimulus—需求形式化建模和验证工具

零售价
0.0
市场价
0.0
浏览量:
1000
产品编号
2111
所属分类
F88体育
数量
-
+
库存:
0
产品描述

产品概述

        Stimulus是德国达索我司品牌,其意图是实现业务的使用意愿绘制定量分析来确认业务的使用意愿的合理的性。Stimulus的基本点核心理念是的运用“自然环境文学语言”对职能性业务的使用意愿来进行绘制,并实现仿真模拟来查阅业务的使用意愿中的障碍,比如说业务的使用意愿高度性、无二义性和完成性体检等。凭借Stimulus行在软件发展的早时段感觉并改动业务的使用意愿标准中的错误操作,在软件既定支付验收单时段体检软件规划可否充分满足业务的使用意愿标准,以此较少状态地下降品牌发展的成本费与概率。

 

产品介绍

 

 

        · 仿真及验证需求规范

           Stimulus使体统搭建师才能够 模仿供给,并在制定现在开始很久验测到很糊、不对确、不全或不矛盾的供给,因而有个人身安全关键的型融入式体统效验所须的优质化量标准标准化。Stimulus使用的“肯定语言英语”对供给做模型、模型模拟并效验供给,Stimulus中包函了非常丰富的时光与道理运算符,诸如:“当……时”“但如果”“多于”“就有”等。根据对供给是以运算符做完后填写,能够 效验供给中有没出现不矛盾;根据对模型模拟导致的观察动物,来效验供给标准标准化中有没出现不矛盾与障碍,因而绝对了供给标准标准化的最佳性。研发精英团队能够 用提高的时光完后基本概念供给、重写和完后调校代碼,因而提高控制优质化量导致所须的研发更替。

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

        · 良好的集成扩展性

           Stimulus扶持对SIMULINK及SCADE集合,就能够为SIMULINK或SCADE型号自動出现考试用例,即结合要求出现模式输人和模式攻击行为的干涉限止,而能检测型号能不能标准要求制约。  

主要优势

        · 实现早期需求验证

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

 

应用案例

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

        

关键词:
系统
stimulus
验证
扫二维码用手机看
未找到相应参数组,请于后台属性模板中添加
投资者关系
加入F88体育
相关链接

卖场部

联系方式

邮箱地址:F88体育:market_dept@zyzgzz.cn

 

采购部
邮箱:
F88体育:purchase@zyzgzz.cn

   

股票部

办公电话

qq邮件:F88体育:ir@zyzgzz.cn

 

公共
邮箱:
F88体育:reception-message@zyzgzz.cn

关注公众号F88体育

这是描述信息
弹窗留言
var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?90c4d9819bca8c9bf01e7898dd269864"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })(); !function(p){"use strict";!function(t){var s=window,e=document,i=p,c="".concat("https:"===e.location.protocol?"https://":"http://","sdk.51.la/js-sdk-pro.min.js"),n=e.createElement("script"),r=e.getElementsByTagName("script")[0];n.type="text/javascript",n.setAttribute("charset","UTF-8"),n.async=!0,n.src=c,n.id="LA_COLLECT",i.d=n;var o=function(){s.LA.ids.push(i)};s.LA?s.LA.ids&&o():(s.LA=p,s.LA.ids=[],o()),r.parentNode.insertBefore(n,r)}()}({id:"K9y7fDzSfyJvbjbD",ck:"K9y7fDzSfyJvbjbD"}); ob体育·(中国)官方网站 ob体育·(世界杯)平台 ob体育·(中国)官方平台 ob体育(中国)官方网站-下载APP 宝博·体育(中国)官方网站