Rainer Gerlich

Learn More
Research has brought a number of different methods for automated test and test data generation in the last decades. These methods range from simple applications such as random testing, to complex analysis systems, such as constraint-based methods. While research on these methods has been extensive, industrial application to large-scale systems is still(More)
To meet the technical and managerial challanges of the MSL project it became necessary to find a highly efficient and flexible software development approach. This paper describes this generic approach chosen for MSL software development and the benefits gained by using tools for automatic software generation to an utmost extent. The outputs of the system(More)
In order to cope with varying, non-settled requirements, to cover the needs of the onboard target and the scientific ground platforms, and to make software development more efficient, an approach has been applied to the software of the MSL (Material Science Laboratory) project [1] which allows for automated generation and early validation of the distributed(More)
Performance engineering aims to demonstrate that the software being developed will meet the performance needs. The goal of robustness engineering is to prove that the system can function correctly in the presence of faults or stress conditions. From this point of view robustness engineering comprises performance engineering as a specific case of normal(More)