This talk is a demonstration of how to test your Erlang systems for non-functional (or, as some we rather call them, extra-functional) properties such as responsiveness, using property-based testing.
Talk objectives: Property-based testing is an already known testing methodology for the Erlang community, with tools such as QuickCheck and PropEr being highly popular among Erlang developers in the last few years. However, they are commonly used for functional testing... Which are the challenges in using them for testing non-functional properties of software? What other tools or libraries are there to help Erlang developers?
Target audience: Erlang developers interested in testing methods and tools.
Slides
Laura became fascinated with Erlang when she learned the language as part of a functional programming course she took during the forth year of her studies in Software Engineering. She was determined to make use of this language as part of her master thesis, so she joined the LFCIA Lab (today MADS Group) at the University of A Coruña (Spain), and participated in the development of an enterprise risk management system whose core was Erlang/OTP. Years later, she presented her PhD in Computer Science: a functional software development methodology which takes advantage of using functional technology to introduce quality assurance techniques and improve both the development process and the software result. Since then, she has specialized in software testing but remained closely attached to the Erlang community, collaborating with researchers and former colleagues now working in universities and companies around the world. For instance, she has been involved in several European research projects such as ProTest and PROWESS. Also, she has become an associate professor at the University of A Coruña, where she teaches software architecture and software testing to undergraduate students and supervises several PhD students.