Next:
Tutorial G
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial E
TUESDAY 5th September 1995 (morning)
The Role of Formal Specifications in Software Test
Hans-Martin Hörcher and Jan Peleska (DST, Germany)
Formal Specifications are one way to improve the quality of the software development process. Very often, formal specifications are proposed for safety critical systems in connection with formal verification. This tutorial will demonstrate another benefit from the application of formal specifications during software development, namely the use during software integration test. It will be demonstrated, how test cases may be achieved systematically and how test results may me evaluated automatically against the specification. Examples, not only from safety critical applications, demonstrate the usability of the approach. The ideas will be presented around the specification language Z. They similar apply to other specification languages like e.g. VDM as well.
Target audience:
Hans-Martin Hörcher is with DST since 1991. There he is responsible for managing development- as well as QA projects, mainly for aircraft industries. Additionally, he is running research activities in the area of formal software engineering in cooperation with different universities and research institutes within Europe.
Dr. Jan Peleska has been with DST until 1994, where he was heading the ``reliable systems'' department, carrying out projects for mainly safety critical applications. He now received a call to University of Bremen where he now is teaching Software Engineering
Next:
Tutorial G
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial E