• Home
  • News
    • News Archive
  • Products
    • DCRTT
    • ISG/ASaP
    • DARTT
    • AutoPilot
  • Service
    • Systematic Project Management (SPM)
    • Systematic Requirements Management (SRM)
  • Experience
    • Rainer Gerlich
    • Ralf Gerlich
    • Company History
  • Papers
  • Contact
  • All
  • By Year
    • 2020
    • 2019
    • 2018
    • 2017
    • 2016
    • 2015
    • 2014
    • 2013
    • 2012
    • 2011
    • 2010
    • 2009
    • 2008
    • 2007
    • 2006
    • 2005
    • 2004
    • 2003
    • 2002
    • 2001
    • 2000
    • 1999
    • 1998
    • 1997
    • 1996
    • 1995
    • 1994
    • 1993
    • 1992
    • 1991
    • 1990
    • 1989
    • 1988
    • 1986
    • 1983
    • 1981
    • 1980
  • By Category
    • Ada
    • Automatic Code Generation
    • Automation
    • DASIA Presentations
    • ISG/ASaP
    • Platform Portability
    • Quality Assurance
    • Realtime Systems
    • Requirements Engineering
    • SDL
    • Safety Critical & Fault Tolerant Systems
    • Simulation
    • System & Software Engineering
    • Tool Integration
    • Verification & Validation

Papers 2012

Potentials of Constraint-Based Methods in Software Verification and Validation

Date14 May 2012 - 16 May 2012
EventDASIA 2012
LocationDubrovnik, 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

Files

Paper
Slides
Copyright © 2021 GSSE.
All rights reserved.
Imprint/Impressum Privacy Policy/Datenschutzerklärung Legal Notice