General

Profile

Alexey Khoroshilov

Issues

open closed Total
Assigned issues 5 252 257
Reported issues 41 169 210

Projects

Project Roles Registered on
1-Click Eclipse Text Editor Manager, Project Creator 06/27/2014
Aspectrace Manager, Developer 01/28/2019
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Deductive Verification Tools for Linux Kernel Manager, Developer, Project Creator 09/02/2014
Verification Tool Supports Manager, Developer 07/02/2015
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
Инструменты дедуктивной верификации моделей политик безопасности Manager, Developer, Project Creator 04/26/2018
Build Analyzer Manager, Developer, Project Creator 04/19/2017
C Instrumentation Framework Reporter 06/05/2012
Aspectator Reporter 02/27/2018
Clade Manager, Developer 10/19/2018
Deductive Verification Tool for Machine Code Manager, Developer, Project Creator 10/11/2017
Kartographer Manager, Project Creator 11/18/2015
MicroTESK for PowerPC Manager 10/21/2016
Race Hound Manager, Developer, Project Creator 09/05/2012
KEDR Manager, Developer 06/20/2011
Klever Manager, Developer RO 09/04/2015
Linux Driver Verification Manager, Project Creator 05/20/2010
BLAST Manager 09/16/2011
LDV Tools Manager, Project Creator 03/17/2018
CPAchecker Manager, Project Creator 07/28/2018
CVC3 with small optimizations for BLAST Manager, Project Creator 07/25/2018
Linux Kernel Safety RuleDB Manager, Developer, Project Creator 10/25/2011
Linux Kernel Rules Repo Project Creator 07/29/2018
memconfigcheck Manager, Developer, Project Creator 01/15/2019
TSMT: Tools for bounded E-Matching Manager, Developer, Project Creator 01/16/2020
Requality Manager, Developer, Product Owner 11/26/2009
VerKer - Verification of Linux Kernel Library Functions Manager, Developer, Reporter 05/09/2017
MASIW Framework Manager, Project Creator 09/11/2013
Examples of behavioral AADL models Manager 02/13/2017
КМБ-2014 Manager, Developer 09/29/2014
Тесты с использованием моделей на базе Summer Manager, Developer 12/03/2013

Activity

03/30/2021

07:35 PM Requality Wiki edit: Reqdb (#96)
Alexey Khoroshilov

02/03/2021

01:41 AM Requality Wiki edit: APIForNG (#8)
Alexey Khoroshilov

12/28/2020

05:26 PM Requality Feature #10248: Отчет Coverage с покрытием по тестам (byProjects): предложения и замечания
Что такое последний сегмент?
Как предлагается достать имя my_file_test из комментария к тесту следующего вида?
<...
Alexey Khoroshilov

12/26/2020

05:16 PM Requality Feature #10248: Отчет Coverage с покрытием по тестам (byProjects): предложения и замечания
> 5. Настраивать как извлекать идентификатор теста (из имени файла + м.б. из окружения места где найден идентификатор... Alexey Khoroshilov

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...
Alexey Khoroshilov

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...
Alexey Khoroshilov

09/28/2020

12:02 PM Requality Bug #10452 (Closed): Некоторые проекты отображаются в Requality Explorer не как проекты Requality
Alexey Khoroshilov
12:02 PM Requality Bug #10451 (Closed): Перестало срабатывать удаление на узлах проекта Requality
Alexey Khoroshilov
12:02 PM Requality Bug #10450 (Closed): На корневом узле Requirement доступно действие Delete
Alexey Khoroshilov
12:02 PM Requality Bug #10449 (Closed): Бесконечно продолжается процесс "init browsers enjines"
Alexey Khoroshilov

Also available in: Atom