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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Extension of static verification techniques by semantic analysis


    Beteiligte:
    Hote, C. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.01.2005


    Format / Umfang :

    251994 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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

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


    Verification of Flag Usage Patterns by Static Analysis Techniques

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


    Static Verification of Spacecraft Procedures

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


    Static Verification of Spacecraft Procedures

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