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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated testing from specifications


    Contributors:


    Publication date :

    2002-01-01


    Size :

    553723 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    SYNTHESIZING TRAFFIC SCENARIOS FROM FORMAL SPECIFICATIONS FOR TESTING AUTOMATED VEHICLES

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


    Specifications and Testing

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


    Automated Test Data Generation from Descartes Specifications

    Joo, H. / Urban, J. E. | British Library Conference Proceedings | 1996


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

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