Abstract —Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage. Keywords —Test Suite Reduction, Model-based Testing, State Machine Model, Formal Concept Analysis 1. I NTRODUCTION Test scenarios can be derived based on some system models for requirements validation pur-poses. Model-based testing [1, 16] refers to deriving a suite of test scenarios from a model that represents the behavior of a software system. In particular, state machine model has been widely used for this purpose in testing event-driven, reactive systems, and embedded software systems [1, 2]. State machine model can be used to specify the dynamic perspective of a system and its interactions with the users through sequences of transitions. The sequences of transitions can form a set of test scenarios for validation of functional requirements by test engineers and end users. However, since cycles in the state machine model may lead to an infinite number of test scenarios, exhaustive testing is usually not possible. Moreover, many test scenarios are part of some other test scenarios and thus lead to redundancy in the test suite. Model-based test suite reduction can be applied in this situation and derive a smaller set of test scenarios which still preserves the original test coverage with respect to some testing criteria. A default criterion of adequate testing with a state machine model is all-transition coverage criterion [1, 11, 16], which means each transition specified in the state machine model should be triggered at least once by executing the test scenarios. In this paper, we shall describe an incremental approach for reducing model-based test suite using Formal Concept Analysis (FCA) [6]. FCA is a mathematical technique for formulating concepts in terms of a set of formal objects and their associated formal attributes, and providing
[1]
Pin Ng.
Applying formal concept analysis in requirements validation with UML state machine model
,
2010
.
[2]
Robert V. Binder,et al.
Testing Object-Oriented Systems: Models, Patterns, and Tools
,
1999
.
[3]
Claudio Carpineto,et al.
Concept data analysis - theory and applications
,
2004
.
[4]
Rokia Missaoui,et al.
INCREMENTAL CONCEPT FORMATION ALGORITHMS BASED ON GALOIS (CONCEPT) LATTICES
,
1995,
Comput. Intell..
[5]
Peter Becker,et al.
A Survey of Formal Concept Analysis Support for Software Engineering Activities
,
2005,
Formal Concept Analysis.
[6]
Pin Ng,et al.
Model-Based Test Suite Reduction with Concept Lattice
,
2008,
2008 Advanced Software Engineering and Its Applications.
[7]
Shaoying Liu,et al.
Generating test data from state‐based specifications
,
2003,
Softw. Test. Verification Reliab..
[8]
Bernhard Ganter,et al.
Formal Concept Analysis: Mathematical Foundations
,
1998
.
[9]
M. Mahesh,et al.
Test ready UML statechart models
,
2006,
SCESM '06.
[10]
Tsong Yueh Chen,et al.
A new heuristic for test suite reduction
,
1998,
Inf. Softw. Technol..
[11]
Lori L. Pollock,et al.
A scalable approach to user-session based testing of Web applications through concept analysis
,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[12]
Gregg Rothermel,et al.
Prioritizing test cases for regression testing
,
2000,
ISSTA '00.
[13]
Neelam Gupta,et al.
A concept analysis inspired greedy algorithm for test suite minimization
,
2005,
PASTE '05.