Automating formal specification-based testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1214, Issue , 1997, Pages 833-847

  Donat, Michael R ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; FORMAL LOGIC; SOFTWARE DESIGN;

AUTOMATED TECHNIQUES; EXISTENTIAL QUANTIFICATIONS; LOGICAL CONSEQUENCES; PROPOSITIONAL LOGIC; SPECIFICATION BASED TESTING; SYSTEM REQUIREMENTS; TANGIBLE PRODUCT;

FORMAL SPECIFICATION;

EID: 84956999665     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030644     Document Type: Conference Paper

References (16)

1. Jean-Raymond Abrial. Steam boiler control specification problem. In Jean-Raymond Abrial, Egon BSrger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 500-509, October 1996. http://www.informatik.uni-kiel.de/procos/dag9523/dag9523.html.
2. Pascal Bernard. A Z specification of the boiler, http://www.informatik.uni-kiel-de/procos/dag9523/bernard-fulltext.ps.Z, January 1996.
3. G. Bernot, M-C. Gaudel, and B. Marre. Software testing based on formal specifications. Software Engineering Journal, 6(6), November 1991.
4. Randal E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8):677-691, August 1986.
5. Robert Biissow and Matthias Weber. A steam-boiler control specification with statecharts and Z. In Jean-Raymond Abrial, Egon BSrger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 109-128, October 1996.
6. Jeremy Dick and Alain Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Formal Methods Europe '93, volume 670 of Lecture Notes in Computer Science, pages 268-284, 1993.
7. Michael R. Donat. Automating System-level Testing Based on Quantified Formal Specifications. PhD thesis, Department of Computer Science, University of British Columbia, Vancouver, B.C., Canada, 1997. In preparation.
8. Michael R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H.Freeman and Company, San Francisco, 1979.
9. Marie-Claude Gaudel. Testing can be formal, too. In TAPSOFT: 6th International Joint Conference on Theory and Practice of Software Development, volume 915 of Lecture Notes in Computer Science, pages 82-96, 1995.
10. M.J.C. Gordon and T.F. Melham, editors. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993.
11. Jeffrey J. Joyce, Nancy Day, and Michael R. Donat. S: A machine readable specification notation based on higher order logic. In Thomas F. Me]ham and Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, volume 859 of Lecture Notes in Computer Science, pages 285-299. Springer-Verlag, 1994.
12. Ian MacColl, David Carrington, and Philip Stocks. An experiment in specificationbased testing. Technical Report 96-05, Software Verification Research Centre, Department of Computer Science, The University of Queensland, St. Lucia, QLD 4072, Australia, May 1996.
13. Christianp. Schinagl. VDM specification of the steam-boiler control using RSL notation. In Jean-Raymond Abrial, Egon Bgrger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 428-452, October 1996.
14. J. Michael Spivey. Understanding Z: A Specification language and its formal semantics. Cambridge University Press, 1988.
15. K. Toth and J. Joyce. Industrialization of formal methods through process definition. In 5th Annual Symposium of the National Council on Systems Engineering. NCOSE, July 1995.
16. Kalman Toth, Michael R. Donat, and Jeffrey J. Joyce. Generating test cases from formal specifications. In 6th Annual Symposium of the International Council on Systems Engineering. INCOSE, July 1996.