Program testing techniques using simulated execution

Authors:
Leon J. Osterweil;Lloyd D. Fosdick
Affiliations:
-;-
Venue:
ANSS '76 Proceedings of the 4th symposium on Simulation of computer systems
Year:
1976

Citing 3
Cited 1

New assertion concepts for self-metric software validation

Proceedings of the international conference on Reliable software
A new approach to program testing

Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution

Proceedings of the international conference on Reliable software

Directed symbolic execution

SAS'11 Proceedings of the 18th international conference on Static analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

Simulation is proving to be a valuable technique in testing computer programs. By simulating different aspects of a program's execution and structure it is possible to detect errors and sometimes demonstrate the absence of certain errors in the program. This presentation will explore three popular testing methodologies which employ simulation techniques. Each methodology is based upon a different type of simulation of the program. The differences in error detection capability resulting from these different choices of simulated execution will be examined. Finally a method for using the best characteristics of each technique in a general validation system will be presented.