Combining Model-based Analysis and Testing
Year: 2014
Type: conference-paper
Abstract: Safety 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.
Source: HAL
Authors: Kästner, Daniel, Brockmeyer, Udo, Pister, Markus, Nenova, Stefana, Bienmüller, Tom, Dereani, Andreas, Ferdinand, Christian
Institutions: AbsInt (Germany), Embedded Systems (United States)
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4297935654