To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Towards Model based Generation of Self - Priming and Self - Checking Conformance Tests for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Networks |
|
Author |
Fatma.A. Omara, Reham.A.Shihata |
| Citation |
Vol. 10 No. 4 pp. 267-277 |
|
Abstract |
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 and write shared memory in mobile ad hoc networks as a simple application. |
|
Keywords |
software engineering lifecycle, conformance test, specification phase, FSA, mobile ad hoc networks |
|
URL |
