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: 2015/05/31 01:59 by jackie