Software quality indicates how well the software product complies with the user requirements. The challenge in software testing is how to uncover the difficult-to-find software problems. Networked and embedded real-time automation software in safety-critical applications such as avionics software poses unique concerns about software quality due to its demanding requirements on system performance. The benefits of the rigorous software development and verification processes include both functional and nonfunctional software performance assurance. The heart of safety-critical software development lies in processes and techniques for software validation and verification. The effective software testing can ensure the software quality as well as make the developer garner, the customer kudos for the high software quality.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Issues on software testing for safety-critical real-time automation systems


    Contributors:
    Wang, L. (author)


    Publication date :

    2004-01-01


    Size :

    805364 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Issues on Software Testing for Safety-Critical Real-Time Automation Systems

    Wang, L. / IEEE / AIAA | British Library Conference Proceedings | 2004


    Flight Clearance of Safety Critical Software Using Non Real Time Testing

    Jeppu, Yogananda / Karunakar, K. / Subramanyam, P. S. | AIAA | 2002




    Assessment of Software Development Tools for Safety-Critical, Real-Time Systems

    A. J. Kornecki / N. Brixius / J. Zalewski et al. | NTIS | 2007