In this paper the authors study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. The authors describe a methodology for automated testing and apply this methodology to test the PB. They conclude that automation of the test process is feasible and beneficial, and evaluate their techniques, theory and tools for automated testing.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Vehicle-mounted system tolling system tolling method and program

    Europäisches Patentamt | 2019

    Freier Zugriff

    Tolling system, vehicle-mounted system, tolling method, and program

    Europäisches Patentamt | 2019

    Freier Zugriff

    TOLLING SYSTEM

    TOMITA HIROO | Europäisches Patentamt | 2016

    Freier Zugriff

    Air Traffic Tolling System

    CRIST JASON J | Europäisches Patentamt | 2020

    Freier Zugriff

    Air Traffic Tolling System

    CRIST JASON J | Europäisches Patentamt | 2020

    Freier Zugriff