论文信息 - AUTOMATIC TEST CASE DERIVATION FOR COMMUNICATION PROTOCOLS IN AN EXTENDED FSM MODEL - 字舞流文

AUTOMATIC TEST CASE DERIVATION FOR COMMUNICATION PROTOCOLS IN AN EXTENDED FSM MODEL

Teruo Higashino | Masahiro Higuchi | Kenichi Taniguchi | Xiangdong Li

[1] Samuel T. Chanson,et al. Automatic protocol test suite derivation , 1994, Proceedings of INFOCOM '94 Conference on Computer Communications.

[2] Bo Yang,et al. A test sequence selection method for protocol testing , 1991, IEEE Trans. Commun..

[3] Ming T. Liu,et al. A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach , 1992, PSTV.

[4] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[5] Gregor von Bochmann,et al. A Test Design Methodology for Protocol Testing , 1987, IEEE Transactions on Software Engineering.

[6] Ming T. Liu,et al. Axiomatic test sequence generation for extended finite state machines , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[7] Teruo Higashino,et al. Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters , 1994, IEEE Trans. Software Eng..

[8] M. Ümit Uyar,et al. Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation , 1991, Comput. Networks ISDN Syst..

[9] Teruo Higashino,et al. Automatic generation of extended UIO sequences for communication protocols in an EFSM model , 1995 .