Mutation-Based Testing Criteria for Timeliness

Authors:
Robert Nilsson;Jeff Offutt;Sten F. Andler
Affiliations:
University of Skövde;George Mason University;University of Skövde
Venue:
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Year:
2004

Citing 10
Cited 1

Test Selection Based on Finite State Models

IEEE Transactions on Software Engineering
A theory of timed automata

Theoretical Computer Science
A Specification-Based Coverage Metric to Evaluate Test Sets

HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
TIMES - A Tool for Modelling and Implementation of Embedded Systems

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timed Automata with Asynchronous Processes: Schedulability and Decidability

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timed Automata as Task Models for Event-Driven Systems

RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Compositional and symbolic model-checking of real-time systems

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
A Realistic Architecture for Timed Testing

ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Using Model Checking to Generate Tests from Specifications

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Hints on Test Data Selection: Help for the Practicing Programmer

Computer

Automated Testing of Timeliness: A Case Study

AST '07 Proceedings of the Second International Workshop on Automation of Software Test

Quantified Score

Hi-index	0.00

Visualization

Abstract

Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with testing real-time applications is the dependency on the execution time and execution order of individual tasks. Thus, the response times for the tasks may be non-deterministic with respect to inputs. Conventional test coverage criteria ignore task interleaving and timing and, thus do not help determine which execution orders need to be exercised to test for temporal correctness. This paper presents test criteria based on mutation to test timeliness. We also show how previously proposed methods in specification based testing can be applied to testing real-time systems.