Sciweavers

Share
AMOST
2007
ACM

Achieving both model and code coverage with automated gray-box testing

10 years 7 months ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the form of test sequences, as well as the oracle to check for conformance of an application under test with respect to a behavioral model. The latter finds a set of concrete parameter values that maximize code coverage using symbolic analysis. By applying these techniques together, we can produce test definitions (expressed as code to be run in a test management framework) that exercise all selected paths in the model, while also covering code branches specific to the implementation. These results cannot be obtained from any of the individual approaches alone, as the model cannot predict what values are significant to a particular implementation, while parameterized unit testing requires manually written test sequences and correctness valid...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where AMOST
Authors Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
Comments (0)
books