Foundations of Software Testing: Fundamental Algorithms and Techniques

2

Test

Generation

from

Requirements

CONTENT

2.1 Introduction

2.2 The Test-selection problem

2.3 Equivalence partitioning

2.4 Boundary-value analysis

2.5 Category-partition method

2.6 Cause–effect graphing

2.7 Test generation from predicates



The purpose of this chapter is to introduce

techniques for the generation of test data

from informally and formally specified

requirements. Some of these techniques

can be automated while others may

require significant manual effort for large

applications. Most techniques presented

here fall under the category “black-box”

testing in that tests are generated without

access to the code to be tested.