Testing Techniques in Software Engineering

Gives a detailed tutorial introduction to the scientific basis of testing This book is the outcome of Pernambuco Summer School on Software Engineering (PSSE) 2007, devoted to the study of computer science and to the promotion of international scientific collaboration Includes state-of-the-art contributions from invited lecturers This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering with a special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also cover the semantic underpinnings of refinement, as well as industrial applications and refinement tools.Table of Contents1. Software Testing: An Overview 2. Functional, Control and Data Flow, and Mutation Testing: Theory and Practice 3. Automatic Test-Case Generation 4. Testing a Software Product Line 5. Parameterized Unit Testing with Pex: Tutorial 6. Software Tool Issues 7. Software Testing Based on Formal Specification 8. A Systematic Introduction to Mutation Testing in Unifying Theories of Programming 9. Author Index