SMock - A Test Platform for Monitoring Tools

In the absence of a test framework for runtime verification tools, the evaluation and testing of such tools is an onerous task. In this paper we present the tool SMock; an easily and highly configurable mock system based on a domainspecific language providing profiling reports and enabling behaviour replayability, and specifically built to support the testing and evaluation of runtime verification tools.

[1]  Paul Hudak,et al.  Building domain-specific embedded languages , 1996, CSUR.

[2]  Grigore Rosu,et al.  An overview of the MOP runtime verification framework , 2012, International Journal on Software Tools for Technology Transfer.

[3]  Gordon J. Pace,et al.  Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties , 2009, FMICS.

[4]  Ondrej Lhoták,et al.  Collaborative Runtime Verification with Tracematches , 2010, J. Log. Comput..

[5]  Gordon J. Pace,et al.  Compensation-Aware Runtime Monitoring , 2010, RV.

[6]  Gordon J. Pace,et al.  LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

[7]  Gordon J. Pace,et al.  Extensible Technology-Agnostic Runtime Verification , 2013, FESCA.