Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/14974
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Merayo, MG | - |
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Nunez, M | - |
dc.date.accessioned | 2017-07-27T12:59:53Z | - |
dc.date.available | 2017-07-27T12:59:53Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | Distributed Computing, (2017) | en_US |
dc.identifier.issn | 0178-2770 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/14974 | - |
dc.description.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. | en_US |
dc.description.sponsorship | Research partially supported by the projects DArDOS (TIN2015-65845-C3-1-R (MINECO/FEDER)) and SICOMORo-CM (S2013/ICE-3006). | en_US |
dc.language.iso | en | en_US |
dc.publisher | Springer | en_US |
dc.subject | Model-based testing | en_US |
dc.subject | Distributed systems | en_US |
dc.subject | Timed systems | en_US |
dc.title | Passive Testing with Asynchronous Communications and Timestamps | en_US |
dc.type | Article | en_US |
dc.relation.isPartOf | Distributed Computing | - |
pubs.publication-status | Accepted | - |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | 291 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.