BCS FACS - Asynchronous Testing

Date/Time: Thursday 17 July 2014, 6.00pm - 9.00pm

Venue:
BCS, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

Cost to attend: Free of charge, but, please book your place via the BCS online booking system.

Speaker: Prof. Rob Hierons - Brunel University

Synopsis:

This talk will investigate how model based testing changes when we do not directly observe the input and output of the system under test (SUT): there is an asynchronous communications channel between the tester and the SUT.

When communications are FIFO this can lead to a delay in the observation of output and so some reordering of a trace produced by the SUT. For example, if the SUT produces the trace ?i!o?i for input ?i and output !o then the tester might observe ?i?i!o. The effect is potentially more extreme when communications are non-FIFO since inputs can overtake one another, as can outputs.

We will explore the effect on some classic testing and verification problems when testing from an input output transition system (IOTS): those of finding tests that are guaranteed to reach or distinguish states; checking an observation against an IOTS (the oracle problem); checking conformance of one IOTS to another (language inclusion); and checking language intersection.

Presentation

PDF Icon Talk by Prof. Rob Hierons