In this document, we discuss the power of semantic analysis, a breakthrough technique that has been successfully applied to solve traditional software testing challenges in the embedded software industry. This approach radically departs from conventional testing techniques as it does not rely on random testing or human reviewers to analyze code robustness. This paper addresses what semantic analysis is, how the technique works and why it is a more effective solution to run-time error detection and debugging than conventional testing techniques.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Extension of static verification techniques by semantic analysis


    Contributors:
    Hote, C. (author)

    Published in:

    Publication date :

    2005-01-01


    Size :

    251994 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Extension of Static Verification Techniques by Semantic Analysis

    Hote, C. / American Institute of Aeronautics and Astronautics / IEEE | British Library Conference Proceedings | 2005


    Verification of Flag Usage Patterns by Static Analysis Techniques

    Datar, Advaita / Zare, Amey / Kikuchi, Mitsuhiko et al. | SAE Technical Papers | 2014


    Verification of Flag Usage Patterns by Static Analysis Techniques

    Zare, A. / Datar, A. / Kikuchi, M. et al. | British Library Conference Proceedings | 2014


    Static Verification of Spacecraft Procedures

    Connors, E. / Munoz, C. / Schnur, C. et al. | British Library Conference Proceedings | 2009


    Static Verification of Spacecraft Procedures

    Connors, Erin / Munoz, Cesar / Schnur, Cameron et al. | AIAA | 2009