Parsa S. Software Testing Automation. Testability Evaluation, Refactoring,..2023

Textbook in PDF format

This book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memorizing the concepts. The source codes are downloadable from the book website. The book has three parts: software testability, fault localization, and test data generation.
The ability to test software efficiently and thoroughly is a hallmark of high-quality software. For code to be tested thoroughly, it should be testable in the first place. Testers, in a sense, are customers of developers. Developers must undertake an approach that keeps the code clean and efficient. Clean and efficient code is highly testable. Refactoring techniques help develop testable code. As the testability improves, automatic test data generation tools can provide relatively more efficient and effective test data. This book offers a machine learning tool to measure software testability based on which a software development process, Testability-Driven Development (TsDD), in support of test-first approaches is suggested.
Testing is something practical. Software testing is all practice. It relies on knowledge but is more than learning. It is based on programming experience and common sense. This book is all about the design and development of tools for software testing. My intention is to get the reader involved in software testing rather than simply memorizing the concepts. The book has three parts: Software Testability, Fault Localization, and Test data generation.
Part I Testability Driven Development
1 Software Testability
2 Unit Testing and Test-Driven Development (TDD)
3 Acceptance Testing and Behavior Driven Development (BDD)
4 Testability Driven Development (TsDD)
5 Automatic Refactoring
Part II Automatic Fault Localization
6 Graph Coverage
7 Spectrum-Based Fault Localization
8 Fault Localization Tools: Diagnosis Matrix and Slicing
9 Coincidentally Correct Executions
10 Graph and Frequency-Based Fault Localization
Part III Automatic Test Data Generation
11 Search-Based Testing
12 Testing Unknowns
13 Automatic Test Data Generation Symbolic and Concolic Executions
14 Automatic Test Data Generation for Domain Coverage