Specification-by-Example for Information Management Challenges

Project description

Specification-by-example (SbE) is gaining ground as an approach to capturing software requirements in the form of "living documentation"; that is, a form that allows us to automatically detect when the software is no longer compatible with the requirements, and can inform us in some detail where the discrepancy lies. The advantages of the approach are many, but as with any new technique there are a number of problems still to be solved. In this project, we will examine novel ways of specifying, refactoring and evolving specifications in the form of examples, with a focus on the use of SbE for applications involving large amounts of persistent data.

▲ Up to the top