NobleBlocks

Research indexJournal article

Search-Based Testing using EFSMs

Ţurlea

1 Oct 2019

NobleIDark:/48914/w1/20260525/9D0A6620DOI10.1109/issrew.2019.00052

Paywalled

The full text is at the publisher

You can read the abstract here, or open it at the publisher.

Read at the publisher

Abstract

Extended finite state machines are widely used in model based testing. Since testing is such a critical step from the software development process, it is important to have many different test suites, generated on different criteria. This paper presents a test suite generation algorithm for EFSMs. The algorithm produces a set of feasible transition paths that cover all transitions using a modified NSGA-II and a NSGA-III Algorithm (based on different feasibility optimization) and a Hybrid Genetic Algorithm to generate input values that trigger all the paths.

Discussion

Citations

Topics

More

Suggest a correction or report