Derivation of Tests from Timed Specifications According to Different Coverage Criteria

	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/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Mercedes G. Merayo Articles by Manuel N?

Third International Conference on Systems (icons 2008)

April 13-April 18

ISBN: 978-0-7695-3105-2

	ASCII Text	x
	Mercedes G. Merayo, Manuel N?, "Derivation of Tests from Timed Specifications According to Different Coverage Criteria," Systems, Second International Conference on, pp. 97-102, Third International Conference on Systems (icons 2008), 2008.

	BibTex	x
	@article{ 10.1109/ICONS.2008.33, author = {Mercedes G. Merayo and Manuel N?}, title = {Derivation of Tests from Timed Specifications According to Different Coverage Criteria}, journal ={Systems, Second International Conference on}, volume = {0}, year = {2008}, isbn = {978-0-7695-3105-2}, pages = {97-102}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.33}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Systems, Second International Conference on TI - Derivation of Tests from Timed Specifications According to Different Coverage Criteria SN - 978-0-7695-3105-2 SP97 EP102 A1 - Mercedes G. Merayo, A1 - Manuel N?, PY - 2008 KW - null VL - 0 JA - Systems, Second International Conference on ER -

Mercedes G. Merayo

Manuel N?

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.33

The main goal of this paper is to provide an algorithm to derive finite test suites, from timed specifications, according to a given coverage criterium. First, we introduce a timed extension of the finite state machines model. We consider that (output) actions take time to be performed. In addition to present our formalism, we develop a testing theory. Thus, we introduce a notion of timed test and define how to apply tests to implementations under test.

Citation:

Mercedes G. Merayo, Manuel N?, "Derivation of Tests from Timed Specifications According to Different Coverage Criteria," icons, pp.97-102, Third International Conference on Systems (icons 2008), 2008

Peer Review Notice | Give Us Feedback

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