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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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.

Originalsprog	Engelsk
Titel	41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015
Forlag	IEEE (Institute of Electrical and Electronics Engineers)
Publikationsdato	2015
Sider	245-249
ISBN (Trykt)	978-1-4673-7585-6
DOI	https://doi.org/10.1109/SEAA.2015.62
Status	Udgivet - 2015
Begivenhed	41st Euromicro Conference on Software Engineering and Advanced Applications - Funchael, Madeira, Portugal Varighed: 26 aug. 2015 → 28 aug. 2015

Konference

Konference	41st Euromicro Conference on Software Engineering and Advanced Applications
Land/Område	Portugal
By	Funchael, Madeira
Periode	26/08/2015 → 28/08/2015

Adgang til dokumentet

10.1109/SEAA.2015.62

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 (Institute of Electrical and Electronics Engineers)",

address = "United States",

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

}

Le Guilly, T, Liu, S, Olsen, P, Ravn, AP & Skou, AJ 2015, Validating Timed Component Contracts. i 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE (Institute of Electrical and Electronics Engineers), s. 245-249, 41st Euromicro Conference on Software Engineering and Advanced Applications , Funchael, Madeira, Portugal, 26/08/2015. https://doi.org/10.1109/SEAA.2015.62

Validating Timed Component Contracts. / Le Guilly, Thibaut; Liu, Shaoying; Olsen, Petur et al.
41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE (Institute of Electrical and Electronics Engineers), 2015. s. 245-249.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

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 (Institute of Electrical and Electronics Engineers)

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

Y2 - 26 August 2015 through 28 August 2015

ER -

Validating Timed Component Contracts

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater