Software verification and validation forms the single largest cost component in safety-critical software intensive systems. The minimal requirement when verifying or validating a safety critical system is a correct and testable specification that is unambiguous, consistent and complete. There are few frameworks currently available that provide all three properties. The SpecTRM Level 3 model is a black box Boolean specification of system behavior that is unambiguous, complete, consistent and testable. The syntax and semantics of SpecTRM-RL (Specification Toolkit for Requirements Modeling Requirements Language) are clearly specified, allowing us automate test case generation. In the paper, we present a three-stage architecture for test case generation. Test data generation is carried out using the inputs specification in the model to partition the input domain. Test data selection is based on impact of the test case on the outcome of the Boolean formulae that comprise the specification. The executability of the model is exploited by using it as an oracle to determine pass-fail criteria.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated testing from specifications


    Beteiligte:
    Srinivasan, J. (Autor:in) / Leveson, N. (Autor:in)


    Erscheinungsdatum :

    2002-01-01


    Format / Umfang :

    553723 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    SYNTHESIZING TRAFFIC SCENARIOS FROM FORMAL SPECIFICATIONS FOR TESTING AUTOMATED VEHICLES

    Klischat, Moritz / Althoff, Matthias | British Library Conference Proceedings | 2020


    Automated derivation of tests from specifications

    Stoitsev, Todor / Straw, Steven / Legat, Christoph et al. | AIAA | 2018


    Specifications and Testing

    Kiegle‐Böckler, Gabi / Pausch, Gerhard / Schwarz, Jörg et al. | Wiley | 2008


    Automated Derivation of Tests from Specifications (AIAA 2018-2709)

    Stoitsev, Todor / Straw, Steven / Legat, Christoph et al. | British Library Conference Proceedings | 2018