Search: onr:"swepub:oai:DiVA.org:his-1180" >
Bounds on Test Effo...
Bounds on Test Effort for Event-Triggered Real-Time Systems
-
- Birgisson, Ragnar (author)
- Högskolan i Skövde,Institutionen för datavetenskap
-
- Mellin, Jonas (author)
- Högskolan i Skövde,Institutionen för datavetenskap
-
- Andler, Sten F. (author)
- Högskolan i Skövde,Institutionen för datavetenskap
-
show more...
-
- Niklasson, Lars (author)
- Högskolan i Skövde,Institutionen för datavetenskap
-
show less...
-
(creator_code:org_t)
- Skövde : University of Skövde, 1999
- English.
-
Series: IDA Technical Reports ; HS-IDA-TR-99-001
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- The test effort required for full test coverage is much higher in an event-triggered than in a time-triggered real-time system. 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Information Systems (hsv//eng)
Keyword
- Computer and systems science
- Data- och systemvetenskap
Publication and Content Type
- vet (subject category)
- rap (subject category)
To the university's database