An in-depth review of key techniques in software error detection
Software error detection is one of the most challenging problemsin software engineering. Now, you can learn how to make the most ofsoftware testing by selecting test cases to maximize theprobability of revealing latent errors. Software Error Detectionthrough Testing and Analysis begins with a thorough discussionof test-case selection and a review of the concepts, notations, andprinciples used in the book. Next, it covers:
* Code-based test-case selection methods
* Specification-based test-case selection methods
* Additional advanced topics in testing
* Analysis of symbolic trace
* Static analysis
* Program instrumentation
Each chapter begins with a clear introduction and ends withexercises for readers to test their understanding of the material.Plus, appendices provide a logico-mathematical background,glossary, and questions for self-assessment. Assuming a basicbackground in software quality assurance and an ability to writenontrivial programs, the book is free of programming languages andparadigms used to construct the program under test.
Software Error Detection through Testing and Analysis issuitable as a professional reference for software testingspecialists, software engineers, software developers, and softwareprogrammers. It is also appropriate as a textbook for softwareengineering, software testing, and software quality assurancecourses at the advanced undergraduate and graduate levels.