Table of Contents
CSE584: Software Engineering Lecture 9 (June 2, 1997)
Lecture 9, Outline
Testing
Confidence
A question
Kinds of testing
Other definitions
Test cases
Challenges of testing
White- vs. black-box testing
Black-box testing
Black-box testing challenges I
Black-box testing challenges II
Coverage criteria [Ghezzi, Jazayeri, Mandrioli]
Test selection criterion
Consistent and complete
But
Syntax-driven testing
Decision table testing
Cause effect graphing
White-box testing
Statement coverage
Program and its CFG
Edge coverage
Condition coverage I
Condition coverage II
Condition coverage III
A brief aside
Path coverage
Loops with path coverage
Data flow approaches
Example (xy)
Flow graph
Relationships among approaches [RW]
Mutation testing [Demillo, Lipton, et al.]
Example [Jalote]
Other kinds of mutations
Process
Utility?
Open questions include
Software process
A little history
1987
Why controversial?
In any case...
CMM (SEI’s web page)
CMM (Levels 1 and 2)
CMM (Level 3)
CMM (Levels 4 and 5)
My opinion(s)
CMM mania
ISO 9000
Hot software engineering topics
Recent NSF grants I
Recent NSF grants II
My top few
Your top few?
|
Acrobat
Author: CSE
Email: notkin@cs.washington.edu
Home Page: http://www.cs.washington.edu/homes/notkin
|