Research On Protocol Distributed Testing Theory And System Reliability

Protocol Engineering is an integrated and formalized process for protocol development. Protocol testing is an important part of protocol engineering, including protocol conformance testing, protocol interoperate testing, protocol performance testing and protocol robust testing. Protocol testing is the process that generates test cases under protocol formal specification, executes the test cases and analyzes the test result.Protocol conformance testing, the purpose of which is to check whether a given protocol implementation conforms to its specification or not, is the fundament of other testings. In the conformance testing for a given protocol implementation, we, firstly, formalized specify the protocol, then generate test cases with this formal model and have the cases executed on the given implementation. With the increase of the protocol complexity, merely centralized testing methods can't content with many protocol's testing requirements.In this paper, the controllability and observability problem in distributed testing are discussed on the base of protocol distributed testing architecture. The controllability problem means that one tester can't determine when to send the input to the IUT (Implementation under Test) without a global clock in multi testers: and the obserability means that one tester can't determine when to begin receiving outputs from the IUT. This paper researches these two problems and gives out our solutions.The contents of this paper include:(1) Generate Local Test Sequence(LTS) from Global Test sequence (GTS) while adding coordination messageThe test sequence generation algorithm always generates global test sequence of the IUT. When the GTS is projected to LTS, the potential controllability and observability appears. This paper adds coordination message to the local test sequence to solve these two problems, then analyzes the additional communication cost of this...