Potentials of Constraint-Based Methods in Software Verification and Validation
Date | 14 May 2012 - 16 May 2012 |
---|---|
Event | DASIA 2012 |
Location | Dubrovnik, Croatia |
We give an overview over the principles of constraint-
based test data generation, discuss its limitations and
potentials and touch some of the domains which may be
interesting to combine with constraint-based testing
techniques. Automated generation of test data is an
example where this technique can be applied and
significantly increase the degree of automation, but it is
not limited to. This paper is intended to give interested
readers a quick entry into the methods and applications
to allow a deeper understanding and an informed verdict
about the actual capabilities and potential future
directions.
Permalink