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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Testability of Dynamic Real-Time Systems
Linköping University, Department of Computer and Information Science, ESLAB - Embedded Systems Laboratory. Linköping University, The Institute of Technology. (DRTS)
2009 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. An event-triggered real-time system is directly controlled by the events that occur in the environment, as opposed to a time-triggered system, which behavior with respect to when the system does something is constrained, and therefore more predictable. The focus in this dissertation is the behavior in the time domain and it is shown how testability is affected by some factors when the system is tested for timeliness.

This dissertation presents a survey of research that focuses on software testability and testability of real-time systems. The survey motivates both the view of testability taken in this dissertation and the metric that is chosen to measure testability in an experiment. We define a method to generate sets of traces from a model by using a meta algorithm on top of a model checker. Defining such a method is a necessary step to perform the experiment. However, the trace sets generated by this method can also be used by test strategies that are based on orderings, for example execution orders.

An experimental study is presented in detail. The experiment investigates how testability of an event-triggered real-time system is affected by some constraining properties of the execution environment. The experiment investigates the effect on testability from three different constraints regarding preemptions, observations and process instances. All of these constraints were claimed in previous work to be significant factors for the level of testability. Our results support the claim for the first two of the constraints while the third constraint shows no impact on the level of testability.

Finally, this dissertation discusses the effect on the event-triggered semantics when the constraints are applied on the execution environment. The result from this discussion is that the first two constraints do not change the semantics while the third one does. This result indicates that a constraint on the number of process instances might be less useful for some event-triggered real-time systems.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press , 2009. , 118 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1241
Keyword [en]
Testability, Software testing, Real-time systems, Timeliness, Model-based testing
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-16486ISBN: 978-91-7393-695-8 (print)OAI: oai:DiVA.org:liu-16486DiVA: diva2:160016
Public defence
2009-03-09, D201, Hus D, Högskolan i Skövde, Skövde, 13:15 (English)
Opponent
Supervisors
Available from: 2009-02-11 Created: 2009-01-28 Last updated: 2009-05-06Bibliographically approved

Open Access in DiVA

Testability of Dynamic Real-Time Systems(793 kB)774 downloads
File information
File name FULLTEXT01.pdfFile size 793 kBChecksum SHA-512
e4c84279b52f3fd7138209998c41974cecd29922bd124f4e19d92c37763a921e14f6276453b0da1c5d10ef160cd35fb9ac937516cb748103af0b82d2411e8220
Type fulltextMimetype application/pdf
Cover(200 kB)154 downloads
File information
File name COVER01.pdfFile size 200 kBChecksum SHA-512
2b0aa2b3bac21e6bd1375d0c33a18c9f985704f32de65fc9869310330bca74062429a9ec8fe104fa0c290045e8b1803f0d8290b9e20ec96e8678c8685e3b79c3
Type coverMimetype application/pdf

Authority records BETA

Lindström, Birgitta

Search in DiVA

By author/editor
Lindström, Birgitta
By organisation
ESLAB - Embedded Systems LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 774 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 3626 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf