Foundations of Software Testing, 2nd Edition

1

Preliminaries: Software Testing

CONTENTS

1.1 Humans, errors, and testing

1.2 Software quality

1.3 Requirements, behavior, and correctness

1.4 Correctness versus reliability

1.5 Testing and debugging

1.6 Test metrics

1.7 Software and hardware testing

1.8 Testing and verification

1.9 Defect management

1.10 Test generation strategies

1.11 Static testing

1.12 Model-based testing and model checking

1.13 Types of testing

1.14 The saturation effect

1.15 Principles of testing

1.16 Tools

The purpose of this introductory chapter is to familiarize the reader with the basic concepts related to software testing. Here a framework is set up for the remainder of this book. Specific questions, answered in substantial detail in subsequent chapters, are raised ...