Introduction to Software TestingExtensively class-tested, this textbook takes an innovative approach to software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. It incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications, and embedded software. The book contains numerous examples throughout. An instructor's solution manual, PowerPoint slides, sample syllabi, additional examples and updates, testing tools for students, and example software programs in Java are available on an extensive website. |
Common terms and phrases
active clause coverage All-Uses analysis applications approach automated behavior block CACC called Chapter characteristics consider constraints control flow graph coverage criteria created criterion data flow defined definition du-paths edge coverage evaluates example execution false fault Figure finite state machines FSMs GACC grammar graph coverage identify implementation inheritance input space integration testing Java Jeff Offutt Karnaugh map logic coverage loop method minor clauses Mothra mutation operators mutation testing node coverage object-oriented output overriding pairs parameter partitioning path coverage path expression polymorphism predicate coverage problem RACC reachability regression test regular expression result satisfy sidetrips simple paths software development Software Engineering software testing specification statement string structure subpath subsume subsumption Table techniques test case values test criteria test engineer test inputs test paths test plan test set testability tester tour triOut true unit testing variable web applications