Incremental Model-based Test Suite Reduction with Formal Concept Analysis

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

Full description

Saved in:
Bibliographic Details
Published in:Journal of information processing systems 2010, 6(2), 16, pp.197-208
Main Authors: Ng, Pin, Fung, Richard Y.K, Kong, Ray W.M
Format: Article
Language:eng ; kor
Subjects:
컴퓨터학
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1976-913X
2092-805X
DOI:10.3745/JIPS.2010.6.2.197