liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A Mutation-based Framework for Automated Testing of Timeliness
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
2006 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. This thesis presents and evaluates a framework for testing of timeliness that is based on mutation testing theory. The framework includes two complementary approaches for mutation-based test case generation, testing criteria for timeliness, and tools for automating the test case generation process. A scheme for automated test case execution is also defined. The testing framework assumes that a structured notation is used to model the real-time applications and their execution environment. This real-time system model is subsequently mutated by operators that mimic potential errors that may lead to timeliness failures. Each mutated model is automatically analyzed to generate test cases that target execution orders that are likely to lead to timeliness failures. The validation of the theory and methods in the proposed testing framework is done iteratively through case-studies, experiments and proof-of-concept implementations. This research indicates that an adapted form of mutation-based testing can be used for effective and automated testing of timeliness and, thus, for increasing the confidence level in real-time systems that are designed according to the event-triggered paradigm.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2006. , 168 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1030
Keyword [en]
Automated Testing, Timeliness, Real-time systems, Time constraints, Model-based, Mutation testing
National Category
Computer Science
URN: urn:nbn:se:liu:diva-7314ISBN: 91-85523-35-6OAI: diva2:22327
Public defence
2006-10-18, G110, Hus G, Högskolan i Skövde, Skövde, 13:15 (English)
Available from: 2006-09-07 Created: 2006-09-07 Last updated: 2009-03-06

Open Access in DiVA

fulltext(720 kB)934 downloads
File information
File name FULLTEXT01.pdfFile size 720 kBChecksum MD5
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Nilsson, Robert
By organisation
RTSLAB - Real-Time Systems LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 934 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 895 hits
ReferencesLink to record
Permanent link

Direct link