First, we draw up the information of EFSM from the UML model and then using transition executability analysis, the executable test sequences are generated.

 
  • 先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。
今日热词
目录 附录 查词历史