Partition Analysis: A Method Combining Testing and Verification

  title={Partition Analysis: A Method Combining Testing and Verification},
  author={Debra J. Richardson and Lori A. Clarke},
  journal={IEEE Transactions on Software Engineering},
The partition analysis method compares a procedure's implementation to its specification, both to verify consistency between the two and to derive test data. Unlike most verification methods, partition analysis is applicable to a number of different types of specification languages, including both procedural and nonprocedural languages. It is thus applicable to high-level descriptions as well as to low-level designs. Partition analysis also improves upon existing testing criteria. These… CONTINUE READING
Highly Cited
This paper has 110 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 65 extracted citations

111 Citations

Citations per Year
Semantic Scholar estimates that this publication has 111 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 29 references

Theoretical considerations in testing programs by demonstrating consistency with specifications

  • D. J. Richardson
  • IEEE Trans . Software Eng .
  • 1983

A partition analysis method to demonstrate program reliability

  • D. J. Richardson
  • 1981

An error-based testing strategy,

  • E. J. Weyuker
  • Dep. Comput. Sci.,
  • 1981

Similar Papers

Loading similar papers…