Alexey Khoroshilov
- Email: khoroshilov@ispras.ru
- Registered on: 11/25/2009
- Last connection: 11/22/2020
Issues
- Assigned issues: 5
- Reported issues: 210
Projects
- AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
- BLAST (Manager, 09/16/2011)
- CPAchecker (Manager, Project Creator, 07/28/2018)
- Deductive Verification Tool for Machine Code (Manager, Developer, Project Creator, 10/11/2017)
- Aspectrace (Manager, Developer, 01/28/2019)
- VerKer - Verification of Linux Kernel Library Functions (Manager, Developer, Reporter, 05/09/2017)
- Race Hound (Manager, Developer, Project Creator, 09/05/2012)
- CVC3 with small optimizations for BLAST (Manager, Project Creator, 07/25/2018)
- Linux Driver Verification (Manager, Project Creator, 05/20/2010)
- MicroTESK for PowerPC (Manager, 10/21/2016)
- Examples of behavioral AADL models (Manager, 02/13/2017)
- Linux Kernel Safety RuleDB (Manager, Developer, Project Creator, 10/25/2011)
- Build Analyzer (Manager, Developer, Project Creator, 04/19/2017)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
- Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
- Clade (Manager, Developer, 10/19/2018)
- TSMT: Tools for bounded E-Matching (Manager, Developer, Project Creator, 01/16/2020)
- Тесты с использованием моделей на базе Summer (Manager, Developer, 12/03/2013)
- memconfigcheck (Manager, Developer, Project Creator, 01/15/2019)
- Verification Tool Supports (Manager, Developer, 07/02/2015)
- Klever (Manager, Developer RO, 09/04/2015)
- Kartographer (Manager, Project Creator, 11/18/2015)
- Requality (Manager, Developer, Product Owner, 11/26/2009)
- 1-Click Eclipse Text Editor (Manager, Project Creator, 06/27/2014)
- КМБ-2014 (Manager, Developer, 09/29/2014)
- Deductive Verification Tools for Linux Kernel (Manager, Developer, Project Creator, 09/02/2014)
- LDV Tools (Manager, Project Creator, 03/17/2018)
- Linux Kernel Rules Repo (Project Creator, 07/29/2018)
- Aspectator (Reporter, 02/27/2018)
- MASIW Framework (Manager, Project Creator, 09/11/2013)
- KEDR (Manager, Developer, 06/20/2011)
- C Instrumentation Framework (Reporter, 06/05/2012)
Activity
02/02/2021
-
01:41 AM Requality Wiki edit: APIForNG (#8)
12/28/2020
-
05:26 PM Requality Feature #10248: Отчет Coverage с покрытием по тестам (byProjects): предложения и замечания
- Что такое последний сегмент?
Как предлагается достать имя my_file_test из комментария к тесту следующего вида?
<...
12/26/2020
-
05:16 PM Requality Feature #10248: Отчет Coverage с покрытием по тестам (byProjects): предложения и замечания
- > 5. Настраивать как извлекать идентификатор теста (из имени файла + м.б. из окружения места где найден идентификатор...
12/22/2020
-
11:56 AM Klever Feature #10635 (Closed): Adapt and document KLEVER for usage in CI
- Most of our customers consider deployment of KLEVER as a part of existing CI process.
To be ready for such deployme...
10/26/2020
-
06:01 PM Requality Requality 1.2 released
- Version 1.2 of Requality has been released with many scalability and usability improvements:
* Requirements HTML edi...
09/28/2020
-
12:02 PM Requality Bug #10452 (Closed): Некоторые проекты отображаются в Requality Explorer не как проекты Requality
-
12:02 PM Requality Bug #10451 (Closed): Перестало срабатывать удаление на узлах проекта Requality
-
12:02 PM Requality Bug #10450 (Closed): На корневом узле Requirement доступно действие Delete
-
12:02 PM Requality Bug #10449 (Closed): Бесконечно продолжается процесс "init browsers enjines"
-
12:02 PM Requality Bug #10448 (Closed): Изменение имени папки отчетов не отображается в .gitignore
Also available in: Atom