A tool-based approach for software testing and validation

Authors:
J. C. Huang;Peter Valdes;Raymond T. Yeh
Affiliations:
International Software Systems, Inc., College Park, Maryland;International Software Systems, Inc., College Park, Maryland;International Software Systems, Inc., College Park, Maryland
Venue:
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Year:
1984

Citing 14
Cited 0

An Approach to Program Testing

ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability

ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software

ACM Computing Surveys (CSUR)
Validation of Scientific Programs

ACM Computing Surveys (CSUR)
Art of Software Testing

Art of Software Testing
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
Static analysis of programs as an aid to debugging

SIGSOFT '83 Proceedings of the symposium on High-level debugging
Program Instrumentation and Software Testing

Computer
Functional Program Testing

IEEE Transactions on Software Engineering
Reliability of the Path Analysis Testing Strategy

IEEE Transactions on Software Engineering
Detection of Data Flow Anomaly Through Program Instrumentation

IEEE Transactions on Software Engineering
A Method for Analyzing Loop Programs

IEEE Transactions on Software Engineering
A Domain Strategy for Computer Program Testing

IEEE Transactions on Software Engineering
Instrumenting Programs for Symbolic-Trace Generation

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a methodology for software testing and validation. By recognizing that there are several major error types, this methodology uses different test strategies to expose a particular type of error. To facilitate these strategies, specific tools are needed. This paper not only identifies the desired tools, but also discusses the design concepts behind various tools as they have been built at International Software Systems, Inc. (ISSI).