C++TESK-Related Publications » History » Version 9
Alexander Kamkin, 10/23/2013 06:45 AM
| 1 | 1 | Alexander Kamkin | h1. C++TESK-Related Publications |
|---|---|---|---|
| 2 | |||
| 3 | h2. 2010 |
||
| 4 | |||
| 5 | 8 | Alexander Kamkin | A. Kamkin. _*CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs*_. Proceedings of the 8 ^th^ East-West Design & Test Symposium, St. Petersburg, Russia, September 17-20, 2010. |
| 6 | |||
| 7 | bq. The paper introduces CTestBench, a lightweight C-based tool for hardware specification and simulation-based verification (a germ of "C++TESK":http://forge.ispras.ru/projects/cpptesk-toolkit). The tool is considered as a simple and extendable framework for teaching students (familiar with the C language), but is also applicable to complex designs and can be used in real-life projects. |
||
| 8 | |||
| 9 | 1 | Alexander Kamkin | h2. 2011 |
| 10 | |||
| 11 | 8 | 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":https://opencirrus.org Summit, Moscow, Russia, June 1-3, 2011 ("paper":http://forge.ispras.ru/attachments/download/2940/2011.HighPerformanceTesting.en.pdf). |
| 12 | 4 | Alexander Kamkin | |
| 13 | 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. |
||
| 14 | 1 | Alexander Kamkin | |
| 15 | h2. 2012 |
||
| 16 | |||
| 17 | h2. 2013 |
||
| 18 | 2 | Alexander Kamkin | |
| 19 | 8 | 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":http://www.mbt-workshop.org (MBT), Rome, Italy, March 17, 2013 ("arXiv:1303.1010":http://arxiv.org/abs/1303.1010). |
| 20 | 2 | Alexander Kamkin | |
| 21 | 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. |
||
| 22 | 9 | Alexander Kamkin | |
| 23 | В.П. Иванников, А.С. Камкин, М.М. Чупилко. _*Проверка поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс*_. "Труды конференции ''Методы и инструменты анализа программ''":http://www.tmpaconf.org (ИМАП), Кострома, 10-12 октября, 2013 ("paper":http://forge.ispras.ru/attachments/download/2940/2013.DynamicTraceMatching.ru.pdf). |
||
| 24 | |||
| 25 | 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. |