Run-Time Verification of Coboxes

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

doi:10.1007/978-3-642-40561-7_18

Run-Time Verification of Coboxes

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

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 language	English
Title of host publication	Software Engineering and Formal Methods
Subtitle of host publication	11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Editors	Robert M. Hierons , Mercedes G. Merayo , Mario Bravetti
Publisher	Springer
Pages	259-273
Number of pages	15
ISBN (Electronic)	978-3-642-40561-7
ISBN (Print)	978-3-642-40560-0
DOIs	https://doi.org/10.1007/978-3-642-40561-7_18
Publication status	Published - 2013
Externally published	Yes
Event	11th International Conference on Software Engineering and Formal Methods - Madrid, Spain Duration: 25 Sept 2013 → 27 Sept 2013 http://sefm2014.inria.fr/past-editions/index.html

Publication series

Series	Lecture Notes in Computer Science
Volume	8137
ISSN	0302-9743

Conference

Conference	11th International Conference on Software Engineering and Formal Methods
Abbreviated title	SEFM 2013
Country/Territory	Spain
City	Madrid
Period	25/09/13 → 27/09/13
Internet address	http://sefm2014.inria.fr/past-editions/index.html

Access to Document

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

Cite this

@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",

address = "United States",

note = "11th International Conference on Software Engineering and Formal Methods, SEFM 2013 ; Conference date: 25-09-2013 Through 27-09-2013",

url = "http://sefm2014.inria.fr/past-editions/index.html",

}

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. Springer, Lecture Notes in Computer Science, vol. 8137, 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 proceeding › Conference Article in proceeding › Academic › peer-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

T2 - 11th International Conference on Software Engineering and Formal Methods

Y2 - 25 September 2013 through 27 September 2013

ER -

Run-Time Verification of Coboxes

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this