A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)

Authors:
AbdulSalam Kalaji;Rob Mark Hierons;Stephen Swift
Affiliations:
-;-;-
Venue:
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Year:
2009

Citing 0
Cited 5

Generation of improved test cases from UML state diagram using genetic algorithm

Proceedings of the 4th India Software Engineering Conference
Transition coverage testing for simulink/stateflow models using messy genetic algorithms

Proceedings of the 13th annual conference on Genetic and evolutionary computation
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Information and Software Technology
An improved test generation approach from extended finite state machines using genetic algorithms

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
On the integration of model-driven design and dynamic assertion-based verification for embedded software

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from an EFSM is yet a challenging task due to two main problems: path feasibility and path test data generation. Although optimization algorithms are efficient, their applications to EFSM testing have received very little attention. The aim of this paper is to develop a novel approach that utilizes optimization algorithms to test from EFSM models.