Abstract
The generation of test cases to pass a specific code coverage paradigm is still a time consuming and thus costly task. The problem of determining suitable numerical values for test vectors is known to be NP-hard. However, similar to optimization problems a branch-and-bound technique based on interval arithmetic has been defined for automatic test case generation which shows good practical behavior.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G. Alefeld, J. Herzberger,: Introduction to Interval Computations. Academic Press, New York (1983)
R. Moore: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)
K. Musch, G. Schumacher: Interval Analysis for Embedded Systems. In: Developments in Reliable Computing, ed. by T. Csendes, Kluwer Academic Publishers, Dordrecht, S. 209–218 (1999)
H. Ratschek, J. Rokne: Computer Methods for the Range of Functions. Ellis Horwood, Chichester (1984)
S. Skelboe: Computation of rational functions. BIT 14, p 87–95 (1974)
G. Schumacher, A. Bantle: Report and Implementation of a Test Case Generator into a Test Environment. Report No T3/3/4, OMI/SAFE Project (EP23920), European Commission (1999).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Schumacher, G., Bantle, A. (2001). Automatic Test Case Generation Using Interval Arithmetic. In: Krämer, W., von Gudenberg, J.W. (eds) Scientific Computing, Validated Numerics, Interval Methods. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6484-0_7
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6484-0_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-3376-8
Online ISBN: 978-1-4757-6484-0
eBook Packages: Springer Book Archive