Using information about functions in selecting test cases

Proceedings of the 1st International Workshop on Advances in Model-Based Testing, A-MOST '05

Volumn , Issue , 2005, Pages

  Clermont, Markus ^a   Parnas, David ^a  

^a UNIVERSITY OF LIMERICK   (Ireland)

Author keywords

black box testing; tabular expressions; test data generation

Indexed keywords

BLACK BOXES; BLACK-BOX TESTING; PROGRAM BUGS; STRESS TESTING; TABULAR EXPRESSIONS; TEST CASE; TEST DATA GENERATION;

DATA COMMUNICATION SYSTEMS; PROGRAM DEBUGGING; TEST FACILITIES;

TESTING;

EID: 77953979471     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1083274.1083276     Document Type: Conference Paper

References (16)

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. BEIZER, B. Black-Box Testing: Techniques for Functional Testing of Software Systems. J. Wiley, 1995.
4. DENVIR, T. Introduction to Discrete Mathematics for Software Engineering. Macmillan Education Ltd., 1986.
5. DILLER, A. Z- An Introduction to Formal Methods, second ed. Wiley, 1994.
6. GORDEN, R. A. Real Analysis: A first course. Addison-Wesley, 1997.
7. HAMLET, R. Theoretical comparison of testing methods. In Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification (1989), ACM Press, pp. 28-37.
8. th International Conference on Software Engineering (1995), IEEE, pp. 231-240.
9. JANICKI, R., AND KHEDRI, R. On a formal semantics of tabular expressions. Science of Computer Programming 39 (2001), 189-213.
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. PARNAS, D. L. Predicate logic for software engineering. IEEE Trans. Softw. Eng. 19, 9 (1993), 856-862.
14. SAYRE, K., AND POORE, J. H. Partition testing with usage models. Information & Software Technology 42, 12 (2000), 845-850.
15. VON MOHRENSCHILDT, M. A normal form for function rings of piecewise functions. Journal of Symbolic Computation 26 (1998), 607-619.
16. WEISSTEIN, E. W. Mathworld - a wolfram web ressource, 2005.