Киннор Динамика
«Киннор Динамика» включено в реестр российского ПО: реестровая запись № 30241, решение Экспертного совета (протокол № 872пр от 09.10.2025). Правообладатель — ООО "НИЦ ФБ". Заявление № 340641 от 28.08.2025.
Статус: Включено в реестр · Этап: В реестре · ПО
- Номер заявления
- № 340641, зарегистрировано 28.08.2025
- Правообладатель
- ООО "НИЦ ФБ"
- Реестровая запись
- Реестровая запись №30241 от 22.10.2025
- Классы ПО
- 04.04 Среды разработки, тестирования и отладки
О продукте
Киннор Динамика – это программное инструментальное средство, предназначенное для фаззинг-тестирования программ, функционирующих в операционных системах реального времени (ОСРВ). Киннор Динамика может использоваться для повышения тестового покрытия при верификации приложений согласно ГОСТ IEC 61508-3-2018.
1. Выполнение фаззинг-тестирования для следующих источников данных: файлы, аргументы командной строки, стандартный поток ввода. 2. Поддержка объектов анализа, функционирующих в ОСРВ, исполняющихся в виртуальных машинах QEMU. 3. Мутационные преобразования входных данных для увеличения тестового покрытия объекта анализа. 4. Поддержка горизонтального масштабирования фаззинг-тестирования путем распределения задач на компьютеры вычислительного кластера. 5. Поддержка интеграция со сборочными конвейерами CI/CD. 6. Поддержка статического инструментирования GCC. 7. Управление конфигурациями и входными данными анализа на основе механизма проектов.
- Свидетельство Роспатента
- № 2024691635 от 23.12.2024
- Код ОКПД 2
- 62 Продукты программные и услуги по разработке программного обеспечения; консультационные и аналогичные услуги в области информационных технологий
- ИНН правообладателя
- 7810992973
- Государство регистрации
- Россия
- Документация
- kinnor.fs.center
- Стоимость и лицензия
- kinnor.fs.center
По карточке заявления на сайте реестра, обновлена там 25.08.2025.
Решения Экспертного совета
- Включить в реестр — протокол № 872пр от 09.10.2025, голосование: за 17, против 0, воздержались 1; поручение оператору от 22.10.2025
- Класс программного обеспечения: Среды разработки, тестирования и отладки
История заявления
- 22.10.2025 — реестровая запись № 30241
- 09.10.2025 — решение Экспертного совета: Включить в реестр (протокол № 872пр)
- 28.08.2025 — появилось в списке со статусом «Включено в реестр»
Похожие продукты в классе 04.04
- Owen Logic — Готовится экспертная оценка
- IGAS TREND — Готовится экспертная оценка
- SmartMLOps – система размещения и управления сервисами искусственного интеллекта — Готовится экспертная оценка
- UserGate InfraTwin — Готовится экспертная оценка
- Программа конфигурирования устройств серии БАЗИС — Дана экспертная оценка
- Trema IDE — Готовится экспертная оценка
- СмартМетрикс — На доработке заявителем
- Deckhouse Galleon — Подготовка голосования
Весь класс 04.04 Среды разработки, тестирования и отладки