A CutEr Tool

Kostis Sagonas
Creator of PropEr, CutEr and ConcuError

The Erlang toolchain already contains a variety of frameworks and tools for testing programs. Some of them (e.g. EUnit) are primarily manual, in the sense that the programmer has to write unit tests and provide expected test results, while some others (e.g. EQC, Triq and PropEr) are only semi-automatic: they require the programmer to specify properties -and often appropriate generators- for these properties.

The talk introduces CutEr, a fully automatic testing tool that aims to achieve full path coverage, bringing Concolic Unit Testing to Erlang programs. Compared to existing testing tools, this tool is... well, just CutEr;)

Talk objectives:

Introduce the idea of concolic unit testing of Erlang programs and the CutEr tool, show how it differs from all other existing testing tools, and how it can be used to identify errors in programs in a fully automatic way.

Target audience:

Any Erlang programmer.

Slides
Video

Kostis Sagonas is an academic who has been heavily involved in the development of Erlang and its implementation since 1999. At Uppsala University, he led the development team of the HiPE native code compiler that nowadays is part of Erlang/OTP. Together with his students, first at Uppsala University and more recently at the National Technical University of Athens, he has proposed various changes and additions to the language (most notably: bit-level pattern matching and bit-stream comprehensions, and the language of type and spec declarations) and has contributed to its compiler and runtime system. Besides HiPE, he has designed and implemented software development tools for Erlang (dialyzer, typer, tidier, proper, ...) and has contributed bug fixes to many open-source Erlang projects.

 


GitHub: kostis

Back to conference page