Covering Transitions of Concurrent Systems through Queues

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jiale Huo Articles by Alexandre Petrenko

16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05)

Chicago, Illinois

November 08-November 11

ISBN: 0-7695-2482-6

	ASCII Text	x
	Jiale Huo, Alexandre Petrenko, "Covering Transitions of Concurrent Systems through Queues," Software Reliability Engineering, International Symposium on, pp. 335-345, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), 2005.

	BibTex	x
	@article{ 10.1109/ISSRE.2005.15, author = {Jiale Huo and Alexandre Petrenko}, title = {Covering Transitions of Concurrent Systems through Queues}, journal ={Software Reliability Engineering, International Symposium on}, volume = {0}, year = {2005}, issn = {1071-9458}, pages = {335-345}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.15}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Reliability Engineering, International Symposium on TI - Covering Transitions of Concurrent Systems through Queues SN - 1071-9458 SP335 EP345 A1 - Jiale Huo, A1 - Alexandre Petrenko, PY - 2005 KW - model-based testing KW - transition coverage KW - concurrency KW - non-determinism VL - 0 JA - Software Reliability Engineering, International Symposium on ER -

Jiale Huo, McGill University

Alexandre Petrenko, Centre de recherche informatique de Montr?al (CRIM)

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.15

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.

Index Terms:

model-based testing, transition coverage, concurrency, non-determinism

Citation:

Jiale Huo, Alexandre Petrenko, "Covering Transitions of Concurrent Systems through Queues," issre, pp.335-345, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.