Validating Timed Component Contracts

Thibaut Le Guilly; Shaoying Liu; Petur Olsen; Anders Peter Ravn; Arne Joachim Skou

doi:10.1109/SEAA.2015.62

Validating Timed Component Contracts

Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders Peter Ravn, Arne Joachim Skou

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Abstract

This paper presents a technique for testing software components with contracts that specify functional behavior, synchronization, as well as timing behavior. The approach combines elements from unit testing with model-based testing techniques for timed automata. The technique is implemented in an online testing tool, and we demonstrate its use on a concrete use case.

Original language	English
Title of host publication	41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015
Publisher	IEEE
Publication date	2015
Pages	245-249
ISBN (Print)	978-1-4673-7585-6
DOIs	https://doi.org/10.1109/SEAA.2015.62
Publication status	Published - 2015
Event	41st Euromicro Conference on Software Engineering and Advanced Applications - Funchael, Madeira, Portugal Duration: 26 Aug 2015 → 28 Aug 2015

Conference

Conference	41st Euromicro Conference on Software Engineering and Advanced Applications
Country/Territory	Portugal
City	Funchael, Madeira
Period	26/08/2015 → 28/08/2015

Access to Document

10.1109/SEAA.2015.62

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{33d427c83fbf45f3850e85b5597b714a,

title = "Validating Timed Component Contracts",

abstract = "This paper presents a technique for testing software components with contracts that specify functional behavior, synchronization, as well as timing behavior. The approach combines elements from unit testing with model-based testing techniques for timed automata. The technique is implemented in an online testing tool, and we demonstrate its use on a concrete use case.",

author = "{Le Guilly}, Thibaut and Shaoying Liu and Petur Olsen and Ravn, {Anders Peter} and Skou, {Arne Joachim}",

year = "2015",

doi = "10.1109/SEAA.2015.62",

language = "English",

isbn = "978-1-4673-7585-6",

pages = "245--249",

booktitle = "41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015",

publisher = "IEEE",

address = "United States",

note = "41st Euromicro Conference on Software Engineering and Advanced Applications , SEAA 2015 ; Conference date: 26-08-2015 Through 28-08-2015",

}

TY - GEN

T1 - Validating Timed Component Contracts

AU - Le Guilly, Thibaut

AU - Liu, Shaoying

AU - Olsen, Petur

AU - Ravn, Anders Peter

AU - Skou, Arne Joachim

PY - 2015

Y1 - 2015

N2 - This paper presents a technique for testing software components with contracts that specify functional behavior, synchronization, as well as timing behavior. The approach combines elements from unit testing with model-based testing techniques for timed automata. The technique is implemented in an online testing tool, and we demonstrate its use on a concrete use case.

AB - This paper presents a technique for testing software components with contracts that specify functional behavior, synchronization, as well as timing behavior. The approach combines elements from unit testing with model-based testing techniques for timed automata. The technique is implemented in an online testing tool, and we demonstrate its use on a concrete use case.

U2 - 10.1109/SEAA.2015.62

DO - 10.1109/SEAA.2015.62

M3 - Article in proceeding

SN - 978-1-4673-7585-6

SP - 245

EP - 249

BT - 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015

PB - IEEE

T2 - 41st Euromicro Conference on Software Engineering and Advanced Applications

Y2 - 26 August 2015 through 28 August 2015

ER -

Validating Timed Component Contracts

Abstract

Conference

Access to Document

AUB Link

Fingerprint

Cite this