UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Engineering formal requirements: analysis and testing

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 Green open access

[thumbnail of 6.2_seke] PDF

Download (213kB)


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
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item