University of Twente Student Theses

Login

SeCo : a tool for semantic test coverage

Mengerink, Jeroen (2008) SeCo : a tool for semantic test coverage.

[img] PDF
784kB
Abstract:This thesis aims at implementing a tool to calculate semantic coverage and select test suites. With this tool called SeCo, a set of tests can be selected based on the specification of a system according to the theory in Laura Brand´an Briones’ PhD thesis. Coverage measures are important, because they measure the quality of a test suite. We use semantic coverage measures, because these measures assign the same coverage to behaviorally equivalent systems. The specifications and tests that can be processed by SeCo are labeled transition systems in the Aldebaran format. SeCo is implemented in Java and able to process algorithms like: • merging tests into a test suite • calculating coverage for supplied test suites and specifications • selecting tests according to coverage measures A small part of the tool is implemented in Maple. This part uses matrix calculations, which are hard to implement in Java.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:31 mathematics
Programme:Applied Mathematics MSc (60348)
Link to this item:https://purl.utwente.nl/essays/58147
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page