mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Structural System-Level Testing of Embedded Real-Time Systems
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0002-5032-2310
2008 (English)Doctoral thesis, monograph (Other scientific)
Abstract [en]

People make mistakes. Software engineers are no exception to this fact. When software engineers make mistakes, these manifest in the form of buggy software - a major problem in today's industry. The existence of bugs is commonly detected using testing, the process of executing the software and checking if its behaviour complies with the specification. As limitations in time make testing of the entire software behaviour impracticable, testers need to make informed decisions on how to test the software to detect as many bugs as possible.

In the realm of real-time systems (RTSs), software testing is made more difficult by non-deterministic factors such as interaction with the surrounding environment, (pseudo)parallelism, and timing requirements. Furthermore, RTS testing suffers from behaviour-altering perturbation from the instrumentation inserted in the system to keep track of test progress (i.e., probe effects).

In our work, we analyse the main test criteria used for traditional software testing in order to see which of these scale to, and assist in, system-level testing of multi-tasking RTSs. We focus on one of these criteria, the all definition-use paths coverage criterion, as it highlights a central aspect of non-deterministic task interaction, and investigate what is specifically required for applying this criterion to testing of multi-tasking RTSs. Further, we examine the possibility of using execution replay for probe effect-free test monitoring. We evaluate this approach in real industrial settings by means of case studies.

The contributions of this thesis are twofold: First, the use of structural test criteria in RTS system-level testing is facilitated by two different analysis methods. Second, the probe effect is handled by recording non-deterministic events during run-time, and by using this recording to create a monitorable deterministic replica of the first execution. By these contributions, this thesis shows how the non-determinism of multi-tasking RTSs can be handled during system-level testing.

Place, publisher, year, edition, pages
Akademin för innovation, design och teknik , 2008. , 181 p.
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 55
Keyword [en]
real-time systems, testing, monitoring
National Category
Computer Science
Research subject
Datavetenskap
Identifiers
URN: urn:nbn:se:mdh:diva-488ISBN: 978-91-85485-70-3 (print)OAI: oai:DiVA.org:mdh-488DiVA: diva2:121024
Public defence
2008-02-15, Beta, Mälardalens Högskola, Gurksaltargatan 2, Västerås, 13:30
Opponent
Supervisors
Available from: 2007-12-20 Created: 2007-12-20 Last updated: 2013-12-03

Open Access in DiVA

fulltext(1491 kB)1259 downloads
File information
File name FULLTEXT01.pdfFile size 1491 kBChecksum MD5
a4527516ee5cdb45ab590f49c873d0eac9930988c526b1c2eec0e986b778b08c33423c0b
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Sundmark, Daniel
By organisation
Department of Computer Science and Electronics
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1259 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: 402 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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