his.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Automated Timeliness Testing of Dynamic Real-Time systems
Högskolan i Skövde, Institutionen för kommunikation och information.
2003 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Skövde: Institutionen för kommunikation och information , 2003. , s. 64
Serie
IKI Technical Reports ; HS-IDA-TR-03-006
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
URN: urn:nbn:se:his:diva-1276OAI: oai:DiVA.org:his-1276DiVA, id: diva2:2413
Tillgänglig från: 2008-06-17 Skapad: 2008-06-17 Senast uppdaterad: 2018-01-13

Open Access i DiVA

fulltext(204 kB)1380 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 204 kBChecksumma MD5
33d2eca541fb79442a0a4e0de03f8d82d5ef9c4a76606405eb745143ffcc2b86484aba0c
Typ fulltextMimetyp application/pdf

Av organisationen
Institutionen för kommunikation och information
Systemvetenskap, informationssystem och informatik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 1380 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 131 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf