登陆
注册
工具列表
Tool list
STIMULUS（Dassault）
2020-12-16
496
AN END-TO-END REQUIREMENT-BASED VALIDATION SOLUTION
Express textual requirements in a readable formal language，Model state machines and system architectures，Observe possible executions of the specified system，Generate numerous test cases automatically
Achieve early requirements validation，Share clear and observable requirements among engineers，Maximise functional coverage of test campaigns，Reduce costly iterations of the development process
