Authors:
Laryssa Lima Muniz
1
;
Ubiratan S. C. Netto
2
and
Paulo Henrique M. Maia
3
Affiliations:
1
Fundação Cearense de Meteorologia e Recursos Hídricos (Funceme) and Universidade Estadual do Ceará, Brazil
;
2
Fundação Cearense de Meteorologia e Recursos Hídricos (Funceme), Brazil
;
3
Universidade Estadual do Ceará, Brazil
Keyword(s):
Model-based Testing, Tool, Functional Testing, Statistical Testing.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Software Engineering
;
Tools, Techniques and Methodologies for System Development
Abstract:
Model-based testing (MBT) is an approach that takes software specification as the base for the formal model
creation and, from it, enables the test case extraction. Depending on the type of model, an MBT tool can
support functional and statistical tests. However, there are few tools that support both testing techniques.
Moreover, the ones that support them offer a limited number of coverage criteria. This paper presents TCG,
a tool for the generation and selection of functional and statistical test cases. It provides 8 classic generation
techniques and 5 selection heuristics, including a novel one called minimum probability of path.