Software testing and verification

This book covers the syllabus for the Improving the Test Process module of the International Software Testing Qualifications Board (ISTQB) Expert Level exam.

Dieses Buch behandelt alle Aspekte des funktionalen Sicherheitsmanagements und beschreibt die Anforderungen der ISO 26262 im Detail.

Every software developer and IT professional understands the crucial importance of effective debugging.

Master how to implement a repeatable software construction system.

Software development is hard, but creating good software is even harder, especially if your main job is something other than developing software.

Overhaul your debugging techniques and master the theory and tools needed to debug and troubleshoot cloud applications in production environments.

Write fail-safe automation tests, device emulation, and browser automation using Puppeteer's Google-powered APIKey FeaturesGet up and running with Puppeteer and discover best practices for automation testingAutomate your modern web applications using Jest and Mocha with PuppeteerGenerate screenshots using Puppeteer and find out how they can be used for UI regression testsBook DescriptionPuppeteer is an open source web automation library created by Google to perform tasks such as end-to-end testing, performance monitoring, and task automation with ease.

Get more out of your legacy systems: more performance, functionality, reliability, and manageability Is your code easy to change?

Every software developer and IT professional understands the crucial importance of effective debugging.

Teams working on the JVM can now say goodbye forever to misunderstood requirements, tedious manual acceptance tests, and out-of-date documentation.

Now that were moving from a product economy to a digital service economy, software is becoming critical for navigating our everyday lives.

Accelerate Your Pursuit of Software Excellence by Learning from Others' Hard-Won Experience "e;Karl is one of the most thoughtful software people I know.

Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB Model-Based Tester Foundation Level Certification Syllabus This book covers the essentials of Model-Based Testing (MBT) needed to pass the ISTQB Foundation Level Model-Based Tester Certification.

Reliable test design is important in software testing; without it, defects in software may remain undetected.

Jack the Ripper and legacy codebases have more in common than you'd think.

Master how to implement a repeatable software construction system.

This book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control.

Get more out of your legacy systems: more performance, functionality, reliability, and manageability Is your code easy to change?

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.

Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB Model-Based Tester Foundation Level Certification Syllabus This book covers the essentials of Model-Based Testing (MBT) needed to pass the ISTQB Foundation Level Model-Based Tester Certification.

Most of the software measures currently proposed to the industry bring few real benefits to either software managers or developers.

Current hype aside, the Internet of Things will ultimately become as fundamental as the Internet itself, with lots of opportunities and trials along the way.

An in-depth review of key techniques in software error detection Software error detection is one of the most challenging problems in software engineering.

This is the digital version of the printed book (Copyright (c) 2004).

This digtial Short Cut provides a concise and supremely useful guide to the emerging trend of User Acceptance Testing (UAT).

This is the digital version of hte printed book (Copyright (c) 1997).

This is the digital version of the printed book (Copyright (c) 2004).

Leading companies around the world, including Toyota and General Electric, have practiced Quality Function Deployment (QFD) for decades.

The software industry stands on the brink of an era of dramatic change.

This short cut is a reproduction of Chapter 21 of the book Design for Trustworthy Software (DFTS) and is a sequel to Chapters 2, 5, and 20.

This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD 2025, held in Munich, Germany, during May 20-22, 2025.

SummaryTesting Angular Applications is an example-rich, hands-on guide that gives you the real-world techniques you need to thoroughly test all parts of your Angular applications.

The authors of this book explore a way to build cloud-native microservice applications, based on years of practice.

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.

SummaryWriting Great Specifications is an example-rich tutorial that teaches you how to write good Gherkin specification documents that take advantage of the benefits of specification by example.

Chaos Engineering teaches you to design and execute controlled experiments that uncover hidden problems.

SummaryTesting Java Microservices teaches you to implement unit and integration tests for microservice systems running on the JVM.

Optimize the performance of your systems with practical experiments used by engineers in the world's most competitive industries.

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.

SummaryThe Art of Unit Testing, Second Edition guides you step by step from writing your first simple tests to developing robust test sets that are maintainable, readable, and trustworthy.

This introductory textbook on Java programming is different from others by its emphasis on test-driven development.

SummaryJava Testing with Spock teaches you how to use Spock for a wide range of testing use cases in Java.

The authors of this book explore a way to build cloud-native microservice applications, based on years of practice.

Get ready to code like a pro in Rust with insider techniques used by Rust veterans!

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.

This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD 2025, held in Munich, Germany, during May 20-22, 2025.

Unit testing is more than just a collection of tools and practicesit's a state of mind!

Haskell in Depth unlocks a new level of skill with this challenging language.

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.