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
Real-Time Test Oracles using Event Monitoring
University of Skövde, School of Humanities and Informatics.
2005 (English)Independent thesis Basic level (degree of Bachelor)Student thesis
Abstract [en]

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 being tested. The test oracle could use the data (i.e., the streams of events) derived from the tested system, to determine if an executed test case gave a positive or negative result. To do this, the test oracle compares the streams of events received from the event monitor with the event expressions derived from the formal specification, and decides if the executed test case has responded positive or negative. Any deviations between observed behaviour and accepted behaviour should be reported by the test oracle as a negative result. If the executed test case gave a negative result, the monitor part should signal this to the reporter part of the test oracle.

This work aims to investigate how the event expressions can be derived from the formal specification, and in particular, how the event specification language Solicitor can be used to represent these event expressions.

We also discuss the need for parameterized event types in Solicitor, and any other event specification languages used in event monitoring. We also show that support for parameterized event types is a significant requirement for such languages.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information , 2005. , 47 p.
Keyword [en]
Real-Time Systems, Test Oracles, Event Monitoring, Automated Testing, Solicitor
National Category
Computer Science
Identifiers
URN: urn:nbn:se:his:diva-952OAI: oai:DiVA.org:his-952DiVA: diva2:3376
Presentation
(English)
Uppsok
Technology
Supervisors
Available from: 2008-03-07 Created: 2008-03-07 Last updated: 2009-12-02

Open Access in DiVA

fulltext(570 kB)193 downloads
File information
File name FULLTEXT01.psFile size 570 kBChecksum SHA-1
2d940b319f7ab347a7eff7c8af4271a835be6c0ad4ced6e994fefa19cf5da1f4fcb7cb31
Type fulltextMimetype application/postscript
fulltext(215 kB)101 downloads
File information
File name FULLTEXT02.pdfFile size 215 kBChecksum SHA-512
b9aa0d304413e9ebcd0aa96e3c22f1513ea3736e8c1c062cb04163fc9d0f2aa994fb5fe93eae9a33febe0700ea0f6651b1d7a3a97218731a6d7a2b292fc2a81f
Type fulltextMimetype application/pdf

By organisation
School of Humanities and Informatics
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 294 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 152 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