C++TESK-Related Publications » History » Version 6
Alexander Kamkin, 07/27/2013 10:13 AM
1 | 1 | Alexander Kamkin | h1. C++TESK-Related Publications |
---|---|---|---|
2 | |||
3 | h2. 2010 |
||
4 | |||
5 | h2. 2011 |
||
6 | |||
7 | 6 | Alexander Kamkin | 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 ("paper":http://forge.ispras.ru/attachments/download/2940/2011.HighPerformanceTesting.en.pdf). |
8 | 4 | Alexander Kamkin | |
9 | bq. 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":http://forge.ispras.ru/projects/netfsm test engine of "C++TESK":http://forge.ispras.ru/projects/cpptesk-toolkit. |
||
10 | |||
11 | 1 | Alexander Kamkin | h2. 2012 |
12 | |||
13 | h2. 2013 |
||
14 | 2 | Alexander Kamkin | |
15 | 5 | Alexander Kamkin | 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, March 17, 2013 ("arXiv:1303.1010":http://arxiv.org/abs/1303.1010). |
16 | 2 | Alexander Kamkin | |
17 | bq. 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":http://forge.ispras.ru/projects/cpptesk-toolkit. |