Application of formal concept analysis in model-based testing

Pin Ng, Richard Y.K. Fung

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)


Model-based testing is a software testing technique that derives a suite of test cases from a model which represents the behavior of a software system. By executing a set of model-based test cases, the conformance of the implementation of the target system to its specification can be validated. However, 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. By using the 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.

Original languageEnglish
Title of host publicationAdvances in Software Engineering
Subtitle of host publicationInternational Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
EditorsTai-hoon Kim, Wai Chi Fang, Changhoon Lee, Kirk P. Arnett
Number of pages14
Publication statusPublished - 2009

Publication series

NameCommunications in Computer and Information Science
ISSN (Print)1865-0929


  • Formal concept analysis
  • Model-based testing
  • Test suite reduction
  • UML state machine diagram


Dive into the research topics of 'Application of formal concept analysis in model-based testing'. Together they form a unique fingerprint.

Cite this