© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
|
|||
|
Programming Languages and Systems: ProTest
Property-Based Testing
|
Homepage: http://www.protest-project.eu/ |
ProTest has the aim of delivering more effective testing, through developing and promoting property-based testing. That is, users state high-level properties of systems, rather than concrete test cases. These properties are then tested with randomly generated data. Wrangler is used in ProTest to support the extraction of properties from (sets of) tests. This is based on clone detection and extraction, as implemented in Wrangler.
People:
Publications:
(no publications recorded for this project)
Project support:
|
Seventh EU Framework Programme for Research and Technological Development |