ATGen: automatic test data generation using constraint logic programming and symbolic execution The verification and validation of software through dynamic testing is an area of software engineering where progress towards automation has been slow. In particular the automatic design and generation of test data remains, by and large, a manual activity. This is despite the high promises that the symbolic execution technique engendered when it was first proposed as a method for automatic test data generation. This paper presents an automatic test data generator based on constraint logic programming and symbolic execution. After reviewing the symbolic execution technique, approaches for the resolution of the technical difficulties that have so far prevented symbolic execution from reaching its full potential in the area of automatic test data generation are presented. ATGen, an automatic test data generator, based on symbolic execution and that uses constraint logic programming, is then discussed.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan: Connectors as designs: modeling, refinement and test case generation (2012)
- Senni, Valerio; Fioravanti, Fabio: Generation of test data structures using constraint logic programming (2012)
- Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore: Using bounded model checking for coverage analysis of safety-critical software in an industrial setting (2010)
- Degrave, François; Schrijvers, Tom; Vanhoof, Wim: Towards a framework for constraint-based test case generation (2010)
- Gómez-Zamalloa, Miguel; Albert, Elvira; Puebla, Germán: Test case generation for object-oriented imperative languages in CLP (2010)
- Albert, Elvira; Gómez-Zamalloa, Miguel; Puebla, Germán: Test data generation of bytecode by CLP partial evaluation (2009)
- Blom, Johan; Hessel, Anders; Jonsson, Bengt; Pettersson, Paul: Specifying and generating test cases using observer automata (2005)
- Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien: CLPS --- B --- A constraint solver to animate a B specification (2004)