Books and Articles About Model-Based Testing

 

Home

 

Books dealing with model-based testing:

 

The following books refer to the general techniques used in model-based testing, though they refer to them as specification-based, behavioral or black box:

 

·         Black Box Testing by Boris Beizer

 

·         Testing Object-Oriented Systems: Models, Patterns, and Tools by Robert Binder

 

·         Automating Specification-Based Software Testing by Robert Poston

 

·         Software Testing Techniques, 2nd Edition by Boris Beizer

 

·         Visual Test 6 Bible Chapter 14: Black Box Monkey Testing by Noel Nyman

 

 

 

Recent articles on model-based, state-based and ‘monkey’ testing:

 

Automated functional test generation, Larry Apfelbaum

AUTOTESTCON '95

 

Spec-based tests make sure telecom software works, Larry Apfelbaum,

IEEE Spectrum, Volume: 34 Issue: 11, Nov. 1997

 

Using Monkey Test Tools, Noel Nyman

Software Testing and Quality Engineering, Jan/Feb 2000

 

An Effective Technique for Verifying Software Design, Linda Hamm

Software Testing and Quality Engineering, Sep/Oct 1999

 

 

And a few classics worth dusting off:

 

ATLAS – An Automated Software Testing System, W.H. Jessop, J.R. Kane, S. Roy and J.M. Scanlon

2^nd International Conference on Software Engineering, 1976

 

Testing software design modeled by finite state machines, T.S. Chow

IEEE Transactions on Software Engineering, Volume 4, 1978