See below for information on a forthcoming evening seminar under the
auspices of the BCS *Formal Aspects of Computing Science* (FACS) Specialist
Group in central London, UK.
*For further information and free online booking, see:*
*http://www.bcs.org/content/ConWebDoc/52352
<http://www.bcs.org/content/ConWebDoc/52352>*
*For location of the BCS London Office, see:*
*http://www.bcs.org/category/5843 <http://www.bcs.org/category/5843>*
*Jonathan Bowen*
Chair BCS-FACS
www.*bcs*-*facs*.org <http://www.bcs-facs.org/>
*BCS-FACS evening seminar, 2014*
*Thursday 17th July 2014, 5.15pm coffee/tea/biscuits for 6.00pm talk,
Wilkes Room 3/4*
*Asynchronous Testing*
*Prof. Rob Hierons*
http://www.brunel.ac.uk/siscm/disc/people-in-disc/academic-staff/professorroberthierons
Brunel University
*Abstract:* 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.
--
Prof. Jonathan Bowen
Chair, BCS-FACS Specialist Group
Professor of Computer Science, Birmingham City University
Emeritus Professor, London South Bank University
Chairman, Museophile Limited
http://www.jpbowen.com
|