Steering model-based oracles to admit real program behaviors

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

The oracle-an arbiter of correctness of the system under test (SUT)-is a major component of the testing process. Specifying oracles is challenging for real-time embedded systems, where small changes in time or sensor inputs may cause large differences in behavior. Behavioral models of such systems, often built for analysis and simulation, are appealing for reuse as oracles. However, these models typically provide an idealized view of the system. Even when given the same inputs, the model's behavior can frequently be at variance with an acceptable behavior of the SUT executing on a real platform. We therefore propose steering the model when used as an oracle, to admit an expanded set of behaviors when judging the SUT's adherence to its requirements. On detecting a behavioral difference, the model is backtracked and then searched for a new state that satisfies certain constraints and minimizes a dissimilarity metric. The goal is to allow non-deterministic, but bounded, behavior differences while preventing future mismatches, by guiding the oracle-within limits-to match the execution of the SUT. Early results show that steering significantly increases SUT-oracle conformance with minimal masking of real faults and, thus, has significant potential for reducing development costs.

Original languageEnglish (US)
Title of host publication36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings
PublisherAssociation for Computing Machinery
Pages428-431
Number of pages4
ISBN (Print)9781450327688
DOIs
StatePublished - 2014
Event36th International Conference on Software Engineering, ICSE 2014 - Hyderabad, India
Duration: May 31 2014Jun 7 2014

Publication series

Name36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings

Other

Other36th International Conference on Software Engineering, ICSE 2014
CountryIndia
CityHyderabad
Period5/31/146/7/14

Bibliographical note

Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.

Keywords

  • Model-based testing
  • Software testing
  • Test oracles

Fingerprint Dive into the research topics of 'Steering model-based oracles to admit real program behaviors'. Together they form a unique fingerprint.

Cite this