DART

DART: directed automated random testing. We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static source-code parsing; (2) automatic generation of a test driver for this interface that performs random testing to simulate the most general environment the program can operate in; and (3) dynamic analysis of how the program behaves under random testing and automatic generation of new test inputs to direct systematically the execution along alternative program paths. Together, these three techniques constitute Directed Automated Random Testing, or DART for short. The main strength of DART is thus that testing can be performed completely automatically on any program that compiles -- there is no need to write any test driver or harness code. During testing, DART detects standard errors such as program crashes, assertion violations, and non-termination. Preliminary experiments to unit test several examples of C programs are very encouraging.

This software is also peer reviewed by journal TOMS.


References in zbMATH (referenced in 74 articles )

Showing results 61 to 74 of 74.
Sorted by year (citations)
  1. Payet, Étienne; Mesnard, Fred: A non-termination criterion for binary constraint logic programs (2009)
  2. Yang, Zijiang; Al-Rawi, Bashar; Sakallah, Karem; Huang, Xiaowan; Smolka, Scott; Grosu, Radu: Dynamic path reduction for software model checking (2009)
  3. Yorav, Karen: Haifa verification conference 2007 (2009) ioport
  4. Alba, Enrique; Chicano, Francisco: Observations in using parallel and sequential evolutionary algorithms for automatic software testing (2008)
  5. Baskiotis, Nicolas; Sebag, Michele: Structural statistical software testing with active learning in a graph (2008)
  6. Kuo, Fei-Ching; Chen, Tsong Yueh; Liu, Huai; Chan, Wing Kwong: Enhancing adaptive random testing for programs with high dimensional input domains or failure-unrelated parameters. (2008) ioport
  7. Lahiri, Shuvendu; Qadeer, Shaz: Back to the future, revisiting precise program verification using SMT solvers (2008)
  8. Zybin, R. S.; Kuliamin, V. V.; Ponomarenko, A. V.; Rubanov, V. V.; Chernov, E. S.: Automation of broad sanity test generation (2008)
  9. Beyer, Dirk; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak: The software model checker blast (2007) ioport
  10. Calamé, Jens R.; Ioustinova, Natalia; van de Pol, Jaco: Automatic model-based generation of parameterized test cases using data abstraction (2007) ioport
  11. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad: Model-based test selection for infinite-state reactive systems (2007)
  12. Anand, Saswat; Păsăreanu, Corina S.; Visser, Willem: Symbolic execution with abstract subsumption checking (2006)
  13. Dams, Dennis R.; Namjoshi, Kedar S.: Orion: high-precision methods for static error analysis of C and C++ programs (2006)
  14. Godefroid, Patrice; Klarlund, Nils: Software model checking: Searching for computations in the abstract or the concrete (2005)