Results 231 to 240 of about 1,150,637 (268)

Theory of Program Testing-An Overview

Bell System Technical Journal, 1983
Summary: In this paper, we provide a detailed survey of the various approaches to program testing that have been proposed in recent years. Particular attention is given to a discussion of the developing theory of program testing and to the decomposition of the testing problem into the program graph construction, test path selection, and test case ...
openaire   +2 more sources

Programming Style and Program Testing

1990
In Chapter 2 we showed how to reduce a task by stepwise refinement until the resulting subtasks are so simple that they can be formulated with elementary actions. In Chapter 3 we introduced the programming language Modula-2, and in Chapter 4 we handled specialized problems that can arise in the course of programming in Modula-2.
Günther Blaschek, Gustav Pomberger
openaire   +1 more source

Development of test programs in a virtual test environment

Proceedings of 14th VLSI Test Symposium, 2002
An environment for the efficient development of quality-assured mixed-signal test programs is introduced. The new approach provides links between design and test engineers based on a standard test description language VTML (Virtual Test Modelling Language).
M. Miegler, Werner Wolz
openaire   +1 more source

Testing for Perturbations of Program Statements

IEEE Transactions on Software Engineering, 1983
Many testing methods require the selection of a set of paths on which tests are to be conducted. Errors in arithmetic expressions within program statements can be represented as perturbing functions added to the correct expression. It is then possible to derive the set of errors in a chosen functional class which cannot possibly be detected using a ...
openaire   +1 more source

The program dependence graph in static program testing

Information Processing Letters, 1987
Abstract In this paper, new techniques for static program testing are presented. The techniques are based on the program dependence graph, which models the structure of the program in terms of data and control dependences between program instructions. First, a new approach for redundant code detection is proposed.
openaire   +1 more source

Regression Testing of Evolving Programs

2013
Abstract Software changes, such as bug fixes or feature additions, can introduce software bugs and reduce the code quality. As a result tests which passed earlier may not pass any more—thereby exposing a regression in software behavior. This survey overviews recent advances in determining the impact of the code changes onto the program’s behavior and
Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira   +2 more
openaire   +3 more sources

Reliability theory of program testing

Acta Informatica, 1981
The formal idea of reliability of a set of test data for a program is explored. Although this idea captures something of what testing should accomplish in practice, it has two defects: in general it is impossible to tell if a given test is reliable; and, if reliability is attained, the test points are linked to errors no longer present, not to the ...
openaire   +2 more sources

Test sets of integer programs

Mathematical Methods of Operations Research, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Program development and testing

2017
Andrew P. King, Paul Aljabar
openaire   +1 more source

Using a population-based cancer reporting system to evaluate a breast cancer detection and awareness program

Ca-A Cancer Journal for Clinicians, 1992
Paula M Lantz
exaly