2018棋牌游戏

登录 | 注册 | English

研发工具

首页  >  研发工具  >  V流程需求及功能开发阶段  >  Stimulus-需求形式化建模和分析工具

Stimulus-需求形式化建模和分析工具

概述

        Stimulus 是法国Argosim 公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus 的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完整性检查等。借助Stimulus 可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统最终交付验收阶段检查系统设计是否满足需求规范,从而降低产品开发的成本与风险。

 

 

产品介绍

1.仿真及验证需求规范

        Stimulus使用“自然语言”对需求进行建模、仿真并验证需求。Stimulus中包含了丰富的时间与逻辑运算符,例如:“当…时”,“如果”,“大于”,“只有”等。通过对需求按照运算符进行重新书写,可以验证需求中是否存在冲突;通过对仿真结果的观察,来验证需求规范中是否存在冲突与缺陷,进而保证了需求规范的正确性。

 

 

2.生成测试用例及系统验证

        Stimulus KEYIGENJUXUQIUMIAOSHUZIDONGSHENGCHENGFUHEXUQIUDECESHIYONGLI(XUQIUKEYISHIGAOCENGCIXUQIUHUOZHEDICENGCIXUQIU)。YEKEYIZAIStimulus ZHONGSHIYONG“ZIRANYUYAN”MIAOSHUCESHICHANGJING,BINGSHENGCHENGFUHECESHICHANGJINGDECESHIYONGLI。Stimulus BUDANKEYIGENJUXUQIUSHENGCHENGCESHIYONGLI,HAIKEYIJIANCEXITONGSHUCHUSHIFOUFUHEXUQIUGUIGESHUOMINGZHONGDEYAOQIU。ZAICESHIHUANJINGZHONGDAORUSHENGCHENGDECESHIYONGLIBINGTONGGUOJIANSHIXITONGSHUCHU,KEHUKEYIYANZHENGXITONGSHEJISHIFOUMANZUXUQIU,HAIKEYIJIESHENGSHOUGONGSHUXIECESHIYONGLISHIRONGZHANGERWUWEIDESHIJIAN。

 

3.良好的集成扩展性

        Stimulus 支持对SIMULINK 及SCADE 集成, 可以为SIMULINK 或SCADE 模型自动生成测试用例,即根据需求生成系统输入以及系统行为的约束限制,进而检验模型是否满足需求规范中的要求。
关于恒润
企业简介
企业理念
企业资质
2018棋牌游戏
恒润在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进恒润
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
恒润月刊
用户留言
个人中心
相关链接
联系我们
电话:010-64840808
邮箱:market_dept@tenlos.com
版权所有 © 北京经纬恒润科技有限公司 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护

  • <tr id='fjic3'><strong id='fjic3'></strong><small id='fjic3'></small><button id='fjic3'></button><li id='fjic3'><noscript id='fjic3'><big id='fjic3'></big><dt id='fjic3'></dt></noscript></li></tr><ol id='fjic3'><option id='fjic3'><table id='fjic3'><blockquote id='fjic3'><tbody id='fjic3'></tbody></blockquote></table></option></ol><u id='fjic3'></u><kbd id='fjic3'><kbd id='fjic3'></kbd></kbd>

    <code id='fjic3'><strong id='fjic3'></strong></code>

    <fieldset id='fjic3'></fieldset>
          <span id='fjic3'></span>

              <ins id='fjic3'></ins>
                <acronym id='fjic3'><em id='fjic3'></em><td id='fjic3'><div id='fjic3'></div></td></acronym><address id='fjic3'><big id='fjic3'><big id='fjic3'></big><legend id='fjic3'></legend></big></address>

                <i id='fjic3'><div id='fjic3'><ins id='fjic3'></ins></div></i>
                <i id='fjic3'></i>
              • <dl id='fjic3'></dl>
                1. 96棋牌中心---首页_欢迎您 人气火热棋牌 - 需求形式化建模和分析工具—新闻中心—恒润科技 5a顶尖棋牌---首页_Welcome 棋牌下载---首页_欢迎您 天王斗棋牌 - 需求形式化建模和分析工具—新闻中心—恒润科技