Real-Time Test Oracles using Event Monitoring
To gain confidence in that a dynamic real-time system behaves correctly, we test it. Automated verification & validation can be used to conduct testing of such systems in an effective and economic way. An event monitor can be used as a part of a test oracle to monitor the system that is bein...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Högskolan i Skövde, Institutionen för kommunikation och information
2005
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-952 |