联系人：相先生
手机：18156503699
电话：0571-86566681
传真：86566-86566989
QQ：1270161382
Email：marketing@zjsolidworks.com
地址：浙江省杭州市杭州市杭州上城区外海西湖国贸大厦1302室
品牌：达索
价格：9999.00
元/1
供应地：浙江省杭州市
产品型号：STIMULUS
STIMULUS 基于端到端需求的验证解决方案
在规范制定阶段，STIMULUS 使系统架构师能够模拟需求，并在设计开始之前检测到模糊、不正确、缺失或冲突的需求，从而创建安全关键型嵌入式系统验证所需的高质量规范。
开发团队可以用更少的时间重新定义需求、重写和重新调试代码，从而减少实现高质量结果所需的开发迭代。
在验证阶段，STIMULUS 还使测试工程师能够自动生成测试向量和测试目标，并检查您的嵌入式代码是否符合其规范。
测试团队不再需要编写或维护从需求中手动派生的测试案例。相反，他们可以重复利用系统架构师已完成的工作来构建高度灵活的测试活动，从而采用有效的敏捷方法。
主要优势
实现早期需求验证
在工程师之间分享清晰且可观察的需求
更大限度地扩大测试活动的功能覆盖范围
减少开发流程中成本高昂的迭代
主要特征
l 以可读的正式语言表达文本需求
l 对状态机和系统体系结构建模
l 观察系统的可能执行情况
l 自动生成多个测试用例
