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

Author

Kalaji, AbdulSalam ; Hierons, Robert M. ; Swift, Stephen

Author_Institution

Sch. of Inf. Syst., Math & Comput., Brunel Univ., Uxbridge, UK

fYear

2009

fDate

4-6 Sept. 2009

Firstpage

131

Lastpage

132

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.

Keywords

finite state machines; optimisation; search problems; testing; automatic test generation; extended finite state machine; optimization algorithms; path feasibility; path test data generation; search-based approach; Aerospace safety; Automata; Automatic testing; Communication system traffic control; Computer industry; Control systems; Power generation; Power system modeling; System testing; Temperature; Evolutionary Testing; Model-Based Testing; Search-Based Testing; Test Data Generation; Transition Path (TP); extended finite state machine;

fLanguage

English

Publisher

ieee

Conference_Titel

Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. TAIC PART '09.

Conference_Location

Windsor

Print_ISBN

978-0-7695-3820-4

Type

conf

DOI

10.1109/TAICPART.2009.19

Filename

5381633