
BIBLIOGRAPHIC NOTES
BIBLIOGRAPHIC NOTES
Partition testing is as ancient as software
testing. Here we focus on equivalence
partitioning and boundary-value analysis
as the two techniques that belong to the
partition testing category. Works by Myers
[338–341] and Howden [236] contain early
descriptions of equivalence partitioning
and boundary-value analysis.
Richardson and Clarke argued in support
of using program specifications and code
to derive test inputs [416]. They propose
and illustrate a procedure to derive tests by
partitioning the domains derived from
specifications and from the program code.
Partition analysis is used by the authors for
program verifica ...