| Current Component: LinkedList : Tasks
You Can Perform: |
| |
Status |
|
Task |
|
Notes |
|
Info |
|
| |
 |
|
Upload/edit behavioral specification |
|
(fixed by instructor for this project) |
|
 |
|
| |
|
|
Upload/edit component's source code |
|
completed |
|
Monday |
|
04/29 |
|
09:33pm |
|
|
|
| |
 |
|
Create/view test suite |
|
started |
|
Today |
|
04/30 |
|
11:29 am |
|
|
|
| |
 |
|
Create/view test driver |
|
|
|
|
|
| |
 |
|
Run test suite against component |
|
(create test suite first) |
|
|
|
| |
|
|
Create/view testing report |
|
(run test suite first) |
|
|
|
| |
|
|
Submit assignment to the
Curator |
|
(no assignments accepting submissions) |
|
|
|
| |
|
|
Create/view BIT wrapper |
|
|
|
|
|
| |
|
|
Create/view invariant checks |
|
(create BIT wrapper first) |
|
|
|
| |
|
|
Create/view precondition checks |
|
(create BIT wrapper first) |
|
|
|
| |
|
|
Create/view postcondition checks |
|
(create BIT wrapper first) |
|
|
|
| |
|
|
View past
Curator results |
|
(no past submissions) |
|
|
|
