Team Eiffel

The ESpec project has released a new version of their package, to work with the final release of EiffelStudio 5.7.

ESpec (Eiffel Specification) is a Software Quality Workbench supporting Specification Driven Development by helping developers to write and execute acceptance tests as well as unit tests within the same environment.

ESpec provides support for writing testable requirements and specifications at multiple stages of software development process. Developers can write requirements and specification such as Fit tests, unit tests, contracts as early as possible.

ESpec is a combination of three main components:

• ES-Fit: An Acceptance Testing framework for capturing and testing customer requirements in the form of HTML tables used for Validation
• ES-Test: A Unit Testing framework for testing specifications. A combination of Unit tests and Contracts are used for lightweight Verification
• ES-Verify: A translator from Eiffel to Perfect language used for full Verification

ESpec focuses on Unit Tests and Contracts as testable specifications and Fit Tables as testable requirements.