Erlang Code Evolution Control (Use Cases)
This is incremental, providing use cases for an existing tool to help developers in Erlang programming manage code changes.
The work demonstrates how SecEr can be used to analyze Erlang code evolution, specifically for behavior preservation between versions and identifying discrepancies, with examples including different program versions, performance improvements, and error introductions.
The main goal of this work is to show how SecEr can be used in different scenarios. Concretely, we demonstrate how a user can run SecEr to obtain reports about the behaviour preservation between versions as well as how a user can use SecEr to find the source of a discrepancy. The use cases presented are three: two completely different versions of the same program, an improvement in the performance of a function and a program where an error has been introduced. A complete description of the technique and the tool is available at [1] and [2].