Application of formal concept analysis in model-based testing

Pin Ng; Richard Y.K. Fung

doi:10.1007/978-3-642-10242-4_10

Application of formal concept analysis in model-based testing

Pin Ng, Richard Y.K. Fung

Division of Science, Engineering and Health Studies (SEHS)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Advances in Software Engineering
Subtitle of host publication	International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Editors	Tai-hoon Kim, Wai Chi Fang, Changhoon Lee, Kirk P. Arnett
Pages	110-123
Number of pages	14
DOIs	https://doi.org/10.1007/978-3-642-10242-4_10
Publication status	Published - 2009

Publication series

Name	Communications in Computer and Information Science
Volume	30
ISSN (Print)	1865-0929

Keywords

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

Access to Document

10.1007/978-3-642-10242-4_10

Cite this

Ng, P., & Fung, R. Y. K. (2009). Application of formal concept analysis in model-based testing. In T. Kim, W. C. Fang, C. Lee, & K. P. Arnett (Eds.), Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers (pp. 110-123). (Communications in Computer and Information Science; Vol. 30). https://doi.org/10.1007/978-3-642-10242-4_10

Ng, Pin ; Fung, Richard Y.K. / Application of formal concept analysis in model-based testing. Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers. editor / Tai-hoon Kim ; Wai Chi Fang ; Changhoon Lee ; Kirk P. Arnett. 2009. pp. 110-123 (Communications in Computer and Information Science).

@inproceedings{b5ded98edb6444dc915e3911ed81716f,

title = "Application of formal concept analysis in model-based testing",

abstract = "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.",

keywords = "Formal concept analysis, Model-based testing, Test suite reduction, UML state machine diagram",

author = "Pin Ng and Fung, {Richard Y.K.}",

year = "2009",

doi = "10.1007/978-3-642-10242-4_10",

language = "English",

isbn = "9783642102417",

series = "Communications in Computer and Information Science",

pages = "110--123",

editor = "Tai-hoon Kim and Fang, {Wai Chi} and Changhoon Lee and Arnett, {Kirk P.}",

booktitle = "Advances in Software Engineering",

}

Ng, P & Fung, RYK 2009, Application of formal concept analysis in model-based testing. in T Kim, WC Fang, C Lee & KP Arnett (eds), Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers. Communications in Computer and Information Science, vol. 30, pp. 110-123. https://doi.org/10.1007/978-3-642-10242-4_10

Application of formal concept analysis in model-based testing. / Ng, Pin; Fung, Richard Y.K.

Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers. ed. / Tai-hoon Kim; Wai Chi Fang; Changhoon Lee; Kirk P. Arnett. 2009. p. 110-123 (Communications in Computer and Information Science; Vol. 30).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Application of formal concept analysis in model-based testing

AU - Ng, Pin

AU - Fung, Richard Y.K.

PY - 2009

Y1 - 2009

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

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

KW - Formal concept analysis

KW - Model-based testing

KW - Test suite reduction

KW - UML state machine diagram

UR - http://www.scopus.com/inward/record.url?scp=73349123448&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-10242-4_10

DO - 10.1007/978-3-642-10242-4_10

M3 - Conference contribution

AN - SCOPUS:73349123448

SN - 9783642102417

T3 - Communications in Computer and Information Science

SP - 110

EP - 123

BT - Advances in Software Engineering

A2 - Kim, Tai-hoon

A2 - Fang, Wai Chi

A2 - Lee, Changhoon

A2 - Arnett, Kirk P.

ER -

Ng P, Fung RYK. Application of formal concept analysis in model-based testing. In Kim T, Fang WC, Lee C, Arnett KP, editors, Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers. 2009. p. 110-123. (Communications in Computer and Information Science). doi: 10.1007/978-3-642-10242-4_10

Application of formal concept analysis in model-based testing

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this