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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/EWDTS.2010.5742047 | EWDTS |
Keywords | Field | DocType |
genetic algorithm,specification requirement,vhdl specification,extended finite state machines,efsm model,automated test generation,contract approach,model-based development,efsm,model based development,finite state machines,automata,design by contract,testing,programming,extended finite state machine,hardware description languages,genetic algorithms,formal specification | Programming language,Computer science,Design by contract,Extended finite-state machine,Formal specification,Theoretical computer science,Finite-state machine,Software,VHDL,Genetic algorithm,Hardware description language | Conference |
Citations | PageRank | References |
1 | 0.36 | 2 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andrey Zakonov | 1 | 1 | 0.70 |
Oleg Stepanov | 2 | 1 | 0.36 |
Anatoly Shalyto | 3 | 98 | 20.06 |