labs
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| labs [2015/05/31 01:59] – jackie | labs [2015/06/08 00:20] (current) – jackie | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Weekly Lab Exercises ====== | ====== Weekly Lab Exercises ====== | ||
| + | |||
| + | === Week 3 (June 4) === | ||
| + | |||
| + | [[https:// | ||
| + | |||
| + | - [[https:// | ||
| + | - [[https:// | ||
| + | - [[https:// | ||
| === Week 2 (May 28) === | === Week 2 (May 28) === | ||
| - | [[https:// | + | [[https:// |
| - | - [[https:// | + | - [[https:// |
| * After following the video, you are asked to complete the **contracts**, | * After following the video, you are asked to complete the **contracts**, | ||
| * You are also asked to try with **all** the four possible implementations (i.e., two // | * You are also asked to try with **all** the four possible implementations (i.e., two // | ||
| + | - [[https:// | ||
| + | * After following the video, you are asked to complete the **contracts**, | ||
| + | * You are also asked to try with **both** of the possible implementations (i.e., an //ARRAY//, a // | ||
| === 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.1433037584.txt.gz · Last modified: by jackie
