QuickChecking Refactoring Tools and Exploring Tracing (London User Group Talk)

Organiser
Erlang Solutions
Date
4-5 Feb 2010 (Add to calendar) GMT
Venue
29 London Fruit & Wool Exchange , London, GB
Cost
Free

Biography Judit Kőszegi

Judit Kõszegi is a final-year MSc student at Eötvös Loránd University in Hungary. She won a 5-month scholarship for studying at the University of Kent, and there she works as a researcher from September 2009 to February 2010. In Hungary she is a member of a project-group dealing with the analysis of F# programs; in Canterbury she engaged in the topic of Erlang tracing and debugging.

Abstract

Existing tools for tracing and debugging in Erlang provide only severely limited interactive trace exploration. The talk will be about a tool that provides free navigation through the trace, so we can explore the generated trace events independent of the time arrow, concentrating on casual relationships instead. Processes are at the heart of any Erlang system, thus we will focus on them instead of function definitions and try to localise faults up to purely functional code.

Biographies Dániel Horpácsi and Dániel Drienyovszky (joint talk)

Dániel Horpácsi is a MSc student at Eötvös Loránd University, where he has dealt with Erlang and refactoring for more than two years as a member of the RefactorErl project (http://plc.inf.elte.hu/erlang). Currently he is studying in Canterbury as an erasmus student and works on this research topic as his master thesis under the supervision of Simon Thompson.

Dániel Drienyovszky is a MSc student at the Eötvös Loránd University, currently doing a research project, testing Wrangler, as an erasmus student at the Univeristy of Kent under the supervision of Simon Thompson.

Abstract

Refactorings are behaviour preserving transformations of program source code. Many tools exist for automating large parts of refactoring steps, but these tools are often poorly tested. We present a method for testing Wrangler, an Erlang refactoring tool, using Quviq's Quickcheck.

As the input for the refactoring tools is Erlang source code, to generate random test data we should create a large number of data generators that describe the Erlang language and generate random Erlang source code. This talk will demonstrate a better solution: we will introduce a metalanguage above the QuickCheck generators, which provides an easy way to create generators from L-Attributed Grammar descriptions. We will also present a way to test a large subset of Erlang for behavioural equivalence.

You might also like...

Comments

Other nearby events

Map

Contribute

Why not write for us? Or you could submit an event or a user group in your area. Alternatively just tell us what you think!

Our tools

We've got automatic conversion tools to convert C# to VB.NET, VB.NET to C#. Also you can compress javascript and compress css and generate sql connection strings.

“Owning a computer without programming is like having a kitchen and using only the microwave oven” - Charles Petzold