Paper Info
Title
Implementing MSC Tests with Quiescence Observation
Abstract
Given a test scenario as a Message Sequence Chart (MSC), a method for implementing an MSC test in a distributed asynchronous environment is suggested. Appropriate test coordination is achieved using coordinating messages and observed quiescence of a system under test. A formal definition and a classification of faults with respect to the test scenario are introduced. It is shown that the use of quiescence observation improves the fault detection and allows implementing sound tests for a wider class of test scenarios than before.
Year
DOI
Venue
2009
10.1007/978-3-642-05031-2_4
TestCom/FATES
Keywords
Field
DocType
quiescence observation,appropriate test coordination,message sequence chart,asynchronous environment,formal definition,observed quiescence,sound test,msc test,implementing msc tests,fault detection,test scenario,system under test
Automatic test pattern generation,Asynchronous communication,System under test,Fault coverage,Fault detection and isolation,Real-time computing,Formal description,Scenario testing,Engineering,Message sequence chart,Reliability engineering
Conference
Volume
ISSN
Citations 
5826
0302-9743
8
PageRank 
References 
Authors
0.50
17
3
Name
Order
Citations
PageRank
Sergiy Boroday129414.03
A. Petrenko256531.37
Andreas Ulrich3769.98