wcre13main-idm99-p-18877-submitted.pdf (361.96 kB)
Download file

Inferring Extended Finite State Machine Models from Software Executions

Download (361.96 kB)
conference contribution
posted on 04.09.2013, 09:00 by Neil Walkinshaw, R. Taylor, J. Derrick
The ability to reverse-engineer models of software behaviour is valuable for a wide range of software maintenance, validation and verification tasks. Current reverse-engineering techniques focus either on control-specific behaviour (e.g. in the form of Finite State Machines), or data-specific behaviour (e.g. as pre/post-conditions or invariants). However, typical software behaviour is usually a product of the two; models must combine both aspects to fully represent the software’s operation. Extended Finite State Machines (EFSMs) provide such a model. Although attempts have been made to infer EFSMs, these have been problematic. The models inferred by these techniques can be non deterministic, the inference algorithms can be inflexible, and only applicable to traces with specific characteristics. This paper presents a novel EFSM inference technique that addresses the problems of inflexibility and non determinism. It also adapts an experimental technique from the field of Machine Learning to evaluate EFSM inference techniques, and applies it to two open-source software projects.

History

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

20th Working Conference on Reverse Engineering (WCRE 2013), Koblenz, Germany

Copyright date

2013

Available date

04/09/2013

Publisher version

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6671305

Notes

INSPEC Accession Number: 13916984

Temporal coverage: start date

14/10/2013

Temporal coverage: end date

17/10/2013

Language

en

Usage metrics

Categories

Keywords

Exports