Lecture T TH 1:30-2:45pm Smith 208
Project Presentations Th 1:30-2:00pm. STEW 209
Test tool Presentations Th 2:00-2:45pm STEW 209
Office Hours

TTH 3-4pm
(Walk-ins welcome, any day/time; email alert preferred
)

LWSN 1177
Video Conference Th 2:15pm

Stew 209 
765-494-2108

Instructor/Group meetings

Sundays. 2-4pm. To discuss any issues a group might be facing while working on the sponsored project. All meetings are scheduled during the preceding week.

LWSN 1168

TA

Dinesh Sriram


Invited Talks

Chris Selby, AEC. January 13, 2011

Peter Shier, Microsoft, January 18, 2011

Week Date Topic Reference Comments/Readings/Homework
1 T 1/11

Introduction, Organizational issues, team formation

Sponsored project descriptions Suggested readings:
Ariane 5: Flight 501 Failure

An Investigation of the Therac-25 Accidents," IEEE Computer Applications in Power, July 1993, pp. 18-41.

Th 1/13 Chris Selby: AEC Sponsored project

Fundamentals-I
 

On Thursday Chris Selby will describe the project AEC is sponsoring. Readings:

Week 1:
Reading: Chapter 1.1, 1.2, 1.3, 1.4, 1.5
Practice problems: 1.1, 1.3, 1.5, 1.6, 1.7

A copy of Chapter 1 of the book is now available for CS 49000 students to download via Blackboard.

2 T 1/18

Peter Shier: Microsoft Sponsored Project

Fundamentals-I
I

  On Tuesday Peter Shier will describe the project Microsoft is sponsoring.
Week 2:
Reading: 1.13, 1.14, 1.15
Practice problems: 1.10, 1.11, 1.12
Th 1/20

Fundamentals-III

 
Today is the deadline for all teams to submit their project preferences.
3 T 1/25

Test generation from requirements I

Week 3:
Reading: 1.6, 1.16, 1.18, 1.19
Practice problems: 1.13, 1.18, 1.19, 1.21

Th 1/27

Video conference I

 
4 T 2/1

Test generation from requirements III: Class cancelled due to Purdue cosing.

   
Th 2/3 Video conference II

Bugzilla demo
 
5 T 2/8

Test generation from predicates I

  Quiz 1: Test Tools: Bugzilla and Cobertura: Problems and solutions

Week 5

Readings: Section 2.1, 2.2, 2.3 (exclude Example 2.8), 2.4
Practice problems: 2.1, 2.3, 2.7, 2.9, 2.11, 2.14, 2.18

Th 2/10 Video conference III

Pex and moles demo
 
6 T 2/15

Test generation from predicates II

 

Quiz 2: Test Tools: Pex and Moles

Week 6

Readings: Section 2.7
Practice problems: 2.29, 2.31, 2.32, 2.33

Th 2/17

Video conference IV
Abbot demo

 
7 T 2/22 Test generation from predicates: BRE algorithm.
Test generation from finite state models I
 

Quiz 3: GUI testing. Abbot

Week 7:

Readings: Remaining algorithms (exclude test generation for singular predicates)

Practice problems: 2.34, 2.35, 2.36, 2.37

 

Th 2/24

Video conference V

 
8 T 3/1 Test generation from finite state models II. The W-method.

Quiz 4: Load and performance testing. JMeter

Readings: Section 3.1, 3.2, 3.3, 3.4, 3.5, 3.6
Practice problems: 3.4, 3.5, 3.6, 3.13, ,3.15


Th 3/3

Video conference V

Review for midterm

 
9 T 3/8

Midterm [Open book]:

Readings for midterm: All mentioned above for weeks 1 through 7. There will be no questions on test tools.
Midterm statistics:
Average: 67
Maximum: 92
Median: 67

Th 3/10 Video conference VII

Midterm solutions

Applications to GUI testing. Control theoretic versus automata theoretic, Wp method
   

 

 

10 T 3/15 Spring Break  
Th 3/17 Spring Break  
11 T 3/22
Class does not meet
 

This class cancellation is in lieu of the project meetings on Sundays.

Friday March 25: Interim Report II due. Must be available at each team's web site.
Th 3/24
Class does not meet
12 T 3/29 Video conference VIII  

Spec Explorer in class presentation

Spec Explorer technical publication

Th 3/31

Spec Explorer and FSMs

 
13 T 4/5

Combinatorial designs I

  Chapter 4 Slides (Revised)
Th 4/7 Video conference IX

 
14 T 4/12 Combinatorial designs II   Readings: 4.1, 4.2, 4.3, 4.4, 4.5, 4.8, 4.9
Exercises: 4.1, 4.2, 4.8, 4.9, 4.17 (only the mixed CA portion), 4.21
Th 4/14 Video conference X
15 T 4/19

Test adequacy I

 

Chapter 6 Slides (Revised)
Readings: Chapter 6.1, 6.2 (exclude 6.2.7) 6.3 (up to and including 6.3.7), 6.4 (up to and including 6.4.3, and 6.4.6), 6.7, 6.8
Exercises: 6.1, 6.2, 6.4, 6.5, 6.7, 6.9, 6.11, 6.14, 6.33, 6.41

Th 4/21

Test adequacy II

 
16 T 4/26

Test adequacy III
Course review

Final Presentations:

Presentation: 20 minutes/team including Q/A. Practice your presentation.
At most two members of the team make the presentation.
Demos (if neeeded) will be a part of this presentation.

Presenatation guidelines (Visit the Video Confernce Schedule site for details).

Course Review Slides


Th 4/28

Video conference XI

Work on finalizing the project report.

     
17 Tue 5/03 Final Exam 8-10am.
Smith 208
Final Exam Solutions

Part A: Multiple choice, comprehensive, closed book/notes
Part B: 3 or 4 questions, Capters 3, 4, and 6 (open book/notes)

This page last revised: May 4, 2011