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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Requirements-based Automated Test Generation for Safety Critical Software


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


    Publication date :

    2019-09-01


    Size :

    1194645 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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