DocumentCode
2587985
Title
Covering transitions of concurrent systems through queues
Author
Huo, Jiale ; Petrenko, Alexandre
Author_Institution
Dept. of Electr. & Comput. Eng., McGill Univ., Montreal, Que.
fYear
2005
fDate
1-1 Nov. 2005
Lastpage
345
Abstract
By testing a concurrent system through queues, we seek a conclusive answer to whether a given transition of the specification of the system is executed. We define transition coverage through queues and find testing strategies to cover the transition in question with and without fairness, respectively
Keywords
concurrency control; formal specification; formal verification; program testing; queueing theory; concurrent systems; model-based testing; nondeterminism; queues; system specification; transition coverage; Automatic testing; Circuit testing; Concurrent computing; Context awareness; Context modeling; Formal specifications; Protocols; Sequential circuits; Software testing; System testing; concurrency; model-based testing; non-determinism; transition coverage;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering, 2005. ISSRE 2005. 16th IEEE International Symposium on
Conference_Location
Chicago, IL
ISSN
1071-9458
Print_ISBN
0-7695-2482-6
Type
conf
DOI
10.1109/ISSRE.2005.15
Filename
1544747
Link To Document