ESpec versions
ESpec comes in two flavors:
1. ESpec Standard Edition (Recommended for first-time / student users) which
includes:
- Unit Testing (ES-Test)
- Acceptance Testing (ES-Fit)
- Mathematical Model Libraries (MML)
- ES-Archive
- ES-Clean
2. ESpec Research Edition (For advanced users / researchers) which
includes:
- Unit Testing (ES-Test)
- Acceptance Testing (ES-Fit)
- Theorem Proving (ES-Perfect)
- Model Libraries (ML)
- Random Testing (AutoTest) note: AutoTest currently works only with Eiffel
5.6 – therefore, to use the AutoTest feature you need to have both Eiffel 5.6
and Eiffel 6.1 installed.
- ES-Archive
- ES-Clean