文摘

基于模型的测试,通过扩展UML状态图上下文无关语法

作者(年代):力平,他道,小林曹

本文提出了一种方法来检查一致性和生成测试用例fromUML状态通过扩展上下文无关文法(ECFG)和规范模型检查。UML状态,测试覆盖准则和ECFG输入系统,执行自动一致性仿真和财产为UML规范验证。ECFG被认为是外部事件和测试覆盖率标准表示为属性CTL陷阱。Simulation-Tree介绍模拟systemwith触发器的执行事件。仿真的结果是精制FSM符合规范。最后,测试用例生成满意指定的测试覆盖率的基础上提炼FSM UML状态。