EFSM模型中测试序列的产生方法
摘要
在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。
出处
《内蒙古师范大学学报（自然科学汉文版）》
CAS
2003年第S1期46-48,共3页
Journal of Inner Mongolia Normal University(Natural Science Edition)
参考文献3
-
1Ural H,Yang B.A Test Sequence Selection Method for Protocol Testing[].IEEE Transactions on Communications.1991
-
2Bosik B S,Uyar M U.Finite State Machine Based Formal Methods in Protocol Conformance Testing[].Computer Networks ISDN Systems.1991
-
3Wang C J,Liu M T.Axiomatic Test Sequence Generation for Extended Finite State Machines[].Proc of the th Int Conf on Distributed Computing Systems(ICDCS-).1992
-
1韩冰青,张亚图,明朝辉.基于扩展有限状态机的一致性测试例生成研究[J].福建电脑,2004,20(7):38-39. 被引量：1
-
2周晓煜,屈玉贵,赵保华.利用逆向判定性缩短EFSM的测试序列的长度[J].通信学报,2000,21(11):48-55. 被引量：6
-
3郭朝彬,郭永红,郭红涛.基于扩展有限状态机的类测试用例生成方法[J].华北水利水电学院学报,2006,27(3):52-54. 被引量：1
-
4周晓煜,赵保华,屈玉贵.基于EFSM的自检测试[J].小型微型计算机系统,2002,23(4):438-440. 被引量：2
-
5史再峰,姚素英,丁三川,高静.基于扩展有限状态机和断言的总线接口协议测试平台[J].天津大学学报,2008,41(8):951-956. 被引量：1
-
6吴慧萍,屈玉贵,赵保华.利用半可控接口进行通信协议一致性测试[J].通信学报,2003,24(8):72-77. 被引量：1
-
7房鼎益,安娜.一个基于属性文法的通信协议形式描述语言及协议开发环境[J].计算机应用与软件,2000,17(8):9-15.
-
8陈锐忠,魏理豪,梁哲恒.基于UML建模的软件测试系统设计[J].电子设计工程,2016,24(21):57-59. 被引量：2
-
9赵保华,陈波,屈玉贵.一种改进的转换可执行分析测试序列生成算法[J].中国科学技术大学学报,2007,37(9):1096-1100. 被引量：8
-
10协议[J].电子科技文摘,2000(12):120-120.
