Towards a Generic Non-intrusive Fault Detection Framework

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Abstract

Temporal dependencies between programming library API operations form a protocol that can be used to automatically detect incorrect use of abstractions provided by the API. Traditionally, aliasing of abstraction instances is one of the main problems of detecting this kind of protocol violations. In this paper we describe our runtime fault detection approach that uses dynamic data-flow tracking to cope with the aliasing problem. In addition, we present a proof-of-concept fault detection framework for integrating our approach to a development environment.
Original languageEnglish
Title of host publicationRuntime Verification
Subtitle of host publicationRV 2013
EditorsA. Legay, S. Bensalem
Place of PublicationBerlin, Germany
PublisherSpringer
Pages334-339
ISBN (Electronic)978-3-642-40787-1
ISBN (Print)978-3-642-40786-4
DOIs
Publication statusPublished - 2013
MoE publication typeNot Eligible
Event4th International Conference on Runtime Verification, RV 2013 - Rennes, France
Duration: 24 Sep 201327 Sep 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8174
ISSN (Print)0302-9743

Conference

Conference4th International Conference on Runtime Verification, RV 2013
Abbreviated titleRV 2013
CountryFrance
CityRennes
Period24/09/1327/09/13

Fingerprint

Application programming interfaces (API)
Fault detection
Network protocols
Computer programming

Keywords

  • Fault detection
  • runtime verification
  • framework
  • testing

Cite this

Julku, J., & Rautila, M. (2013). Towards a Generic Non-intrusive Fault Detection Framework. In A. Legay, & S. Bensalem (Eds.), Runtime Verification : RV 2013 (pp. 334-339). Berlin, Germany: Springer. Lecture Notes in Computer Science, Vol.. 8174 https://doi.org/10.1007/978-3-642-40787-1_21
Julku, Jukka ; Rautila, Mika. / Towards a Generic Non-intrusive Fault Detection Framework. Runtime Verification : RV 2013. editor / A. Legay ; S. Bensalem. Berlin, Germany : Springer, 2013. pp. 334-339 (Lecture Notes in Computer Science, Vol. 8174).
@inproceedings{0a74404b916048308e6419e72bc105af,
title = "Towards a Generic Non-intrusive Fault Detection Framework",
abstract = "Temporal dependencies between programming library API operations form a protocol that can be used to automatically detect incorrect use of abstractions provided by the API. Traditionally, aliasing of abstraction instances is one of the main problems of detecting this kind of protocol violations. In this paper we describe our runtime fault detection approach that uses dynamic data-flow tracking to cope with the aliasing problem. In addition, we present a proof-of-concept fault detection framework for integrating our approach to a development environment.",
keywords = "Fault detection, runtime verification, framework, testing",
author = "Jukka Julku and Mika Rautila",
note = "Project code: 41465",
year = "2013",
doi = "10.1007/978-3-642-40787-1_21",
language = "English",
isbn = "978-3-642-40786-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "334--339",
editor = "A. Legay and S. Bensalem",
booktitle = "Runtime Verification",
address = "Germany",

}

Julku, J & Rautila, M 2013, Towards a Generic Non-intrusive Fault Detection Framework. in A Legay & S Bensalem (eds), Runtime Verification : RV 2013. Springer, Berlin, Germany, Lecture Notes in Computer Science, vol. 8174, pp. 334-339, 4th International Conference on Runtime Verification, RV 2013, Rennes, France, 24/09/13. https://doi.org/10.1007/978-3-642-40787-1_21

Towards a Generic Non-intrusive Fault Detection Framework. / Julku, Jukka; Rautila, Mika.

Runtime Verification : RV 2013. ed. / A. Legay; S. Bensalem. Berlin, Germany : Springer, 2013. p. 334-339 (Lecture Notes in Computer Science, Vol. 8174).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

T1 - Towards a Generic Non-intrusive Fault Detection Framework

AU - Julku, Jukka

AU - Rautila, Mika

N1 - Project code: 41465

PY - 2013

Y1 - 2013

N2 - Temporal dependencies between programming library API operations form a protocol that can be used to automatically detect incorrect use of abstractions provided by the API. Traditionally, aliasing of abstraction instances is one of the main problems of detecting this kind of protocol violations. In this paper we describe our runtime fault detection approach that uses dynamic data-flow tracking to cope with the aliasing problem. In addition, we present a proof-of-concept fault detection framework for integrating our approach to a development environment.

AB - Temporal dependencies between programming library API operations form a protocol that can be used to automatically detect incorrect use of abstractions provided by the API. Traditionally, aliasing of abstraction instances is one of the main problems of detecting this kind of protocol violations. In this paper we describe our runtime fault detection approach that uses dynamic data-flow tracking to cope with the aliasing problem. In addition, we present a proof-of-concept fault detection framework for integrating our approach to a development environment.

KW - Fault detection

KW - runtime verification

KW - framework

KW - testing

U2 - 10.1007/978-3-642-40787-1_21

DO - 10.1007/978-3-642-40787-1_21

M3 - Conference article in proceedings

SN - 978-3-642-40786-4

T3 - Lecture Notes in Computer Science

SP - 334

EP - 339

BT - Runtime Verification

A2 - Legay, A.

A2 - Bensalem, S.

PB - Springer

CY - Berlin, Germany

ER -

Julku J, Rautila M. Towards a Generic Non-intrusive Fault Detection Framework. In Legay A, Bensalem S, editors, Runtime Verification : RV 2013. Berlin, Germany: Springer. 2013. p. 334-339. (Lecture Notes in Computer Science, Vol. 8174). https://doi.org/10.1007/978-3-642-40787-1_21