Test-design through abstraction a systematic approach based on the refinement calculus

Journal of Universal Computer Science

Volumn 7, Issue 8, 2001, Pages 710-735

  Aichernig, Bernhard K ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Formal methods; Refinement calculus; Test case generation; Testing

Indexed keywords

EID: 0842288053     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. Bernhard Aichernig. Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria, Jannuary 2001. Supervisor: Peter Lucas.
2. Bernhard K. Aichernig. Test-case calculation through abstraction. In Proceedings of Formal Methods Europe 2001, FME 2001, March 12-16 2001, Berlin, Germany, Lecture Notes in Computer Science. Springer Verlag, 2001.
3. Bernhard K. Aichernig, Andreas Gerstinger, and Robert Aster. Formal specification techniques as a catalyst in validation. In Proceedings of the 5th Conference on High-Assurance Software Engineering, 15th-17th November 2000, Albuquerque, New Mexico, USA. IEEE, 2000.
4. Ralph Back, Anna Mikhajlova, and Joakim von Wright. Reasoning about interactive systems. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, Proceedings, Volume 77, volume 1709 of Lecture Notes in Computer Science. Springer, 1999.
5. Ralph-Johan Back and Joakim von Wright. Refinement Calculus, a Systematic Introduction. Graduate Texts in Computer Science. Springer, 1998.
6. Salimeh Behnia and Hélène Waeselynck. Test criteria definition for B models. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, Proceedings, Volume 7, volume 1709 of Lecture Notes in Computer Science, pages 509-529. Springer, 1999.
7. Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold, New York, 2nd edition, 1990.
8. Simon Burton. Automated testing from Z specifications. Technical report, Department of Computer Science, University of York, November 2000.
9. R. DeMillo, R. Lipton, and F. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978.
10. Jeremy Dick and Alain Faivre. Automating the generation and sequencing of test cases from model-based specifications. In J.C.P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods. Springer-Verlag, April 1993.
11. E.W. Dijkstra. A Discipline of Programming. Series in Automatic Computation. Prentice-Hall International, 1976.
12. Richard G. Hamlet. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering, 3(4):279-290, July 1977.
13. Steffen Helke, Thomas Neustupny, and Thomas Santen. Automating test case generation from Z specifications with Isabelle. In ZUM'97, 1997.
14. Hans-Martin Hörcher and Jan Peleska. The role of formal specifications in software testing. In Tutorial Notes for the FME'94 Symposium. Formal Methods Europe, October 1994.
15. Johann Hörl and Bernhard K. Aichernig. Formal specification of a voice communication system used in air traffic control, an industrial application of lightweight formal methods using VDM++ (abstract). In J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, volume 1709 of Lecture Notes in Computer Science, page 1868. Springer, 1999.
16. Johann Hörl and Bernhard K. Aichernig. Requirements validation of a voice communication system used in air traffic control, an industrial application of lightweight formal methods (abstract). In Proceedings of the Fourth International Conference on Requirements Engineering (ICRE2000), June 19-23, 2000, Schaumburg, Illinois, page 190. IEEE, 2000. Selected as one of three best papers.
17. Johann Hörl and Bernhard K. Aichernig. Validating voice communication requirements using lightweight formal methods. IEEE Software, pages 21-27, May/June 2000.
18. Mathias Jarke and Reino Kurki-Suoni. Special issue on scenario management. IEEE Transactions on Software Engineering, 24(12), 1998.
19. Carrol C. Morgan. Programming from Specifications. Series in Computer Science. Prentice-Hall International, 1990.
20. William Perry. Effective methods for software testing. John Wiley & Sons, 1995.
21. Philip Alan Stocks. Applying formal methods to software testing. PhD thesis, The Department of computer science, The University of Queensland, 1993.