Software testing and verification

Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components.

Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 discusses the IEC 61499 reference architecture for distributed and reconfigurable control and its adoption by industry.

In his latest work, author Paul C Jorgensen takes his well-honed craftsman's approach to mastering model-based testing (MBT).

In his latest work, author Paul C Jorgensen takes his well-honed craftsman's approach to mastering model-based testing (MBT).

It is often assumed that software testing is based on clearly defined requirements and software development standards.

Validation of computer systems is the process that assures the formal assessment and report of quality and performance measures for all the life-cycle stages of software and system development, its implementation, qualification and acceptance, operation, modification, requalification, maintenance and retirement (PICS CSV PI 011-3).

Validation of computer systems is the process that assures the formal assessment and report of quality and performance measures for all the life-cycle stages of software and system development, its implementation, qualification and acceptance, operation, modification, requalification, maintenance and retirement (PICS CSV PI 011-3).

Plenty of software testing books tell you how to test well; this one tells you how to do it while decreasing your testing budget.

Plenty of software testing books tell you how to test well; this one tells you how to do it while decreasing your testing budget.

Many enterprises regard system-level testing as the final piece of the development effort, rather than as a tool that should be integrated throughout the development process.

Many enterprises regard system-level testing as the final piece of the development effort, rather than as a tool that should be integrated throughout the development process.

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.

The objective of this edited book is to gather best practices in the development and management of mobile apps projects.

The objective of this edited book is to gather best practices in the development and management of mobile apps projects.

Developing secure software requires the integration of numerous methods and tools into the development process, and software design is based on shared expert knowledge, claims, and opinions.

The book aims to enable the reader to master the engineering of communication protocols, which are amply present nowadays in mobile phones, tablets, laptops, smart appliances, and service providers' datacenters and clouds.

The book aims to enable the reader to master the engineering of communication protocols, which are amply present nowadays in mobile phones, tablets, laptops, smart appliances, and service providers' datacenters and clouds.

This book presents the analysis, design, documentation, and quality of software solutions based on the OMG UML v2.

This book presents the analysis, design, documentation, and quality of software solutions based on the OMG UML v2.

This book provides the latest research advances in the field of system reliability assurance and engineering.

This book provides the latest research advances in the field of system reliability assurance and engineering.

For the last two decades, IS researchers have conducted empirical studies leading to a better understanding of the impact of Systems Analysis and Design methods in business, managerial, and cultural contexts.

For the last two decades, IS researchers have conducted empirical studies leading to a better understanding of the impact of Systems Analysis and Design methods in business, managerial, and cultural contexts.

Software testing is at a very important crossroad, where it is going back to the roots on certain fronts while moving inexorably forward.

This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems.

Software is one of the most important products in human history and is widely used by all industries and all countries.

Safety assurance of software systems has never been as imminent a problem as it is today.

Human Factors in System Design, Development, and Testing describes engineering system design as a behavioral process, a process which raises questions the designer must answer.

There is no substitute for extensive testing when it comes to IT systems.

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

Safety assurance of software systems has never been as imminent a problem as it is today.

This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA.

This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA.

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.

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.

New edition of one of the most influential books on managing software and hardware testing In this new edition of his top-selling book, Rex Black walks you through the steps necessary to manage rigorous testing programs of hardware and software.

Hands-on guidance to creating great test-driven development practice Test-driven development (TDD) practice helps developers recognize a well-designed application, and encourages writing a test before writing the functionality that needs to be implemented.

Hands-on guidance to creating great test-driven development practice Test-driven development (TDD) practice helps developers recognize a well-designed application, and encourages writing a test before writing the functionality that needs to be implemented.

New edition of one of the most influential books on managing software and hardware testing In this new edition of his top-selling book, Rex Black walks you through the steps necessary to manage rigorous testing programs of hardware and software.

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

Delve deep into the forefront of technological advancements shaping the future of supply chain safety and resilience.

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems.

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems.

This book provides insights into contemporary issues and challenges in multi-criteria decision models.

This book provides insights into contemporary issues and challenges in multi-criteria decision models.

Software is one of the most important products in human history and is widely used by all industries and all countries.

Global competition is forcing reliability and other professionals to work closely during the product design and manufacturing phase.

Global competition is forcing reliability and other professionals to work closely during the product design and manufacturing phase.

Providing a framework to guide software professionals through the many aspects of development, Building Software: A Practitioner's Guide shows how to master systems development and manage many of the soft and technical skills that are crucial to the successful delivery of systems and software.

For today's programmers, it is impossible to foresee every input, every usage scenario, and every combination of applications that can cause errors when run simultaneously.