DocumentCode
2834314
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
fYear
2010
fDate
17-20 Sept. 2010
Firstpage
152
Lastpage
155
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design & Test Symposium (EWDTS), 2010 East-West
Conference_Location
St. Petersburg
Print_ISBN
978-1-4244-9555-9
Type
conf
DOI
10.1109/EWDTS.2010.5742047
Filename
5742047
Link To Document