Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
2006 Technical Reports

ESpec -- a Tool for Agile Development via Early Testable Specifications

Faraz Ahmadi Torshizi and Jonathan S. Ostroff

Technical Report CS-2006-04

York University

May 24, 2006


The ESpec (Eiffel Specification Tool) is a unified environment that allows software developers to combine Fit tables (for customer acceptance tests) with Early Testable Specifications (Contracts and Unit Tests). This means that a single integrated tool can be used to develop and test the requirements, design and implementation of a software product. Since Fit tables, contracts and Unit Tests accumulate, we get regression testing every time the tool is invoked. The regression testing makes it easier to refactor a design, as all the properties are checked for every design change. ESpec includes a fully automated formal verification tool that uses a theorem prover to demonstrate that the code satisfies its specification. These tools, either individually or in concert, allow the developer to certify the quality of the product in a variety of ways.

Download paper in PDF format.

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.