A Test Environment for High Integrity Software Development

The paper describes the architecture and implementation of the dynamic analysis tools that are part of the DOBERTSEE environment. DOBERTSEE is a low-cost, flexible software engineering environment wich enables different development processes and methods to be supported by integrating different tools. An XML-based language is used as a basis for integration. The current version of the environment supports the HRT-HOOD method and Ravenscar Ada, and includes an extensive set of static and dynamic analysis tools.