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


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Next generation testing technique for embedded software: abstract semantics analysis


    Contributors:
    Hote, C. (author)


    Publication date :

    2004-01-01


    Size :

    11473 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English