CIS 573 Fall 2012
Study Guide for Sept 19 quiz
This quiz will cover the lecture material and reading assignments for Sept 12 and Sept 17.
Sept 12 (Lecture Notes)
Reading: P.C. Jorgensen, Software Testing: A Craftsman's Approach, chapters 5 and 6 (available in Blackboard)
- What is meant by "criteria" and "coverage"?
- What is the difference between black-box testing and white-box testing?
- What is exhaustive testing?
- What is meant by equivalence partitioning, boundary analysis, and robustness testing?
- What is the single fault assumption? What are its implications?
- What is meant by weak normal equivalence class testing? strong normal? weak robust? strong robust?
- What is a control flow graph? How is it used in white-box testing?
- What is meant by statement coverage, branch coverage, and path coverage? how are they related to white-box testing?
- What is a path condition? Why does path coverage subsume statement and branch coverage?
Sept 17 (Lecture Notes)
Readings: L.A. Clarke, "A System to Generate Test Data and Symbolically Execute Programs"
and J.H. Andrews et al., "Is mutation an appropriate tool for testing experiments?"
- What are the goals of symbolic execution? how is it related to white-box testing?
- What does it mean for a path condition to be satisfiable? what is the implication if it is not?
- What are the limitations of symbolic execution?
What is meant by prime path coverage? edge-pair coverage? def-use coverage?
Do you think that these graph-based coverage criteria are good criteria? Why or why not?
What is meant by mutation analysis? do you think it is a good criteria?
Updated: Mon, Sept 17, 7:42pm