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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite





    TOLLING SYSTEM

    TOMITA HIROO | European Patent Office | 2016

    Free access

    Air Traffic Tolling System

    CRIST JASON J | European Patent Office | 2020

    Free access

    Air Traffic Tolling System

    CRIST JASON J | European Patent Office | 2020

    Free access