Title :
Dynamic conformance analysis with an LDRA testbed
Author_Institution :
Program Analysers Ltd., Newbury, UK
Abstract :
The author shows how conformance analysis can be performed dynamically using an LDRA software testbed. The costs and benefits of this approach are compared with those for the corresponding static conformance analysis. An example using formal Z specification is given as an illustration
Keywords :
conformance testing; formal specification; program testing; LDRA testbed; critical systems; dynamic conformance analysis; formal Z specification; program testing; software testbed; static conformance analysis;
Conference_Titel :
Software Testing for Critical Systems, IEE Colloquium on
Conference_Location :
London
