Loading...
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Molina, Facundo Ponzio, Pablo Aguirre, Nazareno Frías, Marcelo
Molina, Facundo
Ponzio, Pablo
Aguirre, Nazareno
Frías, Marcelo
Type
Ponencia en congreso
Citations
Altmetric:
Abstract
"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately, software many times lacks such specifications, and thus providing tools and techniques that can assist developers in the construction of software specifications are relevant in software engineering. As an aid in this context, we present
EvoSpex, a tool that given a Java method, automatically produces a specification of the method’s current behavior, in the form of postcondition assertions. EvoSpex is based on generating software
runs from the implementation (valid runs), making modifications to the runs to build divergent behaviors (invalid runs), and executing a genetic algorithm that tries to evolve a specification
to satisfy the valid runs, and leave out the invalid ones. Our tool supports a rich JML-like assertion language, that can capture complex specifications, including sophisticated object structural
properties."
Description
Date
2021
Journal Title
Journal ISSN
Volume Title
Publisher
Collections
Files
Loading...
Ponencia_Molina
Adobe PDF, 556.09 KB
Research Projects
Organizational Units
Journal Issue
Keywords
VERIFICACION DE SOFTWARE, JAVA, ESPECIFICACIONES, ALGORITMOS