Introduction to Software TestingCambridge University Press, 28.01.2008 - 322 Seiten Extensively 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. |
Inhalt
List of Figures | |
Preface | |
Introduction | |
Graph Coverage | |
7 6 Complementary Operations Analysis 2 8 Bibliographic Notes 3 Logic Coverage | |
Transformation Issues | |
Input Space Partitioning | |
Challenges in Testing Software | |
List of Criteria | |
Häufige Begriffe und Wortgruppen
activities actual allows analysis applications approach assignment automated behavior blocks called changes Chapter characteristics choose clause clause coverage combinations complete components Computer consider constraints contains coupling coverage criteria created criterion data flow defined definition depends derived determine discussed edge effective evaluates example execution expression false fault Figure formal function given grammar graph identify IEEE implementation inheritance inputs integration International inthe language List logic major method mutation operators node Note object objectoriented ofthe output pairs parameter partitioning path possible practical predicate Press prime problem reach reference replaced represent respect satisfy sequence shown shows simple Software Engineering software testing specifications statement string structure Table techniques test paths test requirements tour transition true unit usually values variable
Verweise auf dieses Buch
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation ... Marc Boulé,Zeljko Zilic Eingeschränkte Leseprobe - 2008 |