Ciancarini, P.;
Cimato, S.;
Mascolo, C.;
(1996)
Engineering formal requirements: analysis and testing.
In:
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE).
(pp. pp. 385-392).
Knowledge Systems Institute
![[thumbnail of 6.2_seke]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
6.2_seke Download (213kB) |
Abstract
We introduce a method for formal analysis and symbolic testing of behavioral aspects of Z specifications. We start defining a (chemical) operational semantics, which supports an abstract execution model and some new constructs to allow the verification of dynamic properties. Moreover, using such a semantics, we have built a parallel animator of Z specifications which automatically constructs distributed prototypes directly from a (refined) specification; such a tool makes effectively observable concurrent behaviours of the Z requirements specification.
| Type: | Proceedings paper |
|---|---|
| Title: | Engineering formal requirements: analysis and testing |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://www.informatik.uni-trier.de/~ley/db/conf/se... |
| Language: | English |
| URI: | https://discovery.ucl.ac.uk/id/eprint/800 |
Archive Staff Only
 |
View Item |
