快3彩票

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

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

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

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

              <i id='bcgr8D'><div id='bcgr8D'><ins id='bcgr8D'></ins></div></i>
              <i id='bcgr8D'></i>
            1. <dl id='bcgr8D'></dl>
              1. <blockquote id='bcgr8D'><q id='bcgr8D'><noscript id='bcgr8D'></noscript><dt id='bcgr8D'></dt></q></blockquote><noframes id='bcgr8D'><i id='bcgr8D'></i>
                教育装备ξ 采购网
                长春智慧学校体育论坛1180*60
                教育装备展示厅
                www.freecchost.com
                教【育装备采购网首页 > 产品库 > 产品分类大全 > 实验室设备 > 教学实验示教仪器及装置

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

                Stimulus—需求形式化建模和分析工具
                <
                • Stimulus—需求形式化建模和分析工具
                >
                产品报价: 99999
                留言咨询
                加载中
                经纬恒润
                Stimulus
                高教 职教
                北京
                详细说明

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

                产品介绍

                • 仿真及〒验证需求规范

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

                • 生成测试用例及系统验证

                  Stimulus可以根据需求描述自动生成符合需求的测试用例(需求可以是高层次需求或者低层次需求),也可以在Stimulus中使用“自然语言”描述测试∏场景,并生成符合测试场景的测试用例。Stimulus不但可以根据需求生成测试用例,还可以监测系统输出是否符合々需求规格说明中的要求。在测试环境中导入生成的测试用例并通过监视系统输出,客户可以验证系统设计是否满足需求,还可以节省手工书写测试用例时冗长而无味的时间。

                • 良好的集成扩展性

                  Stimulus支持对SIMULINK及SCADE集成,可以为SIMULINK或SCADE模型自动生成测试々用例,即根据需求生成系统输入以及系统行为的约束限制,进而检验模型是否满足需求规范中的要求。


                应用&案例

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

                • 法国某轨道系统运营商(验证地铁车站自动门开关控制系统)

                留言咨询
                姓名
                电话
                单位
                信箱
                留言内容
                提交留言
                联系我时,请说明是在教育装备↘采购网上看到的,谢谢!
                同★类产品推荐