Model-Based Test Suite Reduction with Concept Lattice

Model-based testing refers to deriving a suite of test cases from a model that represents the behavior of a software system. As there may be large, sometimes infinite, number of operational scenarios that could be generated from a given model, an important issue of model-based testing is to determine a minimal set of test cases which provides sufficient test coverage. With formal concept analysis (FCA) mechanism, we could analyze the coverage of the test cases and eliminate those redundant ones. This systematic approach can help reduce the test suite whilst still maintain the sufficiency of test coverage.