ponencia en congreso.page.titleprefix EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Loading...
Date
2021
Journal Title
Journal ISSN
Volume Title
Publisher
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
Keywords
VERIFICACION DE SOFTWARE, JAVA, ESPECIFICACIONES, ALGORITMOS