Validating Timed Component Contracts

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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.
OriginalsprogEngelsk
Titel41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015
ForlagIEEE
Publikationsdato2015
Sider245-249
ISBN (Trykt)978-1-4673-7585-6
DOI
StatusUdgivet - 2015
Begivenhed41st Euromicro Conference on Software Engineering and Advanced Applications - Funchael, Madeira, Portugal
Varighed: 26 aug. 201528 aug. 2015

Konference

Konference41st Euromicro Conference on Software Engineering and Advanced Applications
Land/OmrådePortugal
ByFunchael, Madeira
Periode26/08/201528/08/2015

Fingeraftryk

Dyk ned i forskningsemnerne om 'Validating Timed Component Contracts'. Sammen danner de et unikt fingeraftryk.

Citationsformater