Please use this identifier to cite or link to this item:
Title: Extracting runtime monitors from tests
Authors: Colombo, Christian
Micallef, Mark
Spiteri, Keith
Keywords: Computer software -- Development
Computer programs -- Testing
Domain-specific programming languages
Issue Date: 2016
Publisher: FESCA
Citation: Colombo, C., Micallef, M., & Spiteri, K. (2016). Extracting runtime monitors from tests. 13th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Eindhoven.
Abstract: The effort and training required to specify runtime monitors in industry might be one of the factors explaining the slow uptake of the technique. In this position paper, we discuss ways in which runtime monitors can be extracted automatically from tests which are typically available with industrial systems. This brings with it a number of challenges, however, mainly because tests are typically focused on checking very specific behaviour, rendering the checks practically unusable in a runtime verification setting where the behaviour is user-directed rather than test-specified. In this context, we present an experiment and preliminary results which should provide the basis for further future exploration.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
  Restricted Access
150.19 kBAdobe PDFView/Open Request a copy

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.