Modern Software Testing Techniques A Practical Guide for Developers and Testers

Many books have been written about software testing, but most of them discuss the general framework of testing from a traditional perspective. Unfortunately, traditional test design techniques are often ineffective and unreliable for revealing the various kinds of faults that may occur. This book in...

Descripción completa

Detalles Bibliográficos
Otros Autores: Forgács, István, author (author), Kovács, Attila, author
Formato: Libro electrónico
Idioma:Inglés
Publicado: Berkeley, CA : Apress 2024.
Edición:1st ed. 2024.
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009790331406719
Tabla de Contenidos:
  • Intro
  • Table of Contents
  • About the Authors
  • About the Technical Reviewer
  • Acknowledgments
  • Introduction
  • Abbreviations
  • Chapter 1: Software Testing Basics
  • Bugs and Other Software Quality Destroyers
  • Lifetime of Bugs: From Cradle to Coffin
  • Pesticides Against Bugs
  • Classification of Bugs
  • Software Testing
  • Testing Life Cycle
  • Test Planning
  • Test Monitoring and Control
  • Test Analysis
  • Test Design
  • Test Implementation and Execution
  • Test Closure
  • Fault-Based Testing
  • Requirements and Testing
  • Testing Principles
  • 1. Testing is Possible
  • 2. Early and Balanced Testing
  • 3. Testing is Independent and Context Dependent
  • 4. Continuity of Testing
  • 5. Defect Clustering
  • Two Misconceptions
  • Comparison of the Existing and Our Principles
  • Summary
  • Chapter 2: Test Design Automation by Model-Based Testing
  • Higher-Order Bugs
  • Model-Based Testing
  • One-Phase (Traditional) Model-Based Testing
  • Two-Phase Model-Based Testing
  • Stateless Modeling
  • Use Case Testing
  • Stateful Modeling
  • FSM and EFSM-Based Modeling
  • How to Select States?
  • Model Maintenance
  • How to Create a Stateful Model - Example
  • Efficiency, Advantages, and Disadvantages
  • Stateless and Stateful Together - Action-State Testing
  • The Action-State Model
  • Test Selection Criteria for Action-State Testing
  • Creating Action-State Model
  • Comparison with Stateful Modeling
  • How a Real Bug Can Be Detected?
  • Summary
  • Chapter 3: Domain Testing
  • Equivalence Partitioning
  • Obtaining Partitions Without Partitioning
  • Example: Price Calculation
  • Equivalence Partitioning and Combinatorial Testing
  • Domain Analysis
  • Test Selection for Atomic Predicates
  • Selecting Tests for Predicates Comprising Two Atomic Components
  • Closed Borders
  • One Open and One Closed Border
  • Two Open Borders
  • Other Cases
  • Summary.
  • Test Selection for General Compound Predicates
  • Test Selection for Multidimensional Ranges
  • Optimized Domain Testing (ODT)
  • Boundary-Based Approach
  • Example: Online Bookstore
  • Rule-Based Approach
  • Example: Online Bookstore Revisited
  • Example: Paid Vacation Days
  • Safety-Critical Aspects of ODT
  • How ODT Can Help Developers
  • ODT at Different Abstraction Levels
  • Black-Box Solution
  • Gray-Box Solution
  • White-Box Solution
  • Comparing ODT with Traditional Techniques
  • Applying ODT with Other Techniques
  • Summary
  • Chapter 4: Developers and Testers Should Constitute a Successful Team
  • How Developers Can Help Testers
  • How Testers Can Help Developers
  • How to Find Tricky a Tricky Bug
  • Flaky Test
  • Developer - Tester Synergies
  • Summary
  • Chapter 5: Conclusion
  • Appendixes
  • Appendix I: Java Code for Quicksort
  • Appendix II: Test Cases for the Stateless Model of Car Rental Example
  • Appendix III: Test Cases for Stateful Model of Car Rental Example
  • Appendix IV: Test Cases for Action-State Model of Car Rental Example
  • Appendix V: ODT Tool Description
  • Glossary
  • References
  • Index.