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
Bounds on Test Effort for Event-Triggered Real-Time Systems
University of Skövde, Department of Computer Science.
1999 (English)Report (Other academic)
Abstract [en]

The test effort required for full test coverage is much higher in an event-triggered than in a time-triggered real-timesystem. This makes it difficult to attain confidence in the correctness of event-triggered real-time applications by testing,which is a necessary complement to other verification methods. We present a more general upper bound on the test effort of constrained event-triggered real-time systems, assuming multiple resources (a refinement of previous results). The emphasis is on system level testing of application timeliness, assuming that sufficient confidence in its functional correctness has been attained. Covered fault types include incorrect assumptions about temporal attributes of application and execution environment, and synchronization faults. An analysis of the effects that our constraints have on predictability and efficiency shows that the use of designated preemption points is required. A key factor in this approach is the ability to reduce the number of required test cases while maintaining full test coverage.

Place, publisher, year, edition, pages
Skövde: University of Skövde , 1999.
Series
IDA Technical Reports ; HS-IDA-TR-99-002
National Category
Information Systems
Identifiers
URN: urn:nbn:se:his:diva-1213OAI: oai:DiVA.org:his-1213DiVA, id: diva2:2344
Note

HS-IDA-TR-99-002. Annotation: Proceedings of the 9th International Conference on Artificial Neural Networks (ICANN99), Edinburgh, Scotland

Available from: 2008-06-17 Created: 2008-06-17 Last updated: 2019-07-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Niklasson, Lars

Search in DiVA

By author/editor
Niklasson, Lars
By organisation
Department of Computer Science
Information Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 378 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