A master thesis from Aalborg University
Improvements on the Online Testing with T-UppAal: Coverage Measurement and Re-runs
Author(s)
Term
10. Term
Education
Publication year
2005
Submitted on
2012-02-14
Abstract
T-UppAal is an online testing tool for model-based black-box conformance testing of embedded real-time systems. The study of re-runs and coverage measurement with the tool had not been studied so far. This report gives a precise description of different re-runs criteria’s for use with T-UppAal. To find out which of them would work in practice, a detailed analysis of T-UppAal in regards to re-runs was done. We also propose coverage measurements that can be used to determine the quality of a test. An industrial case study was done on both selective type of re-runs and coverage measurements. To help with creating test re-runs and coverage measurements, the tool Butler was made. It includes an array of features for creating re-runs and calculating coverage measurements.
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.