Random testing: From the classical approach to a global view and full test automation

Proceedings of the 2nd International Workshop on Random Testing, RT 2007, Co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2007

Volumn , Issue , 2007, Pages 30-37

  Gerlich, Rainer ^a   Gerlich, Ralf ^a   Boll, Thomas ^a  

^a BSSE ^*  (Germany)

Author keywords

automated software test; path set coverage; random testing; test coverage

Indexed keywords

AUTOMATED SYSTEMS; AUTOMATED TEST; AUTOMATED UNITS; CLASSICAL APPROACH; COMPLEX ANALYSIS; COMPLEX METHODS; COMPLEX SYSTEMS; CONSTRAINT-BASED; GLOBAL VIEW; INTEGRATION TESTS; PATH SET; PRACTICAL EXPERIENCE; RANDOM TESTING; SIMPLE METHOD; SOFTWARE TEST; TEST AUTOMATION; TEST COVERAGE; TEST DATA GENERATION;

AUTOMATION; COMPUTER SOFTWARE; INDUSTRIAL APPLICATIONS;

TESTING;

EID: 77953987366     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1292414.1292424     Document Type: Conference Paper

References (25)

1. Arjonilla, A. The last step towards full on-board software automatic development: the automatic test of code generated from models. Proceedings of DAta Systems in Aerospace (DASIA 2007), SP-570, European Space Agency (ed.) (CDROM)
2. Baresi, L. and Young, M. Test oracles. Technical Report CIS-TR01-02, Univ. of Oregon, 2001.
3. Beizer, B. Black-Box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons, Inc., 1995.
4. Chen, T.Y., Leung, H., and Mak, I. K. Adaptive random testing. Proceedings of the 9th Asian Computing Science Conference (ASIAN 2004), ser. Lecture Notes in Computer Science, M. J. Maher, Ed., vol. 3321. Springer, 2004, 320-329.
5. Coppit, D. and Lian, J. yagg: An Easy-To-Use Generator for Structured Test Inputs. Proceedings of the 20th IEEE/ACM Intl. Conf. on Automated Softw. Eng. (ASE 2005), November 2005, 356-359.
6. CRISYS (Critical Instrumentation and Control Systems) EU-ESPRIT project EP 25514, Final Report. 2001. Unpublished.
7. DeMillo, R.A. and Offut, A.J. Constraint-Based Automatic Test Data Generation. IEEE Trans. on Software Eng., 17, 9 (September 1991), 900-910.
8. Ferguson, R. and Korel, B. The Chaining Approach for Software Test Data Generation. ACM Trans. on Softw. Eng. and Methodology, 5, 1 (January 1996), 63-68. (Pubitemid 126669196)
9. Frühwirth, Th. and Abdennadher, S. Essentials of constraint programming. Springer, 2003.
10. Gerlich, R., Gerlich R., Boll, Th. and Mayer, J. Evaluation of Auto-Test Generation Strategies and Platforms. Proceedings of Data Systems in Aerospace (DASIA 2007), European Space Agency (ed.), SP-638, 2007.
11. Gerlich, R., Gerlich, R. Boll, Th. and Chevalley, Ph. Improving Test Automation by Deterministic Methods in Statistical Testing. Proceedings of Data Systems in Aerospace (DASIA 2006), European Space Agency (ed.), SP-630, 2006.
12. Gerlich, R. Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation, Diploma Thesis, University of Ulm, 2005.
13. Godefroid, P., Klarlund, N. and Sen, K. DART: directed automated random testing. Proceedings of the ACM conf. on Programming language design and implementation (SIGPLAN 2005), 213-223.
14. Gotlieb, A., Botella, B. and Rueher, M. Automatic test data generation using constraint solving techniques. Proceedings of Intl. Symp. on Software Testing and Analysis (ISSTA 1998), ACM SIGSOFT, 2, 1998, 53-62.
15. Gouraud, S.-D., Denise, A., Gaudel, M.-C. and Marre, B. A New Way of Automating Statistical Testing Methods. Automated Software Engineering Conference (ASE2001), IEEE, 2001, 5-12.
16. Hamlet, R. Random Testing. Encyclopedia of Software Engineering, Marciniak, J. (ed.), Wiley, 1994, 970-978.
17. Hoffman, D. Using Oracles in Test Automation. Proceedings of Pacific Northwest Software Quality Conference (PNSQC 2001), 90-117.
18. Lengauer, T. and Tarjan, R.E. A Fast Algorithm for Finding Dominators in a Flowgraph. ACM Trans. on Program. Lang. Syst., 1, 1 (July 1979), 121-141.
19. Mayer, J. Lattice-Based Adaptive Random Testing. Proceedings of the 20th IEEE/ACM Intl. Conf. on Automated Softw. Eng. (ASE 2005), November 2005, 333-336.
20. Mayer, J. and Guderlei, R. Test Oracles Using Statistical Methods. Proceedings of the First Intl. Workshop on Software Quality (SOQUA 2004), 2004, 85-95.
21. McMinn, Ph. Search-based Software Test Data Generation: A Survey. Software Testing, Verification and Reliability, 14, 2 (June 2004), 105-156.
22. Miller, B.P., Koski, D., Lee, C.P., Maganty, V., Murthy, R., Natarajan, A. and Steidl, J. Fuzz Revisited: A Reexamination of the Reliability of UNIX Utilities and Services. Computer Sciences Technical Report #1268, University of Wisconsin-Madison, April 1995.
23. Paxson, V. flex: fast lexical analyzer, http://flex.sourceforge.net/
24. Purdom, P. A sentence generator for testing parsers. BIT Numerical Mathematics, 12, 3 (September 1972), 366-75.#
25. Scade, Esterel Technologies, http://www.estereltechnologies. com/products/scade-suite