A Generalized Model-Based Test Generation Method

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 t...

Full description

Saved in:
Bibliographic Details
Published in2008 Sixth IEEE International Conference on Software Engineering and Formal Methods pp. 139 - 148
Main Authors Bonifácio, Adilson Luiz, Moura, Arnaldo Vieira, Simão, Adenilso da Silva
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.11.2008
Subjects
Automata
Automatic testing
Character generation
Generalized Test Generation
m-complete test suite
Mathematical model
Mathematics
Model-based testing
Proposals
Software engineering
Software testing
System testing
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:0769534376
9780769534374
ISSN:1551-0255
2160-7656
DOI:10.1109/SEFM.2008.17