利用逆向判定性缩短EFSM的测试序列的长度

被引：13

作者：

周晓煜

屈玉贵

赵保华

机构：

[1] 中国科技大学计算机系!安徽合肥,中国科技大学计算机系!安徽合肥,中国科技大学计算机系!安徽合肥

来源：

通信学报 | 2000年 / 11期

关键词：

协议测试; 可执行的唯一输入输出; 逆向可判定转换; 扩展的有限状态机; 转换可执行性分析;

D O I：

暂无

中图分类号：

TN911 [通信理论];

学科分类号：

080906 [电磁信息功能材料与结构];

摘要：

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

引用

页码：48 / 55

页数：8