Article

Free access

Module test case generation

Authors:

C. BrealeyAuthors Info & Claims

TAV3: Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification

Pages 97 - 102

https://doi.org/10.1145/75308.75320

Published: 01 November 1989 Publication History

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.

References

[1]

F.P. Brooks. The Mythical Man-Month. Addison- Wesley, 1975.

Digital Library

[2]

IEEE Standard for Software Unit Testing. Soft. Eng. Tech. Comm. of the IEEE Computer Society, May 1987.

[3]

D.L. Parnas and P.C. Clemeuts. A rational design process: how and why to fake it. IEEE Trans. Soft. Eng., SE-12(2):251-257, February 1986.

Digital Library

[4]

D.M. Hoffman. Practical interface specification. Sojtware - Practice and Experience, 19(2):127-148, February 1989.

Digital Library

[5]

Wolfram Bartussek and David L. Parnas. Using traces to write abstract specifications for software modules. In Information Systems Methodology, pages 211-236, Springer-Verlag, 1978. Proc. 2nd Conf. European CO- operation in Informatics, October 10-12, 1978.

[6]

D.M. Hoffman and R. Snodgrass. Trace specifications: methodology and models. IEEE Trans. Soft. Eng., 14(9), 1988.

Digital Library

[7]

D.M. Hoffman. A CASE study in module testing. In Proc. Conf. Software Maintenance (accepted for publication), IEEE Computer Society, October 1989.

[8]

W.E. Howden. Functional program testing. IEEE Trans. Soft. Eng., SE6(2):162-169, March 1980.

[9]

B. Liskov and J. Guttag. Abstraction and Specification in Program Development. The MIT Press, 1986.

Digital Library

[10]

J.W. Duran and S.C. Ntafos. An evaluation of random testing. IEEE Trans. Soft. Eng., SE-10(4):438- 444, July 1984.

Digital Library

[11]

J.C. Huang. An approach to program testing. ACM Computing Surveys, 7(3):113-128, September 1975.

Digital Library

[12]

W.E. Howden. Reliability of the path analysis testing strategy. IEEE Trans. Soft. Eng., SE-2(3):208-215, September 1976.

Digital Library

[13]

T.A. Budd, R.A. DeMillo, R. J. Lipton, and F.G. Sayward. Theoretical and empirical studies on using program mutation to test the functional correctness of programs. In Proc. Principles Prog. Lang., pages 220-233, ACM, 1980.

Digital Library

[14]

J. Gannon, P. McMullin, and R. Hamlet. Dataabstraction implementation, specification and testing. ACM Trans. Program. Lang. Syst., 3(3):211-223, July 1981.

Digital Library

[15]

D.J. Panzl. A language for specifying software tests. In Proc. AFIPS Natl. Comp. Conf., pages 609-619, AFIPS, 1978.

[16]

N. Choquet. Test data generation using a prolog with constraints. In Workshop on Software Testing, pages 132-141, IEEE Computer Society, 1986.

[17]

S. Gerhart. A Test Data Generation Method Using Prolog. Technical Report TR85-02, Wang Inst. of Grad. Studies, 1985.

[18]

M.M. Gorlick, C.D. Kesselman, D.A. Marotta, and D.S. Parker. Mockingbird: a logical methodology for testing. Journal of Logic Programming (to appear), 1988.

Digital Library

[19]

C. Wild. The Use of Generic Constraint Logic Programming for Software Testing and Analysis. Technical Report 88-02, Dept. of Computer Science, Old Dominion University, Norfolk, VA, 1988.

Cited By

Hyunsook Do Elbaum SRothermel G(2004)Infrastructure support for controlled experimentation with software testing and regression testing techniquesProceedings. 2004 International Symposium on Empirical Software Engineering, 2004. ISESE '04.10.1109/ISESE.2004.1334894(60-70)Online publication date: 2004
https://doi.org/10.1109/ISESE.2004.1334894
Antoy SHamlet D(2000)Automatically Checking an Implementation against Its Formal SpecificationIEEE Transactions on Software Engineering10.1109/32.82576626:1(55-69)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1109/32.825766
Harrold M(1999)Testing evolving softwareJournal of Systems and Software10.1016/S0164-1212(99)00037-047:2-3(173-181)Online publication date: 1-Jul-1999
https://dl.acm.org/doi/10.1016/S0164-1212%2899%2900037-0
Show More Cited By

Index Terms

Module test case generation
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
    2. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Modules / packages

Recommendations

Module test case generation

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 ...
Fault detection effectiveness of source test case generation strategies for metamorphic testing
MET '18: Proceedings of the 3rd International Workshop on Metamorphic Testing

Metamorphic testing is a well known approach to tackle the oracle problem in software testing. This technique requires the use of source test cases that serve as seeds for the generation of follow-up test cases. Systematic design of test cases is ...
The Risks of Coverage-Directed Test Case Generation
A number of structural coverage criteria have been proposed to measure the adequacy of testing efforts. In the avionics and other critical systems domains, test suites satisfying structural coverage criteria are mandated by standards. With the advent of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

TAV3: Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification

November 1989

229 pages

ISBN:0897913426

DOI:10.1145/75308

Editor:
Richard A. Kemmerer

ACM SIGSOFT Software Engineering Notes Volume 14, Issue 8
Dec. 1989
213 pages
ISSN:0163-5948
DOI:10.1145/75309
Editor:
Richard N. Taylor
Univ. of California, Irvine
Issue’s Table of Contents

Copyright © 1989 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

TAV-3

Sponsor:

SIGSOFT
IEEE-CS

TAV-3: 3rd Workshop on Software Testing Verification & Analysis

December 13 - 15, 1989

Florida, Key West, USA

Upcoming Conference

ISSTA '25

Sponsor:
sigsoft

34th ACM SIGSOFT International Symposium on Software Testing and Analysis

June 25 - 28, 2025

Trondheim , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
985
Total Downloads

Downloads (Last 12 months)79
Downloads (Last 6 weeks)11

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hyunsook Do Elbaum SRothermel G(2004)Infrastructure support for controlled experimentation with software testing and regression testing techniquesProceedings. 2004 International Symposium on Empirical Software Engineering, 2004. ISESE '04.10.1109/ISESE.2004.1334894(60-70)Online publication date: 2004
https://doi.org/10.1109/ISESE.2004.1334894
Antoy SHamlet D(2000)Automatically Checking an Implementation against Its Formal SpecificationIEEE Transactions on Software Engineering10.1109/32.82576626:1(55-69)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1109/32.825766
Harrold M(1999)Testing evolving softwareJournal of Systems and Software10.1016/S0164-1212(99)00037-047:2-3(173-181)Online publication date: 1-Jul-1999
https://dl.acm.org/doi/10.1016/S0164-1212%2899%2900037-0
Rothermel GHarrold M(1996)Analyzing Regression Test Selection TechniquesIEEE Transactions on Software Engineering10.1109/32.53695522:8(529-551)Online publication date: 1-Aug-1996
https://dl.acm.org/doi/10.1109/32.536955
Parrish ACordes DBrown D(1996)An environment to support micro-incremental class developmentAnnals of Software Engineering10.1007/BF020638112:1(213-236)Online publication date: Dec-1996
https://doi.org/10.1007/BF02063811
Zhenyi Jin Offutt A(1995)Integration testing based on software couplingsCOMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'10.1109/CMPASS.1995.521883(13-23)Online publication date: 1995
https://doi.org/10.1109/CMPASS.1995.521883
Parrish ACordes DBorie R(1993)Developmental testing of abstract data typesProceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '9310.1109/CMPSAC.1993.404214(49-55)Online publication date: 1993
https://doi.org/10.1109/CMPSAC.1993.404214
Horgan JLondon S(1992)A data flow coverage testing tool for C[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools10.1109/AQSDT.1992.205829(2-10)Online publication date: 1992
https://doi.org/10.1109/AQSDT.1992.205829
Doong RFrankl PHowden W(1991)Case studies on testing object-oriented programsProceedings of the symposium on Testing, analysis, and verification10.1145/120807.120822(165-177)Online publication date: 1-Oct-1991
https://dl.acm.org/doi/10.1145/120807.120822
Denney R(1991)Test-Case Generation from Prolog-Based SpecificationsIEEE Software10.1109/52.737498:2(49-57)Online publication date: 1-Mar-1991
https://dl.acm.org/doi/10.1109/52.73749
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten