Program Testing Complexity and Test Criteria

  • Authors:
  • Kuo-Chung Tai

  • Affiliations:
  • Department of Computer Science, North Carolina State University

  • Venue:
  • IEEE Transactions on Software Engineering
  • Year:
  • 1980

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper explores the testing complexity of several classes of programs, where the testing complexity is measured in terms of the number of test data required for demonstrating program correctness by testing. It is shown that even for very restrictive classes of programs, none of the commonly used test criteria, namely, having every statement, branch, and path executed at least once, is nearly sufficient to guarantee absence of errors.