Title :
GA-based and design by contract approach to test generation for EFSMs
Author :
Zakonov, Andrey ; Stepanov, Oleg ; Shalyto, Anatoly
Author_Institution :
Fac. of Inf. Technol. & Programming, St. Petersburg State Univ. of Inf. Technol., Mech. & Opt., St. Petersburg, Russia
Abstract :
Extended Finite State Machines (EFSMs) are often used in model-based development and for modeling VHDL specifications. This paper proposes an approach for automated test generation for EFSM models. Design by contract approach is applied to formalize specification requirements. Genetic algorithm is proposed to find set of values that triggers given path in the EFSM and reveals inconsistensies with the specification.
Keywords :
finite state machines; formal specification; genetic algorithms; hardware description languages; simulation languages; EFSM; automated test generation; extended finite state machines; formal specification requirements; genetic algorithm; modeling VHDL specifications; Adaptation model; Automata; Contracts; Genetic algorithms; Programming; Software; Testing;
Conference_Titel :
Design & Test Symposium (EWDTS), 2010 East-West
Conference_Location :
St. Petersburg
Print_ISBN :
978-1-4244-9555-9
DOI :
10.1109/EWDTS.2010.5742047
