A New Method of Generation of Communication Protocol Test Sequence

孙宇霖,屈玉贵,赵保华
DOI: https://doi.org/10.3321/j.issn:1000-436x.2001.06.020
2001-01-01
Abstract:Protocol test is an important phase of protocol engineering.In this paper,first,a new method of generation of communication protocol test sequence is proposed.The method uses formal description technique based on constructed type algebra to describle specification of protocol and generates test sequence from the description of the specification.Secondly,the paper introduces this method with an example of describing part of the specification of stack and the test sequence is also generated.Thirdly,test sequence of stack is also generatied based on finite state machine(FSM) and the compare of the two method is put forward.Finially,conclusion is given that in some aspects,the two methods are equivalent,but the former one is better when deal with large state space.
What problem does this paper attempt to address?