Sökning: onr:"swepub:oai:DiVA.org:his-1180" >
Bounds on Test Effo...
Bounds on Test Effort for Event-Triggered Real-Time Systems
-
- Birgisson, Ragnar (författare)
- Högskolan i Skövde,Institutionen för datavetenskap
-
- Mellin, Jonas (författare)
- Högskolan i Skövde,Institutionen för datavetenskap
-
- Andler, Sten F. (författare)
- Högskolan i Skövde,Institutionen för datavetenskap
-
visa fler...
-
- Niklasson, Lars (författare)
- Högskolan i Skövde,Institutionen för datavetenskap
-
visa färre...
-
(creator_code:org_t)
- Skövde : University of Skövde, 1999
- Engelska.
-
Serie: IDA Technical Reports ; HS-IDA-TR-99-001
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Information Systems (hsv//eng)
Nyckelord
- Computer and systems science
- Data- och systemvetenskap
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)