Combining Model-based Analysis and Testing

International audienceSafety standards like ISO 26262 and DO 178B/C require demonstrating the functional safety of the software. First, this implies demonstrating the functional correctness with respect to the specified requirements. Second, the absence of critical non-functional hazards has to be shown: violation of timing and storage space constraints, and runtimeerrors like division by zero or invalid pointer accesses. State-of-the-art solutions use model- based testing for showing functional program properties and abstract interpretation-based static analysis to prove the absence of non-functional program errors, but fail to integrate them. In this article we present an integrated approach for model- based testing and analysis addressing both aspects seamlessly. Model-level information like environment specifications and execution models are taken into account automatically. This reduces setup effort and improves analysis precision. Tests and analyses can be launched automatically and produce aggregated result reports. The integrated approach allows safety requirements of contemporary safety standards to be comprehensively addressed and the verification effort to be significantly reduced