• 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
  • 2019 Metrics Survey
  • Contact
  • All
  • By Year
    • 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
    • Safety Critical & Fault Tolerant Systems
    • SDL
    • Simulation
    • System & Software Engineering
    • Tool Integration
    • Verification & Validation

Papers 2014

Automatic Test Data Generation and Model Checking with CHR

Date18 Jul 2014
EventCHR 2014
LocationVienna, Austria
We present an example for application of Constraint Handling Rules to automated test data generation and model checking in verification of mission critical software for satellite control.
Permalink

Files

Paper
Slides

Automated Source-code-based Testing of Object-Oriented Software

Date3 June 2014 - 5 June 2014
EventDASIA 2014
LocationWarsaw, Poland
With the advent of languages such as C++ and Java in mission- and safety-critical space on-board software, new challenges for testing and specifically automated testing arise. In this paper we discuss some of these challenges, consequences and solutions based on an experiment in automated source- code-based testing for C++.
Permalink

Files

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