Foundations of Software Testing, 2nd Edition

4

Predicate Analysis

CONTENTS

4.1 Introduction

4.2 Domain testing

4.3 Cause-effect graphing

4.4 Tests using predicate syntax

4.5 Tests using basis paths

4.6 Scenarios and tests

The purpose of this chapter is to introduce techniques for the generation of test data from requirements specified using predicates. Such predicates are extracted either from the informally or formally specified requirements or directly from the program under test. There exist a variety of techniques to use one or more predicates as input and generate tests. Some of these techniques can be automated while others may require significant manual effort for large applications. It is not possible to categorize such techniques as either black or white box technique. Depending ...