Module test case generation

Authors:
D. Hoffman;C. Brealey
Affiliations:
University of Victoria, Department of Computer Science, P.O. Box 1700, Victoria, B.C., Canada;University of Victoria, Department of Computer Science, P.O. Box 1700, Victoria, B.C., Canada
Venue:
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Year:
1989

Citing 10
Cited 9

Abstraction and specification in program development

Abstraction and specification in program development
A rational design process: How and why to fake it

IEEE Transactions on Software Engineering
Trace Specifications: Methodology and Models

IEEE Transactions on Software Engineering
Practical interface specification

Software—Practice & Experience
Mockingbird: a logical methodology for testing

Journal of Logic Programming - Logic programming applications
The mythical man-month (anniversary ed.)

The mythical man-month (anniversary ed.)
An Approach to Program Testing

ACM Computing Surveys (CSUR)
Data Abstraction, Implementation, Specification, and Testing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical and empirical studies on using program mutation to test the functional correctness of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using assertions about traces to write abstract specifications for software modules

Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology

Case studies on testing object-oriented programs

TAV4 Proceedings of the symposium on Testing, analysis, and verification
The ASTOOT approach to testing object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Analyzing Regression Test Selection Techniques

IEEE Transactions on Software Engineering
A safe, efficient regression test selection technique

ACM Transactions on Software Engineering and Methodology (TOSEM)
Test templates: a specification-based testing framework

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Automatically Checking an Implementation against Its Formal Specification

IEEE Transactions on Software Engineering
Test-Case Generation from Prolog-Based Specifications

IEEE Software
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact

Empirical Software Engineering
Checking formal specifications by testing

IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

While considerable attention has been given to techniques for developing complex systems as collections of reliable and reusable modules, little is known about testing these modules. In the literature, the special problems of module testing have been largely ignored and few tools or techniques are available to the practicing tester. Without effective testing methods, the development and maintenance of reliable and reusable modules is difficult indeed.We describe an approach for systematic module regression testing. Test cases are defined formally using a language based on module traces, and a software tool is used to automatically generate test programs that apply the cases. Techniques for test case generation in C and in Prolog are presented and illustrated in detail.