Your Search Results

Use this resource - and many more! - in your textbook!

AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Model-Based Test Suite Reduction with Concept Lattice

By: Pin Ng; Fung, R.Y.K.;

2008 / IEEE / 978-0-7695-3432-9


This item was taken from the IEEE Conference ' 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.