ARTOO: Adaptive random testing for object-oriented software

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 71-80

  Ciupa, Ilinca ^a   Leitner, Andreas ^a   Oriol, Manuel ^a   Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Adaptive random testing; Object distance; Software testing

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

ADAPTIVE RANDOM TESTING; AUTOMATED TESTING; AVERAGE DISTANCES; EXPERIMENTAL ANALYSIS; NOTION OF DISTANCES; OBJECT DISTANCE; OBJECT-ORIENTED SOFTWARES; OBJECTIVE CRITERION; ORDERS OF MAGNITUDES; RANDOM STRATEGIES; RANDOM TESTING; TEST INPUTS; TESTING STRATEGIES;

SOFTWARE TESTING; OBJECT ORIENTED PROGRAMMING;

ADAPTIVE RANDOM TESTING; AUTOMATED TESTING; AVERAGE DISTANCE; EXPERIMENTAL ANALYSIS; NOTION OF DISTANCE; OBJECT DISTANCE; OBJECT ORIENTED SOFTWARE; OBJECTIVE CRITERIA; ORDERS OF MAGNITUDE; RANDOM STRATEGY; RANDOM TESTING; TEST INPUTS; TESTING STRATEGIES;

EID: 52449125806     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368099     Document Type: Conference Paper

References (30)

1. Jtest. Parasoft Corporation, http://www.parasoft.com/.
2. The Eiffel Base Library. Eiffel Software Inc. http://www.eiffel.com/.
3. ANDREWS, J. H., HALDAR, S., LEI, Y., AND LI, C. H. Randomized unit testing: Tool support and best practices. Tech. Rep. 663, Department of Computer Science, University of Western Ontario, January 2006.
4. ANDREWS, J. H., HALDAR, S., LEI, Y., AND LI, F. C. H. Tool support for randomized unit testing. In RT '06: Proceedings of the 1st International Workshop on Random Testing (2006), ACM Press, New York, NY, USA, pp. 36-45.
5. BOYAPATI, C., KHURSHID, S., AND MARINOV, D. Korat: automated testing based on Java predicates. In Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), Rome, Italy (2002).
6. CHAN, K. P., CHEN, T. Y., AND TOWEY, D. Restricted random testing. In Proceedings of the 7th International Conference on Software Quality (2002), Springer-Verlag, London, UK, pp. 321 - 330.
7. CHEN, T., MERKEL, R., WONG, P., AND EDDY, G. Adaptive random testing through dynamic partitioning. In Proceedings of the Fourth International Conference on Quality Software (Los Alamitos, CA, USA, 2004), IEEE Computer Society, pp. 79 - 86.
8. CHEN, T. Y., KUO, F. C., MERKEL, R. G., AND NG, S. P. Mirror adaptive random testing. In Proceedings of the Third International Conference on Quality Software (Los Alamitos, CA, USA, 2003), IEEE Computer Society, pp. 4 - 11.
9. CHEN, T. Y. LEUNG, H., AND MAK, I. K. Adaptive random testing. In Advances in Computer Science - ASIAN 2004: Higher-Level Decision Making. 9th Asian Computing Science Conference. Proceedings (2004), M. J. Maher, Ed., Springer-Verlag GmbH.
10. CHEN, T. Y., AND MERKEL, R. Quasi-random testing. In ASE '05: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (2005), ACM Press, New York, NY, USA, pp. 309-312.
11. CIUPA, I., LEITNER, A., ORIOL, M., AND MEYER, B. Object distance and its application to adaptive random testing of object-oriented programs. In RT '06: Proceedings of the 1st International Workshop on Random Testing (2006), ACM Press, New York, NY, USA, pp. 55-63.
12. CIUPA, I., LEITNER, A., ORIOL, M., AND MEYER, B. Experimental assessment of random testing for object-oriented software. In Proceedings of ISSTA'07: International Symposium on Software Testing and Analysis 2007 (2007), ACM, New York,' NY, USA, pp. 84-94.
13. CSALLNER, C., AND SMARAGDAKIS, Y. JCrasher: an automatic robustness tester for Java. Software: Practice and Experience 34, 11 (2004), 1025-1050.
14. DURAN, J., AND NTAFOS, S. An evaluation of random testing. IEEE Transactions on Software Engineering SE-10 (July 1984), 438-444.
15. GODEFROID, P., KLARLUND, N., AND SEN, K. DART: directed automated random testing. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (New York, NY, USA, 2005), ACM Press, New York, NY, USA, pp. 213-223.
16. HAMLET, D., AND TAYLOR, R. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering 16 (12) (December 1990), 1402-1411.
17. HAMLET, R. Random testing. In Encyclopedia of Software Engineering, J. Marciniak, Ed. Wiley, 1994, pp. 970-978.
18. KHURSHID, S., PASAREANU, C. S., AND VISSER, W. Generalized symbolic execution for model checking and testing. In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003) (2003), vol. LNCS 2619, Springer-Verlag, pp. 553-568.
19. LEITNER, A., AND CIUPA, I. Auto Test. http://se.inf.ethz.ch/people/leitner/auto-test/, 2005 - 2007.
20. LEVENSHTEIN, V. I. Binary codes capable of correcting deletions, insertions, and reversals. Doklady Akademii Nauk SSSR 163, 4 (1965), 845-848.
21. MAYER, J. Adaptive random testing by bisection with restriction. In Proceedings of the Seventh International Conference on Formal Engineering Methods (ICFEM 2005) (2005), LNCS 3785, Springer-Verlag, Berlin, pp. 251-263.
22. MAYER, J. Lattice-based adaptive random testing. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005) (2005), ACM, ACM Press, New York, NY, USA, pp. 333-336.
23. MEYER, B. Object-Oriented Software Construction, 2nd edition. Prentice Hall, 1997.
24. MEYER, B., CIUPA, I., LEITNER, A., AND LIU, L. L. Automatic testing of object-oriented software. In Proceedings of SOFSEM 2007 (Current Trends in Theory and Practice of Computer Science) (2007), J. van Leeuwen, Ed., Lecture Notes in Computer Science, Springer-Verlag.
25. MYERS, G. J. The Art of Software Testing. John Wiley & Sons, 1979.
26. ORIAT, C. Jartege: a tool for random generation of unit tests for Java classes. Tech. Rep. RR-1069-1, Centre National de la Recherche Scientifique, Institut National Polytechnique de Grenoble, Universite Joseph Fourier Grenoble I, June 2004.
27. PACHECO, C., AND ERNST, M. D. Eclat: Automatic generation and classification of test inputs. In ECOOP 2005 - Object-Oriented Programming, 19th European Conference (Glasgow, Scotland, July 25-29, 2005).
28. PACHECO, C., LAHIRI, S. K., ERNST, M. D., AND BALL, T. Feedback-directed random test generation. In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007).
29. TONELLA, P. Evolutionary testing of classes. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (2004), ACM Press, New York, NY, USA, pp. 119-128.
30. VISSER, W., PASAREANU, C. S., AND KHURSHID, S. Test input generation with Java Path Finder. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (2004), ACM Press, New York, NY, USA, pp. 97-107.