Regression testing, which attempts to validate modified software and ensure that no new errors are introduced into previously tested code, is used extensively during maintenance of evolving software. Despite efforts to reduce its cost, regression testing remains one of the most expensive activities performed during a software system’s lifetime. Because regression testing is important and expens...

How can we test the correctness of a computer implementation of an algorithm such as Gaussian elimination, or the QR algorithm for the eigenproblem? This is an important question for program libraries such as LAPACK, that are designed to run on a wide range of systems. We discuss testing based on verifying known backward or forward error properties of the algorithms, with particular reference t...

Successful commercial computer systems contain tens of millions of lines of handwritten software, all of which is subject to change as competitive pressures motivate the addition of new features in each release. As a practical matter, quality is not a question of correctness, but rather of how many bugs are fixed and how few are introduced in the ongoing development process. If the bug count is...

This chapter approaches paramount aspects related to test automation, introducing the importance of implementation in the software market and essential bases, such as adjustment to the organizational reality and establishment of an efficient strategy. Types of tools and directives for a successful implantation are presented. Test automation has been considered the main measure taken to enhance ...

Software testing is hard, expensive, and uncertain. Many protocols have been suggested, especially in the area of conformance veri cation. In order to compare the e cacy of these protocols, we have implemented a designed simulation experiment that examines performance in terms of testing costs and risks. We nd that no single method dominates all others, and provide guidance on how to choose the...

Extensively class tested, this text takes an innovative approach to software testing: it defines testing as the process of applying a few welldefined, general-purpose test criteria to a structure or model of the software. The structure of the text directly reflects the pedagogical approach and incorporates the latest innovations in testing, including modern types of software such as OO, Web app...

Software testing requires the use of a model to guide such efforts as test selection and test verification. Often, such models are implicit, existing only in the head of a human tester, applying test inputs in an ad hoc fashion. The mental model testers build encapsulates application behavior, allowing testers to understand the application’s capabilities and more effectively test its range of p...

Component-based software development facilitates software reuse and promotes productivity and quality. Although much work has been proposed for building component-based systems, techniques of testing component-based systems have not been well developed. In this paper, we present a technique for component-based software in integration testing. Our approach uses both static and dynamic analysis t...

Software simulators that emulate equivalent behavior of physical microcontrollers play an important role in the process of software development for embedded systems from an early development stage (e.g. when no target hardware is available) to the final verification process (e.g. used in combination with formal methods). Thus, much reliance is put on the correctness of these simulators. This pa...

English) Software has found its way into our everyday lives and as a consequence the impact of software failures can range from just being inconvenient to being life-threatening in the worst case. Consequently, software quality is a major concern in the development of modern software systems. Testing is considered as a practical technique for finding bugs in computer programs. An important aspe...