Title :
Covering transitions of concurrent systems through queues
Author :
Huo, Jiale ; Petrenko, Alexandre
Author_Institution :
Dept. of Electr. & Comput. Eng., McGill Univ., Montreal, Que.
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;
Conference_Titel :
Software Reliability Engineering, 2005. ISSRE 2005. 16th IEEE International Symposium on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-2482-6
DOI :
10.1109/ISSRE.2005.15
