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 (Institute of Electrical and Electronics Engineers) |
Publication date | 2015 |
Pages | 245-249 |
ISBN (Print) | 978-1-4673-7585-6 |
DOIs | |
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 |