论文研究-一种基于失败语义和迹语义的LTS模型到FSM模型的转换方法 .pdf

一种基于失败语义和迹语义的LTS模型到FSM模型的转换方法，卢慧，，本文提出一种从给定LOTOS规范推导有限测试套的新方法：即在迹语义和失败语义的基础上，将LTS转换成带I/O的有限状态机FSM；然后利用现�