STIMULUS

产品简介

产品特点

  •  
    1.准确的需求规范

    语句模板(库)提供了规范的语言

  •  
    2.减少问题需求的提示

    从每一个需求检查系统的状态,发现缺少的需求。

  •  
    3.早期需求验证

    在工程设计阶段前,提供功能强大的仿真和验证技术

  •  
    4.自动生成测试用例

    从随机模型中生成多种测试样本,通过协同仿真进行软件再环的验证

产品功能

主要功能

借助句式模板,使用自然语言模板表达需求
生成并观察可能的执行结果,满足您的系统需求
定义通用的测试场景,并对实际输入进行调试
为软件在环验证,生成大量测试向量数据

编辑功能

只需要拖拽语句模板到编辑环境中
可扩展的模板库,满足行业特殊需求
通过分层状态机来表示运行模式
通过模块图来描述系统架构

调试功能

生成许多满足需求的执行跟踪
观察所有的系统信号,发现错误的需求
自动检测有冲突的需求
使用 OBSERVERS 追踪需求违规

测试功能

通过随机状态机生成通用测试场景
通过语句模板来定义环境假设
通过模块图来连接系统和环境

图例展示