ProTest-Project News RSS feed

Message Sequences Charts help formulating properties

ProTest-Project Web — Tue, 16 Feb 2010 00:00:00 GMT

Quviq developed a new library to express relationships between events that happen in a system. This allows the testers to specify things like "this message should be delivered if the receiver was logged in around the time the message was sent". Message sequence charts are often used to give examples of possible ways in which messages may arrive. The newly developed library allows to specify a number of examples as one general property on message sequences.

The library was successfully used in a case study at ProcessOne and a paper describing this case has been submitted for publication.

PhD thesis with part on property based testing

ProTest-Project Web — Tue, 16 Feb 2010 00:00:00 GMT

Laura Castro from the University of A Coruna finished her PhD thesis, which is to be defended on April 15, 2010. In her thesis she describes advantages of using functional programming for the development of software systems. Part of the thesis is devoted to testing these systems and property based testing plays an important rôle.

QuickCheck for testing C programs

ProTest-Project Web — Tue, 16 Feb 2010 00:00:00 GMT

Quviq developed an extension to QuickCheck that enables easy testing of C code from the Erlang shell and therewith enable the use of QuickCheck on C code.

This library is now evaluated on C libraries in the GNU package as well as on some real automotive software.

Call for Papers for ICFP 2010, Baltimore, US on 29 Sep 2010

ProTest-Project Web — Tue, 15 Dec 2009 00:00:00 GMT

Call for Papers for 15th ACM SIGPLAN Int.Conf. on Functional Programming, ICFP 2010, Baltimore, US on 29 Sep 2010.

Submission: 2 April 2010

Final papers due: 12 July 2010

Call for Papers for TAP 2010, Malaga, Spain on 1 Jul 2010

ProTest-Project Web — Tue, 15 Dec 2009 00:00:00 GMT

Call for Papers for Tests and Proofs conference, TAP 2010, Malaga, Spain on 1 Jul 2010.

Submission of Abstract: 29 Jan 2010

Submission of Paper: 5 Feb 2010

Call for Papers for TIFP 2010 conference, Oklahoma, US on 19 May 2010

ProTest-Project Web — Tue, 15 Dec 2009 00:00:00 GMT

Call for Papers for Trends in Functional Programming conference, TIFP 2010
on 19 May 2010.

Submission of Papers and abstracts: 2 April 2010

Registration deadline: 7 May 2010

Traceexp - trace expressions for Erlang

ProTest-Project Web — Mon, 14 Dec 2009 00:00:00 GMT

This new tool is an Erlang module for on-line analysis of traces being developed at the University of Madrid. It provides the possibility to analyse at runtime, streams of Erlang trace messages generated by the Erlang runtime system.

The means of analysis is by defining a regular expression, which is continuously matched against an input stream of Erlang trace messages. Conceptually such streams of Erlang trace messages are infinite. Regular expression symbols may contain variables, which are shared between different symbols. Thus one can in a flexible manner establish relations between different but related events (e.g. checking that a request with a certain user-id is never followed by a reject for the same user-id) When a regular expression matches a segment of the trace message stream, a user defined function is called (e.g. to provide diagnostic output). The approach taken in the Traceexp tool is inspired by the work on "trace matches" in the article "Adding Trace Matching with Free Variables to AspectJ" by Chris Allan et.al. in the proceedings at OOPSLA 2005.

The first public release of the library can be downloaded from http://babel.ls.fi.upm.es/research/traceexp/. A preliminary user manual (included in the source distribution) documents the main functionalities of the tool, and includes an example to get started. Contact Guillem Marpons for more information.

QuickCheck – testing C code with QuickCheck

ProTest-Project Web — Mon, 14 Dec 2009 00:00:00 GMT

In November Quviq has released a new version of QuickCheck, which provides an easy way to test C code from Erlang. C functions can be called from Erlang with no need for any hand-written glue code at all. A new online video demo uses a simple example--a circular buffer implementation--to show how easy it is to start testing C from the Erlang shell. We also show testing the C code using a QuickCheck finite state machine specification, which provokes minimized failed tests that quickly reveal two bugs in the implementation. To watch the video, click here (about 15 minutes).