his.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Skövde: Institutionen för kommunikation och information , 2003. , s. 64
Serie
IKI Technical Reports ; HS-IDA-TR-03-006
HSV kategori
Identifikatorer
URN: urn:nbn:se:his:diva-1276OAI: oai:DiVA.org:his-1276DiVA, id: diva2:2413
Tilgjengelig fra: 2008-06-17 Laget: 2008-06-17 Sist oppdatert: 2018-01-13

Open Access i DiVA

fulltekst(204 kB)1376 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 204 kBChecksum MD5
33d2eca541fb79442a0a4e0de03f8d82d5ef9c4a76606405eb745143ffcc2b86484aba0c
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 1376 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 131 treff
RefereraExporteraLink to record
Permanent link

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