DocumentCode
3532280
Title
A Generalized Model-Based Test Generation Method
Author
Bonifacio, A.L. ; Moura, Arnaldo Vieira ; da Silva Simao, A.
Author_Institution
Comput. Inst., Univ. of Campinas, Campinas
fYear
2008
fDate
10-14 Nov. 2008
Firstpage
139
Lastpage
148
Abstract
In this paper we present a generalization to the W-method, which can be used for automatically generating test cases.In contrast to the W-method, this generalization allows for test case generation even in the absence of characterization sets for the specification.We give proofs of correctness for this generalization, and show how to derive the original W-method from it as a particular case.Proofs of correctness for the W-method, not given in the original paper, are also presented in a clear and detailed way.
Keywords
finite state machines; W-method; finite state machines; test case generation; test generation method; Automata; Automatic testing; Character generation; Mathematical model; Mathematics; Proposals; Software engineering; Software testing; System testing; Generalized Test Generation; Model-based testing; m-complete test suite;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Conference_Location
Cape Town
Print_ISBN
978-0-7695-3437-4
Type
conf
DOI
10.1109/SEFM.2008.17
Filename
4685801
Link To Document