Institutional Repository

Test automation of safety-critical reactive systems

Show simple item record Peleska, J Siegel, M 2018-06-06T10:08:37Z 2018-06-06T10:08:37Z 1997
dc.identifier.citation Peleska J & Siegel M (1997) Test automation of safety-critical reactive systems. South African Computer Journal, Number 19, 1997 en
dc.identifier.issn 2313-7835
dc.description.abstract This article focuses on test automation for safety-critical reactive systems. In the first part of the paper we introduce a methodology for specification, design and verification of fault-tolerant systems allowing to combine different methods in a systematic and consistent way, provided that these methods are compositional. The methodology indicates how to "switch" between formal verification and testing during the construction of (possibly large) reactive systems. We introduce the basic notions of testing as far as relevant in the context of reactive systems and relate them to the verification methodology. Part II formally describes our test automation method which is based on Hoare's CSP and takes Hennessy's testing theory as a starting point. It is indicated how this specific method fits into the general approach described in Part I. We introduce CSP test drivers which are trustworthy in the sense that they "approximate" refinement proofs, converging to a full proof with the increasing (possibly infinite) number of tests successfully executed. These drivers have been implemented in the VVT-RT (Verification, Validation and Test for Reactive Real-Time Systems) tool developed at Bremen University in cooperation with the University of Kiel, JP Software-Consulting and ELPRO LET GmbH. The presentation of this article is based on the lectures given by the first author during the WOFACS '96 workshop at the University of Cape Town. en
dc.language.iso en en
dc.publisher South African Computer Society (SAICSIT) en
dc.subject Test generation en
dc.subject Test strategies en
dc.subject Dependability en
dc.subject Fault-tolerance en
dc.subject Reactive systems en
dc.title Test automation of safety-critical reactive systems en
dc.type Article en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account