DocumentCode
280235
Title
Dynamic conformance analysis with an LDRA testbed
Author
Hennell, M.A.
Author_Institution
Program Analysers Ltd., Newbury, UK
fYear
1990
fDate
33043
Firstpage
42491
Lastpage
42493
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;
fLanguage
English
Publisher
iet
Conference_Titel
Software Testing for Critical Systems, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
190441
Link To Document