Protocol Test Sequence Generation Based On Formal Specification

Protocol Test Sequence Generation is an important technology in protocol conformance testing. It pays a key role in improving the efficiency of testing and covering more faults of implementation under test. In this paper, I first survey the generation methods which have been proposed so far. And then present a comprehensive description of my methodology of test sequence selection. At last the proposed methodology is illustrated by using protocol TPO as an example. The work in this paper will be useful to the further research in real protocol testing.The summary of the work in this paper is as following:1) Survey the test sequence generation algorithms based on control flow.2) Survey the test sequence generation algorithms based on data flow.3) Propose the generation methodology based on both control flow and data flow.4) Give the procedure and the result of generating the test sequence of protocol TPO.