CSE584: Software EngineeringLecture 10 (December 8, 1998)

Table of Contents

CSE584: Software EngineeringLecture 10 (December 8, 1998)

Software quality assurance

Key (unanswered) question?

Reviews, etc.

Reviews, etc.

Purposes

Walkthrough

Inspections

Inspection requirements

Inspection process

Inspection teams

Inspection checklists

Inspection rate

Issues in inspections

SQA Statistical approaches

Software reliability [RST]

Operational profiles

Understood domains

Less understood domains

Cost

Applying reliability models

N-version programming

Objective

Assumption

Probably not

Why?

And now...

Cleanroom [Harlan Mills]

Basics: five points

Basics: five points (con’t)

Three teams

Claims

Counterclaims [Beizer]

Testing

Confidence

Kinds of testing

Other definitions

Test cases

Challenges of testing

White- vs. black-box testing

Black-box testing

Black-box challenges I

Black-box challenges II

Coverage criteria[Ghezzi, Jazayeri, Mandrioli]

Test selection criterion

Consistent and complete

But

Syntax-driven testing

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

Mutation testing[Demillo, Lipton, et al.]

Example [Jalote]

Other kinds of mutations

Process

Utility?

Open testing questions

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

PPT Slide

Last words

Email: notkin@cs.washington.edu

Home Page: http://www.cs.washington.edu/education/courses/584/CurrentQtr/

Other information:
CSE 584, Lecture 10

Download presentation source