J. McDonald, L. Murray, and P. Strooper. Translating Object-Z specifications to object-oriented test oracles. In Proc. Asia-Pacific Software Engineering Conference and Int. Computer Science Conference, pages 414--423. IEEE Computer Society, 1997.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....starting point for selecting test inputs, executing test cases and determining expected outputs. Research in this area includes work on generating test cases for individual operations [10, 28, 29] generating finite state machines for the purpose of testing [6, 8, 15, 32] generating test oracles [18, 24, 27], and frameworks for specificationbased testing that support test case generation, execution, and evaluation [4, 5, 9] Zweben et al. 34] use specifications to generate controlflow and data flow diagrams. They then define three criteria for control flow testing: all statements, all branches and ....

J. McDonald, L. Murray, and P. Strooper. Translating Object-Z specifications to object-oriented test oracles. In Proc. Asia-Pacific Software Engineering Conference and Int. Computer Science Conference, pages 414--423. IEEE Computer Society, 1997.

....in the syntax of the implementation language, but there is no clear line between deriving oracles from a pure specification language and adapting a specification language to serve as a language for defining test oracles. 31 The approaches proposed by Mikk ( Mik95] and McDonald et al. MMS97, MS98] for deriving oracles from Z and Object Z begin by constraining specifications to an executable subset, which can be semi automatically translated into C or C . Executability requires that defined types be finite, all predicates be evaluable using a finite number of iterations, and the ....

....as oracle by evaluating its predicates for states passed as parameters and returns a boolean value indicating the outcome of the evaluation. McDonald et al. adopt a similar approach and propose several alternative transformation of Object Z specifications into test oracles for container classes ( MMS97, MS98] After optimizing the specification, they use a special purpose C library, which implements some of the standard types of the Z mathematical toolkit, to transform standard Z types (for example # becomes int and ##becomes Z set int , 19 A generic schema is a schema parameterized with ....

J. McDonald, L. Murray, and P. Strooper. Translating Object-Z specifications to object-oriented test oracles. In Proceedings: 4th Asia-Pacific Software Engineering and International Computer Science Conference, pages 414--426. IEEE Computer Society Press, 1997.

....traceability can be automated and checked. This has particular value during incremental builds and maintenance. ffl Formal specifications can be used as a precise basis for a range of other activities: e.g. they can be used as test oracles, or to derive test cases in a systematic manner [27], or as a basis for FMEAs and HAZOPs. ffl Prototypes can be derived directly from specifications. However, formal methods are intended to enhance existing development and assurance techniques and not to replace them. To use them effectively requires staff with a good deal of experience and some ....

J. McDonald, L. Murray, and P. Strooper. Translating Object-Z specifications to object-oriented test oracles. In Proceedings Asia-Pacific Software Engineering Conference, pages 414--423. IEEE Computer Society, December 1997.

....to passive oracles can be wholly automated, apart from the user supplied abstraction function. This work contributes to a larger project on specification based testing, which aims to develop integrated methods for test case generation [20, 21] test execution [12] and test result evaluation [16, 17]. Acknowledgements I would like to thank my supervisor, Dr. Paul Strooper, for his advice and support, and Dr. David Carrington, Leesa Murray and Ian MacColl for their comments on earlier versions of this report. ....

J. McDonald, L. Murray, and P.A. Strooper. Translating Object-Z specifications to object-oriented test oracles. Technical Report 97--30, Software Verification Research Centre, University of Queensland, Brisbane 4072, Australia, 1997.

....We identify two types of test oracle. An active oracle implements the expected behaviour of the software under test. A passive oracle checks the behaviour of the software, but does not reproduce it. Hoffman and Strooper [10] identify these and several other types of test oracle. An earlier paper [16] described the derivation of active test oracles from formal object oriented specifications. The lack of algorithmic detail in formal specifications limits the applicability of active oracles to specifications that contain constructs that can be readily translated to an implementation. This places ....

....systematically. The second problem is expected 16 to become less significant as the optimisation process improves, particularly with the large libraries of inference rules offered by modern theorem provers. This work represents a significant improvement on the previous work using active oracles [16]. The class of specifications for which a passive oracle can be generated is much larger than for active oracles. This is because it is often easier to check the behaviour described by a specification than to actually implement that behaviour. The close coupling of the oracle and CUT allows the ....

[Article contains additional citation context not shown here]

J. McDonald, L. Murray, and P.A. Strooper. Translating Object-Z specifications to object-oriented test oracles. In Proc. Asia-Pacific Software Engineering Conference, APSEC97, pages 414--423, Hong Kong, December 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC