Using information about functions in selecting test cases

ABSTRACT

We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal program bugs. Our approach assumes that so-called interesting points, i.e. points in a function's domain where properties change, e.g. maxima, are likely to reveal any problems and examine how we can determine the interesting points for a function defined by a complex expression if we know the interesting points for the functions named in that expression.

REFERENCES

• 1: Abraham. R. F. Evaluating Generalized Tabular Expressions. Master's thesis, McMaster University, 1997.
• 2: Bane, D., Jin, Y., and Parnas, D. Mathematical model of tabular expressions. Tech. Rep. SQRL ??, Software Quality Research Laboratory, October? 2004.
• 3: Boris Beizer, Black-box testing: techniques for functional testing of software and systems, John Wiley & Sons, Inc., New York, NY, 1995
• 4: Tim Denvir, Introduction to discrete mathematics for software engineering, Macmillan Press Ltd., Basingstoke, UK, 1986
• 5: Antoni Diller, Z: An Introduction to Formal Methods, John Wiley & Sons, Inc., New York, NY, 1994
• 6: Gorden, R. A. Real Analysis: A first course. Addison-Wesley, 1997.
• 7: R. Hamlet, Theoretical comparison of testing methods, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.28-37, December 13-15, 1989, Key West, Florida, United States
• 8: Ryszard Janicki, Towards a formal semantics of Parnas tables, Proceedings of the 17th international conference on Software engineering, p.231-240, April 24-28, 1995, Seattle, Washington, United States [doi>10.1145/225014.225036]
• 9: Ryszard Janicki , Ridha Khedri, On a formal semantics of tabular expressions, Science of Computer Programming, v.39 n.2-3, p.189-213, March 2001 [doi>10.1016/S0167-6423(00)00004-6 ]
• 10: Kreyman, K., and Parnas, D. On documenting the requirements for computer programs based on models of physical phenomena. Tech. Rep. SQRL 01, Software Quality Research Laboratory, McMaster Univeristy, January 2002.
• 11: Liu, S. Generating test cases from software documentation. Master's thesis, School of Graduate Studies, McMaster University, 2001.
• 12: Parnas, D. L. Tabular representations of relations. Tech. rep., McMaster University, 1992.
• 13: D. L. Parnas, Predicate Logic for Software Engineering, IEEE Transactions on Software Engineering, v.19 n.9, p.856-862, September 1993 [doi>10.1109/32.241769 ]
• 14: Sayre, K., and Poore, J. H. Partition testing with usage models. Information & Software Technology 42, 12 (2000), 845--850.
• 15: Martin Von Mohrenschildt, A normal form for function rings of piecewise functions, Journal of Symbolic Computation, v.26 n.5, p.607-619, Nov. 1, 1998 [doi>10.1006/jsco.1998.0229 ]
• 16: Weisstein, E. W. Mathworld - a wolfram web ressource, 2005.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Documentation, Reliability

Keywords:
black box testing, tabular expressions, test data generation