C++TESK-Related Publications¶

2010¶

2011¶

A. Demakov, A. Kamkin, A. Sortov. High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration, Proceedings of the 5 ^th OpenCirrus Summit, Moscow, Russia, June 1-3, 2011.

The paper describes a method for model-based test generation and execution based on the distributed exploration of a system’s graph model. The key feature of the method is that parallelization is done dynamically and fully transparently for a user. The approach is implemented in the Distributed FSM test engine of C++TESK.

2012¶

2013¶

M. Chupilko, A. Kamkin. Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces, Proceedings of the 8 ^th Workshop on Model-Based Testing (MBT), Rome, Italy, 2013 (arXiv:1303.1010).

The paper studies on-the-fly conformance relations for timed systems (including, first of all, HDL models) and describes a practice-oriented methodology for creating and configuring monitors (test oracles) based on executable models (reference models). Actually, the paper formalizes the reaction checking approach used in C++TESK.