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 Timeliness Testing of Dynamic Real-Time systems
University of Skövde, School of Humanities and Informatics.
2003 (English)Report (Other scientific)
Abstract [en]

We address problems associated with testing real-time systems with on-line scheduling where no exact estimations of worst-case execution times or load patterns can be acquired. Under these circumstances, testing the timeliness of a real-time system is imperative for gaining confidence in its correctness. In such real-time systems a huge e®ort is associated with testing due to nondeterminism of the execution environment. A framework for testing is proposed, which include an approach for test case generation, testing criteria for timeliness testing, and methods for automating the test-case execution process. The suggested framework uses a formalized model for specifying the execution environment and applications so that relevant execution orders of tasks can be selected. Test data is then produced for demonstrating that critical execution orders do not cause timing constraints to be violated.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information , 2003. , 64 p.
Series
IKI Technical Reports, HS-IDA-TR-03-006
National Category
Information Science
Identifiers
URN: urn:nbn:se:his:diva-1276OAI: oai:DiVA.org:his-1276DiVA: diva2:2413
Available from: 2008-06-17 Created: 2008-06-17

Open Access in DiVA

fulltext(204 kB)947 downloads
File information
File name FULLTEXT01.pdfFile size 204 kBChecksum SHA-1
76606405eb745143ffcc2b86484aba0c33d2eca541fb79442a0a4e0de03f8d82d5ef9c4a
Type fulltextMimetype application/pdf

By organisation
School of Humanities and Informatics
Information Science

Search outside of DiVA

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