CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Property-Based Testing - The ProTest Project

John Derrick ; Neil Walkinshaw ; Thomas Arts (Institutionen för data- och informationsteknik, Software Engineering (Chalmers)) ; Clara Benac Earle ; Francesco Cesarini ; Lars-Åke Fredlund ; Victor Gulias ; John Hughes (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Simon Thompson
Lecture Notes in Computer Science (0302-9743). Vol. 6286 (2010), p. 250-271.
[Artikel, refereegranskad vetenskaplig]

The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang.

Nyckelord: Software Testing, QuickCheck

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2011-03-28. Senast ändrad 2017-09-14.
CPL Pubid: 138376


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Software Engineering (Chalmers)
Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)


Informations- och kommunikationsteknik

Chalmers infrastruktur