九州ku酷游

九州ku酷游

登录 | 注册

昵称 | 退出

CN / EN

所有

所有
产品治理
新闻资讯

EN

研发服务

DEVELOPMENT SERVICE

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

概述

Stimulus是法国达索公司产品，，，，，其目的是通过需求建模剖析来验证需求的准确性。。。Stimulus的焦点理念是运用“自然语言”对功效性需求举行建模，，，，，并通过仿真来查找需求中的缺陷，，，，，例如需求一致性、不二义性和完整性检查等。。。借助Stimulus可以在系统开发的早期阶段发明并修改需求规范中的过失，，，，，在系统最终交付验收阶段检查系统设计是否知足需求规范，，，，，从而较洪流平地降低产品开发的本钱与风险。。。

099826c9-7f94-4d88-a330-a622ff7079ff

产品介绍

4882a07e-03a6-4852-8d7f-058ad3ca5bef

仿真及验证需求规范

Stimulus使系统架构师能够模拟需求，，，，，并在设计最先之前检测到模糊、不准确、缺失或冲突的需求，，，，，从而建设清静要害型嵌入式系统验证所需的高质量规范。。。Stimulus使用“自然语言”对需求举行建模、仿真并验证需求，，，，，Stimulus中包括了富厚的时间与逻辑运算符，，，，，例如：“当……时”“若是”“大于”“只有”等。。。通过对需求凭证运算符举行重新誊写，，，，，可以验证需求中是否保存冲突；；；；；通过对仿真效果的视察，，，，，来验证需求规范中是否保存冲突与缺陷，，，，，进而包管了需求规范的准确性。。�？？？？？⑼哦涌梢杂酶俚氖奔渲匦陆缢敌枨蟆⒅匦春椭匦碌魇源�，，，，，从而镌汰实现高质量效果所需的开发迭代。。。

天生测试用例及系统验证

在验证阶段，，，，，Stimulus还使测试工程师能够自动天生测试向量和测试目的，，，，，并检查嵌入式代码是否切合其规范。。。Stimulus可以凭证需求形貌自动天生切合需求的测试用例（需求可以是高条理需求或者低条理需求），，，，，也可以在Stimulus中使用“自然语言”形貌测试场景，，，，，并天生切合测试场景的测试用例。。。Stimulus不但可以凭证需求天生测试用例，，，，，还可以监测系统输出是否切合需求规格说明中的要求。。。测试团队不再需要编写或维护从需求中手动派生的测试案例。。。相反，，，，，他们可以重复使用系统架构师已完成的事情来构建高度无邪的测试活动，，，，，从而接纳有用的迅速要领。。。

优异的集成扩展性

Stimulus支持对SIMULINK及SCADE集成，，，，，可以为SIMULINK或SCADE模子自动天生测试用例，，，，，即凭证需求天生系统输入以及系统行为的约束限制，，，，，进而磨练模子是否知足需求规范。。。

主要优势

实现早期需求验证
在工程师之间分享清晰且可视察的需求
有用扩大测试活动的功效笼罩规模
镌汰开发流程中本钱高昂的迭代

应用案例

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

要害词：

stimulus

需求建模

形式化建模

上一页

Intrepid英特佩斯 - 总线收罗测试仿真工具

下一页

Rhapsody - 重大域控软件架构开发套件

关于恒润
投资者关系
- 基本信息
- 互动问答
加入九州ku酷游
- 校园招聘
- 实习生招聘
- 社会招聘

联系九州ku酷游

市场部

电话：010-64840808

邮箱：market_dept@hirain.com

采购部

邮箱：purchase@hirain.com

证券部

电话：010-82263021

邮箱：ir@hirain.com

关注我们

关注我们

? 2025 九州ku酷游 All Rights Reserved.| 营业执照

京公网安备11010502056670号

| 执法声明 | 隐私�；；；；；�

图片名称

在线留言

【网站地图】