CMPSCI [621] 521
[Adv.] Software Engineering: Analysis and Evaluation
Fall Term 2006
|
|
Homepage
Introduction
Class Materials
Assignments
|
Calendar
Last
updated 12/9/06 6:01 PM
For reading
assignments – see class
handouts
|
Week |
Assgn |
Lec |
Lecture |
Due |
|
9/6/06 |
|
1 |
Overview |
|
|
9/11/06 |
|
2 |
Defining Quality; Process Models; Clean Room; |
|
|
9/13/06 |
HW1, P1 |
3 |
Reviews, Inspections, |
|
|
9/18/06 |
|
4 |
Testing Foundations |
|
|
9/20/06 |
|
5 |
Testing Foundations |
|
|
9/25/06 |
|
6 |
Fault-Based Testing |
|
|
9/27/06 |
HW2 |
7 |
Fault-Based & Error-Based Testing |
|
|
10/2/06 |
|
8 |
Assertions |
|
|
10/4/06 |
|
9 |
HW1 |
|
|
10/9/06 |
|
|
Columbus Day Holiday |
|
|
10/11/06 |
|
10 |
Regression Testing [UMass Monday] |
|
|
10/16/06 |
|
11 |
OOS Testing |
P1 |
|
10/18/06 |
|
12 |
OOS Testing |
|
|
10/23/06 |
|
13 |
OOS Testing, Web services |
HW2 |
|
10/25/06 |
|
14 |
OOS Intgr.Testing |
|
|
10/30/06 |
|
15 |
No Class |
|
|
11/1/06 |
|
16 |
Web services, Formal Methods |
|
|
11/6/06 |
HW3 |
17 |
Formal Methods |
|
|
11/8/06 |
|
18 |
Verification & Proof |
|
|
11/13/06 |
|
19 |
Symbolic Eval. & Dataflow Analysis |
|
|
11/15/06 |
|
20 |
Dataflow Analysis |
|
|
11/20/06 |
HW4, P2 |
21 |
Dataflow Analysis |
|
|
11/22/06 |
|
22 |
Dataflow Analysis |
|
|
11/27/06 |
|
23 |
Concurrency |
HW3 |
|
11/29/06 |
|
24 |
Concurrency |
|
|
12/1/06 |
|
|
|
PrelimP2 |
|
12/4/06 |
|
25 |
Concurrency |
|
|
12/6/06 |
|
26 |
Concurrency |
HW4 |
|
12/11/06 |
|
27 |
Concurrency & Software Safety |
|
|
12/11/06 |
|
28 |
Legal & Wrapup |
|
|
12/19/06 |
|
|
|
P2, HW5 |