Improving Software Tests using Z Specifications (1995)
| Venue: | In Proc. 9th International Conference of Z Users, The Z Formal Specification Notation |
| Citations: | 34 - 0 self |
BibTeX
@INPROCEEDINGS{Horcher95improvingsoftware,
author = {Hans-Martin Horcher},
title = {Improving Software Tests using Z Specifications},
booktitle = {In Proc. 9th International Conference of Z Users, The Z Formal Specification Notation},
year = {1995},
pages = {152--166},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Formal Specifications become more and more important in the development of software, especially, but not only in the area of high integrity systems. Testing as a method to validate the functionality of a system against the specification will keep its justification also in a development process using formal specifications. We demonstrate, where the problems lie when carrying out software integration tests using traditional testing techniques. It will then be demonstrated, how formal specifications can be used to achieve greater reliability and productivity during the software testing process by using extensive automatic tool support. This applies for the selection of test cases as well as the evaluation of test results, leading to a highly automated test process. First experiences from a case study will be given, in which we repeat the software integration test process for an application that has been developed by DST as part of the Cabin Intercommunication Data System (CIDS) for the Airbus A330/340 family.
