There is one engineering activity that has not yet fully benefited from the paradigm of normal development when it comes to verification and validation: software engineering. Software validation is still often mostly based on test techniques which consist in enumeratively executing the application a high number of times. If you achieve to run a high enough number of executions without observing any error, then the software is considered as validated. This does unfortunately not imply that the software is free of runtime errors. Indeed, detecting a runtime error during tests requires special drafts to fulfil. This paper is a tutorial on the principles and applications of static verification by Abstract Interpretation to development, verification and validation of embedded applications. The topics covered include what Abstract interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Accelerate testing for automotive applications


    Additional title:

    Testbeschleunigung für fahrzeugtechnische Anwendungen


    Contributors:


    Publication date :

    2006


    Size :

    8 Seiten, 7 Bilder


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Using Model-Based Design to Accelerate FPGA Development for Automotive Applications

    Sharma, Sudhir / Chen, Wang | SAE Technical Papers | 2009



    VCSELs accelerate new OCT applications

    British Library Online Contents | 2013


    A Requirements Engineering Approach to Accelerate Innovation in Automotive Electronics

    Kress, Andreas / Eberhardt, Markus / Donig, Jens | VDE-Verlag | 2017