With the growing size and complexity of safety critical software in industrial domains such as aviation, automotive and medical devices, developing tests for such software to achieve corresponding standards such as DO-178C and ISO-26262 has become a challenge. Existing test generation tools are either not generating a complete set of tests to satisfy the standards or requires considerable human interventions. General Electric developed a toolchain called ASSERT™ (Analysis of Semantic Specifications and Efficient generation of Requirements based Tests) to address the challenges and limitations of existing tools by formally capturing requirements and automatically generating a complete set of requirements-based tests to satisfy certain industry standards. This paper describes our approach to automatically generate test objectives, test cases, and test procedures from requirements to satisfy DO-178C. We demonstrate ASSERT™'s requirements-based automated test generation (ATG) tool on an avionics system.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Requirements-based Automated Test Generation for Safety Critical Software


    Beteiligte:
    Li, Meng (Autor:in) / Meng, Baoluo (Autor:in) / Yu, Han (Autor:in) / Siu, Kit (Autor:in) / Durling, Michael (Autor:in) / Russell, Daniel (Autor:in) / McMillan, Craig (Autor:in) / Smith, Matthew (Autor:in) / Stephens, Mark (Autor:in) / Thomson, Scott (Autor:in)


    Erscheinungsdatum :

    2019-09-01


    Format / Umfang :

    1194645 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Requirements Modeling and Automated Requirements-Based Test Generation

    Lee, Chien-Chang / Friedman, Jon | SAE Technical Papers | 2013




    DEVELOPING SAFETY-CRITICAL SOFTWARE REQUIREMENTS FOR COMMERCIAL REUSABLE LAUNCH VEHICLES

    Murray, D. P. / Hardy, T. L. / European Space Agency | British Library Conference Proceedings | 2007


    Automated Transfer Vehicle (ATV) Mission and Safety Critical Software Development

    Ludwig, K. / Zekri, E. / Devic, M.-O. et al. | British Library Conference Proceedings | 2009