Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/14974
Title: Passive Testing with Asynchronous Communications and Timestamps
Authors: Merayo, MG
Hierons, RM
Nunez, M
Keywords: Model-based testing;Distributed systems;Timed systems
Issue Date: 2017
Publisher: Springer
Citation: Distributed Computing, (2017)
Abstract: We develop a formal passive testing framework for software systems where parties communicate asynchronously. Monitors, placed in between the en- tities, check that a certain property holds over the observations of the interaction between users and the System Under Test (SUT). Due to the asynchronous nature of communications, the trace observed by the monitor might differ from the one produced by the SUT: the monitor observes inputs before they are received by the SUT and outputs are observed after they are sent by the SUT. It is neces- sary to take this into account in passive testing; otherwise we might obtain false positives or false negatives. In order to better assess the real causality between actions, we consider the case where each action is labelled with a timestamp giv- ing the time when it was observed at the monitor. We also assume that we know bounds on network latency and so the timestamps allow us to determine additional causalities between actions. Our monitors are implemented as automata that take into account communications being asynchronous. Our solution checks properties against traces in polynomial time and has low storage requirements. Therefore, our proposal is suitable for real-time passive testing.
URI: http://bura.brunel.ac.uk/handle/2438/14974
ISSN: 0178-2770
Appears in Collections:Dept of Computer Science Embargoed Research Papers

Files in This Item:
File Description SizeFormat 
FullText.pdfFile is embargoed269.26 kBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.