labs
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
labs [2015/06/04 19:59] – jackie | labs [2015/06/08 00:20] (current) – jackie | ||
---|---|---|---|
Line 4: | Line 4: | ||
[[https:// | [[https:// | ||
+ | |||
+ | - [[https:// | ||
+ | - [[https:// | ||
+ | - [[https:// | ||
=== Week 2 (May 28) === | === Week 2 (May 28) === | ||
Line 18: | Line 22: | ||
=== Week 1 (May 21) === | === Week 1 (May 21) === | ||
- | Exercise 1 | + | - Exercise 1 |
- | * Follow closely with: | + | * Follow closely with: |
- | - [[https:// | + | - [[https:// |
- | - [[https:// | + | - [[https:// |
- | - [[https:// | + | - [[https:// |
- | + | | |
- | Exercise 2: | + | * Download and unzip a version of the [[https:// |
- | * Download and unzip a version of the [[https:// | + | * Compile the project. |
- | * Compile the project. | + | * Run Workbench System (described above) |
- | * Run Workbench System (described above) | + | * All tests should fail! |
- | * All tests should fail! | + | * This is because the implementation and contracts (pre- and post-condition, |
- | * This is because the implementation and contracts (pre- and post-condition, | + | * Complete all the missing implementations and contracts. |
- | * Complete all the missing implementations and contracts. | + | * Use breakpoints and the debugger to identify the bugs, if any. |
- | * Use breakpoints and the debugger to identify the bugs, if any. | + | * Repeat until you can pass all tests. |
- | * Repeat until you can pass all tests. | + | |
labs.1433447954.txt.gz · Last modified: 2015/06/04 19:59 by jackie