Software Quality Assurance: CS 4712
Syllabus Schedule Assignments Links
Michigan Tech
Computer Science

Readings

P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge University Press, 2008. (Errata)

R.E. Fairley and M.J. Wilshire. Why the Vasa sank: 10 Problems and some antidotes for software projects. IEEE Software 20(2), 2003, 18-25.

E. Gamma and K. Beck. Test infected: Programmers love writing tests. Available at http://junit.sourceforge.net/doc/testinfected/testing.htm

D. Harel. On visual formalisms. Communications of the ACM 31(5), 1988.

J.A. Hughes, D. Randall, and D. Shapiro. Faltering from Ethnography to Design. Proc. CSCW, 1992, 115-122.

M. Jackson and P. Zave. Deriving Specifications from Requirements: An Example. Proc. ICSE, 1995, 15-24.

Lecture slides

Bounding and structuring software problems

Bug advocacy

Graph coverage

Object-oriented testing

Problem Frames

Requirements

Requirements to specification

Requirements elicitation

Partition-based testing

Statecharts

Test automation

Test-driven development

Testing (introduction)

Testing in the small

Usability & usefulness

Examples

Answering machine

Bottle redemption: description | PFEdit document

C++ dataflow testing

Cruise control

Library

Sluice gate

Software

JUnit: home | download 4.8.2 | FAQ | cookbook

PFEdit

Selenium IDE (Firefox extension): download | documentation

Other resources

Problem Analysis and the Problem Frames Approach

OpenOffice qa: Issue Tracking Query