his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Automated Selective Test Case Generation Methods for Real-Time Systems
University of Skövde, Department of Computer Science.
2000 (English)Independent thesis Advanced level (degree of Master (One Year))Student thesis
Abstract [en]

This work aims to investigate the state of the art in test case generation for real-time systems, to analyze existing methods, and to propose future research directions in this area. We believe that a combination of design for testability, automation, and sensible test case selection is the key for verifying modern real-time systems. Existing methods for system-level test case generation for real-time systems are presented, classified, and evaluated against a real-time system model. Significant for real-time systems is that timeliness is crucial for their correctness. Our system model of the testing target adopts the event-triggered design paradigm for maximum flexibility. This paradigm results in target systems that are harder to test than its time-triggered counterpart, but the model improves testability by adopting previously proposed constraints on application behavior. This work investigates how time constraints can be tested using current methods and reveals problems relating to test-case generation for verifying such constraints. Further, approaches for automating the test-case generation process are investigated, paying special attention to methods aimed for real-time systems. We also note a need for special test-coverage criteria for concurrent and real-time systems to select test cases that increase confidence in such systems. We analyze some existing criteria from the perspective of our target model. The results of this dissertation are a classification of methods for generating test cases for real-time systems, an identification of contradictory terminology, and an increased body of knowledge about problems and open issues in this area. We conclude that the test-case generation process often neglects the internal behavior of the tested system and the properties of its execution environment as well as the effects of these on timeliness. Further, we note that most of the surveyed articles on testing methods incorporate automatic test-case generation in some form, but few consider the issues of automated execution of test cases. Four high-level future research directions are proposed that aim to remedy one or more of the identified problems.

Place, publisher, year, edition, pages
Skövde: Institutionen för datavetenskap , 2000. , 106 p.
Keyword [en]
Test Case Generation, Real-Time, Automation, Timeliness
National Category
Information Science
Identifiers
URN: urn:nbn:se:his:diva-487OAI: oai:DiVA.org:his-487DiVA: diva2:2866
Presentation
(English)
Uppsok
Social and Behavioural Science, Law
Supervisors
Available from: 2008-01-11 Created: 2008-01-11 Last updated: 2009-12-02

Open Access in DiVA

fulltext(471 kB)367 downloads
File information
File name FULLTEXT01.psFile size 471 kBChecksum SHA-1
9e37a44e9dc35311485155843bc1d090f3478c1964c2f6d5e63f4dc3dab7446418883fd5
Type fulltextMimetype application/postscript
fulltext(438 kB)960 downloads
File information
File name FULLTEXT02.pdfFile size 438 kBChecksum SHA-512
52dcd6ad22aecd393e37ae653c3513a01c79ad1324fab40c3cfe90f9438182ef94a565e7bcbed687f9ecc16d658de5cc52a4257d64c4d13ab0ae0f3c45247ae1
Type fulltextMimetype application/pdf

By organisation
Department of Computer Science
Information Science

Search outside of DiVA

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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