Validating Timed Component Contracts

Research output: Research - peer-reviewArticle in proceeding

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.
Close

Details

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 languageEnglish
Title of host publication41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015
PublisherIEEE
Publication date2015
Pages245-249
ISBN (Print)978-1-4673-7585-6
DOI
StatePublished - 2015
Publication categoryResearch
Peer-reviewedYes
Event41st Euromicro Conference on Software Engineering and Advanced Applications - Funchael, Madeira, Portugal
Duration: 26 Aug 201528 Aug 2015

Conference

Conference41st Euromicro Conference on Software Engineering and Advanced Applications
LandPortugal
ByFunchael, Madeira
Periode26/08/201528/08/2015
ID: 221385708