Run-Time Verification of Coboxes

Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong

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

Abstract

Run-time verification is one of the most useful techniques for detecting faults. In this paper we show how to model the observable behavior of concurrently running object groups (coboxes) in SAGA (Software trace Analysis using Grammars and Attributes) which is a run-time checker that provides a smooth integration of the specification and the efficient run-time checking of both data- and protocol-oriented properties of message sequences. We illustrate the effectiveness of our method by an industrial case study from the eCommerce software company Fredhopper.
Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
Subtitle of host publication11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
EditorsRobert M. Hierons , Mercedes G. Merayo , Mario Bravetti
PublisherSpringer
Pages259-273
Number of pages15
ISBN (Electronic)978-3-642-40561-7
ISBN (Print)978-3-642-40560-0
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event11th International Conference on Software Engineering and Formal Methods - Madrid, Spain
Duration: 25 Sep 201327 Sep 2013
http://sefm2014.inria.fr/past-editions/index.html

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8137
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Conference on Software Engineering and Formal Methods
Abbreviated titleSEFM 2013
CountrySpain
CityMadrid
Period25/09/1327/09/13
Internet address

Fingerprint

Trace analysis
Specifications
Network protocols
Industry

Cite this

Boer, F. S. D., Gouw, S. D., & Wong, P. Y. H. (2013). Run-Time Verification of Coboxes. In R. M. H., M. G. M., & M. B. (Eds.), Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings (pp. 259-273). (Lecture Notes in Computer Science; Vol. 8137). Springer. https://doi.org/10.1007/978-3-642-40561-7_18
Boer, Frank S. de ; Gouw, Stijn de ; Wong, Peter Y. H. / Run-Time Verification of Coboxes. Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. editor / Robert M. Hierons ; Mercedes G. Merayo ; Mario Bravetti. Springer, 2013. pp. 259-273 (Lecture Notes in Computer Science).
@inproceedings{4385ef26d19546b39d1359e694e428a6,
title = "Run-Time Verification of Coboxes",
abstract = "Run-time verification is one of the most useful techniques for detecting faults. In this paper we show how to model the observable behavior of concurrently running object groups (coboxes) in SAGA (Software trace Analysis using Grammars and Attributes) which is a run-time checker that provides a smooth integration of the specification and the efficient run-time checking of both data- and protocol-oriented properties of message sequences. We illustrate the effectiveness of our method by an industrial case study from the eCommerce software company Fredhopper.",
author = "Boer, {Frank S. de} and Gouw, {Stijn de} and Wong, {Peter Y. H.}",
year = "2013",
doi = "10.1007/978-3-642-40561-7_18",
language = "English",
isbn = "978-3-642-40560-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "259--273",
editor = "{Robert M. Hierons} and {Mercedes G. Merayo} and {Mario Bravetti}",
booktitle = "Software Engineering and Formal Methods",

}

Boer, FSD, Gouw, SD & Wong, PYH 2013, Run-Time Verification of Coboxes. in RMH, MGM & MB (eds), Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science, vol. 8137, Springer, pp. 259-273, 11th International Conference on Software Engineering and Formal Methods, Madrid, Spain, 25/09/13. https://doi.org/10.1007/978-3-642-40561-7_18

Run-Time Verification of Coboxes. / Boer, Frank S. de; Gouw, Stijn de; Wong, Peter Y. H.

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. ed. / Robert M. Hierons; Mercedes G. Merayo; Mario Bravetti. Springer, 2013. p. 259-273 (Lecture Notes in Computer Science; Vol. 8137).

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

TY - GEN

T1 - Run-Time Verification of Coboxes

AU - Boer, Frank S. de

AU - Gouw, Stijn de

AU - Wong, Peter Y. H.

PY - 2013

Y1 - 2013

N2 - Run-time verification is one of the most useful techniques for detecting faults. In this paper we show how to model the observable behavior of concurrently running object groups (coboxes) in SAGA (Software trace Analysis using Grammars and Attributes) which is a run-time checker that provides a smooth integration of the specification and the efficient run-time checking of both data- and protocol-oriented properties of message sequences. We illustrate the effectiveness of our method by an industrial case study from the eCommerce software company Fredhopper.

AB - Run-time verification is one of the most useful techniques for detecting faults. In this paper we show how to model the observable behavior of concurrently running object groups (coboxes) in SAGA (Software trace Analysis using Grammars and Attributes) which is a run-time checker that provides a smooth integration of the specification and the efficient run-time checking of both data- and protocol-oriented properties of message sequences. We illustrate the effectiveness of our method by an industrial case study from the eCommerce software company Fredhopper.

UR - https://link.springer.com/book/10.1007/978-3-642-40561-7

U2 - 10.1007/978-3-642-40561-7_18

DO - 10.1007/978-3-642-40561-7_18

M3 - Conference article in proceeding

SN - 978-3-642-40560-0

T3 - Lecture Notes in Computer Science

SP - 259

EP - 273

BT - Software Engineering and Formal Methods

A2 - , Robert M. Hierons

A2 - , Mercedes G. Merayo

A2 - , Mario Bravetti

PB - Springer

ER -

Boer FSD, Gouw SD, Wong PYH. Run-Time Verification of Coboxes. In RMH, MGM, MB, editors, Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Springer. 2013. p. 259-273. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-40561-7_18