TCRA Downloads
| Java 6 (1.6) JRE only | Latest Java Runtime release from Sun. |
| Java 6 (1.6) SDK | Latest Java Development Kit release from Sun. |
| TCRA for Students | Test Case Reasoning Assistant, Student Edition |
| TCRA for Instructors | Test Case Reasoning Assistant, Instructor Edition (includes Graph Production Tool) |
| TCRA Documentation | Test Case Reasoning Assistant Documentation (included with above package) |
Supplemental Exercises
To install new exercises, extract the contents of the tar.gz file to the parent directory of the tcra directory.
If you are prompted about overwriting files, select "Yes" or "Yes to All".
| List Exercise | CPSC 372: Resolve - One Way List Exercise Includes the bug fix found below as of 4/16/08. |
| Mystery Exercises for Quiz 2 | CPSC 215 Quiz 2: Mystery Exercise |
| Mystery Exercises for Quiz 3 | CPSC 215 Quiz 3: Mystery Exercise |
| Mystery Exercises for Quiz 2 | CPSC 215 Quiz 2: Mystery Exercise |
| Mystery Exercises for Quiz 3 | CPSC 215 Quiz 3: Mystery Exercise |
Bug Fixes
| MathStringType.class |
This is a new class required by the List Exercise that was mistakenly left out. Extract this zip file to the parent directory of the tcra folder. |