论文部分内容阅读
在一个以扩展的有限状态机（ＥＦＳＭ）为模型描述的协议测试系统中，测试序列的可执行性是一个重要的问题。同时，还要考虑到测试序列的优化问题。文中以ＥＦＳＭ为协议的描述模型，引入了逆向判定性的概念，并利用这一概念对转换可执行性分析（ＴＥＡ）方法进行了改进，缩短了生成的测试序列的长度，并且减小了所需的ＴＥＡ树扩展空间。