Model-based development is a well-established and widely used technique to design and implement systems by specifying the overall architecture of a system and its behavior directly in modeling tools such as PTC Integrity Modeler, Enterprise Architect, Modelio, or Papyrus/Eclipse. The next step forward in this process is using the same framework also for the design and specification of the tests for these systems. Verified Systems International GmbH offers with RT-Tester MBT a novel approach to model-based embedded systems testing, which we are going to present in this paper.Model-based testing (MBT) offers automated generation of test cases, test data and test procedures for model-in-the-loop, hardware-in-the-loop and system testing from UML/SysML models describing the intended system behavior [17,20]. The presented approach offers a number of different testing strategies which can be used to tailor the generated test suites, e.g., according to the targeted criticality level for safety-critical systems. Moreover, it provides full traceability of requirements and test data for the entire testing workflow from the test model to the test execution reports. This feature is of special relevance for safety-critical systems from the avionics, automotive or railway domains. These application domains additionally require that a tool qualification is performed for automated testing tools.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Peleska, Jan (Autor:in) / Brauer, Jörg (Autor:in) / Dahlweid, Markus (Autor:in)

    Kongress:

    SAE 2015 AeroTech Congress & Exhibition ; 2015



    Erscheinungsdatum :

    2015-09-15




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models

    Dahlweid, Markus / Brauer, Jörg / Peleska, Jan | British Library Conference Proceedings | 2015


    AUTOMATIC GENERATION OF INTEGRATED TEST PROCEDURES USING SYSTEM TEST PROCEDURES

    MAXIM CONSTANTIJN VOS / BAREND-JAN VAN BRUCHEM / PETER VAN GILS et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    AUTOMATIC GENERATION OF INTEGRATED TEST PROCEDURES USING SYSTEM TEST PROCEDURES

    VOS MAXIN CONSTANTIJN ET AL / VAN BRUCHEM BAREND-JAN / VAN GILS PIETER et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications

    Faria, J.M. / Mahomad, S. / Silva, N. et al. | British Library Conference Proceedings | 2009


    Testing of transition region models : test cases and data

    Singer, Bart A. / Dinavahi, Surya P. / Iyer, Venkit et al. | TIBKAT | 1991