DART

<jats:p> We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) <jats:italic>automated</jats:italic> 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 <jats:italic>random</jats:italic> 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 <jats:italic>direct</jats:italic> systematically the execution along alternative program paths. Together, these three techniques constitute <jats:italic>Directed Automated Random Testing</jats:italic> , or <jats:italic>DART</jats:italic> for short. The main strength of DART is thus that testing can be performed <jats:italic>completely automatically</jats:italic> 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. </jats:p>