Paper Info
Title
Transition covering tests for systems with queues
Abstract
This paper introduces a method to cover transitions of a concurrent system under test through a context consisting of infinite-capacity queues. Concurrent systems have many important applications, but they are very difficult and expensive to test. One of the difficulties in testing concurrent systems is caused by the fact that queues in the test context can distort the behaviour of a concurrent system under test and can cause state explosion in test derivation. The proposed method derives transition covering tests directly from the specification of a concurrent system, not its composition with queues. As transition coverage is an important industrial metric of test quality, the results of the paper have practical applications. A case study is presented to illustrate one of the applications. Copyright © 2008 John Wiley & Sons, Ltd.
Year
DOI
Venue
2009
10.1002/stvr.v19:1
Softw. Test., Verif. Reliab.
Keywords
Field
DocType
transition coverage,testing in context,concurrent systems
System under test,Test Context,Computer science,Queue,Test quality,Reliability engineering
Journal
Volume
Issue
ISSN
19
1
0960-0833
Citations 
PageRank 
References 
17
0.69
15
Authors
2
Name
Order
Citations
PageRank
Jiale Huo1442.57
A. Petrenko256531.37