University of Twente Student Theses


SeCo : a tool for semantic test coverage

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

[img] PDF
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:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page