This document provides an introduction to a textbook on software testing. It describes the textbook's approach of defining testing as applying well-defined test criteria to a model of the software. The textbook covers various coverage criteria for testing source code, designs, specifications, use cases, and other software artifacts. It also describes the authors' credentials and the supplementary materials available on the textbook's website.