Ibwards Model based Generation of Self - Priming and Self - Checking Conformance Tests for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Networks

摘要

This paper describes a model-based approach to generate conformance tests for interactive applications .this method address generation of small yet effective set of test frames for testing individual operations, then a set up sequence that brings the system under test in an appropriate state for a test frame (self - priming), also a verification sequence for expected output and state changes (self- checking), finally, negative test cases in the presence of exceptions. This method exploits a novel mutation scheme applied to operations modeled as relationships among parameters and state variables; a set of novel abstraction techniques which result in a compact Finite State Automaton (FSA); and search techniques to automatically generate the set up and verification sequences. We illustrate this method with a geoquorum approach for implementing atomic read/write shared memory in mobile ad hoc networks as a simple application.