Dr. Daniel Kästner, AbsInt
Name: Dr. Daniel Kästner
Title: Automatic Qualification of Abstract Interpretation-based Static Analysis Tools
Abstract:
All contemporary safety standards require software tools to be qualified according to their usage in the development process. While different standards differ in details, a common requirement is to demonstrate that the tools work correctly in the operational context of the tool user. From the perspective of a tool user, qualifying a software tool causes considerable effort. This qualification effort can be reduced significantly by automatic Qualification Support Kits shipped as a part of a software tool. A qualification support kit comprises a report package and a test package. The report package describes the functional requirements of the tool and contains the verification test plan. The test package contains an extensible set of test cases with a scripting system to automatically execute the tests and generate reports of the results. Depending on the safety standard and the criticality level of the application providing additional confidence about the tool software development process may be necessary. This evidence can be provided by dedicated Qualification Support Life Cycle Data reports. In this talk we will focus on the ISO-26262 and illustrate the design of qualification support kits for Abstract Interpretation-based static analysis tools. They can be used to demonstrate the absence of timing violations, stack overflows and runtime errors, which are error categories that have to be addressed according to all current safety standards.
Click here to see the slides
Back to the agenda