Фаззинг ПО для embedded-систем на основе Нейтрино
Фаззинг-тестирование - это важный метод динамического анализа, необходимый для для достижения требуемого уровня стойкости ПО к систематическим отказам согласно ГОСТ IEC 61508-3
Что такое Киннор Динамика?
Киннор Динамика — это инструмент автоматизации мутационного и гибридного фаззинга программ, которые исполняются в среде операционной системы реального времени "Нейтрино"
Запись в Реестре программного обеспечения Минцифры России № 30241
Запись в Реестре программного обеспечения Минцифры России № 30241
Основные проблемы при тестировании ПО
Тестирование ПО для embedded-систем имеет специфику, обусловленную тесной связью с оборудованием, ограниченными ресурсами сред исполнения и доступностью коммуникационных интерфейсов
- Необходимость поддержки разных аппаратных платформ и конфигурацийНе всё нужное для тестового стенда оборудование может быть доступно
- Необходимость проверки неразрешимых правил статического анализаСтатические анализаторы автоматически проверяют только разрешимые правила и директивы стандартов кодирования (например, MISRA C)
- Необходимость достижения 100% кодового покрытия для высоких уровней SILДля полного покрытия кода тестами могут требоваться тысячи сценариев негативного тестирования, которые задействуют все достижимые блоки кода
- Необходимость автоматизации тестирования качестваДля выявления всех возможных ошибок в ходе каждого предрелизного тестирования нужна не только генерация всевозможных большого количества входных данных, но и максимальная автоматизация процесса верификации
Что позволяет делать Киннор Динамика
Киннор Динамика позволяет имитировать среду функционирования тестируемого ПО, проводить углубленный статический анализ, генерировать данные для 100% кодового покрытия и автоматизировать процесс тестирования
Тестирование без физического оборудования
Фаззинг позволяет генерировать данные для мокирования зависимостей
Углублённый статический анализ
Фаззинг дает данные времени исполнения для анализа неразрешимых правил и директив стандартов кодирования
Достижение 100% кодового покрытия
Фаззинг позволяет генерировать тест-кейсы для покрытия операторов и ветвей до 100%, выявлять «мертвый» код и критичные граничные условия
Автоматизация контроля качества
Фаззинг встраивается в конвейер CI/CD для генерации сценариев негативного тестирования при каждом регрессионном тестировании
Этапы работы с Киннор Динамика
Инструменты фаззинг-тестирования упрощают и ускоряют динамический анализ, но требуют от пользователя соответствующих знаний и навыков, а также применения планового и системного подхода к верификации
Анализ требований
Определение целей и задач фаззинг-тестирования, изучение спецификаций ПО.
Настройка параметров
Установка и конфигурирование инструмента Киннор Динамика для работы с тестируемым ПО.
Запуск фаззинга
Выполнение мутационного и гибридного фаззинга для обнаружения уязвимостей и ошибок в коде.
Анализ результатов
Изучение полученных данных, выявление проблем и разработка рекомендаций по их устранению.
Выберите подходящую редакцию для Ваших задач
Стоимость лицензии указана за один год. При продлении лицензии на очередной год не позднее, чем за месяц до окончания текущего, предоставляется скидка в размере 25% стоимости лицензии
START
(для начала)
(для начала)
Быстрый и бесплатный способ перенести динамический анализ на новый уровень
0 ₽
Поддержка одного проекта
Одна задача фаззинга (т.е. без распараллеливания)
Подать заявку Одна задача фаззинга (т.е. без распараллеливания)
PRO
(для анализа ПО)
(для анализа ПО)
Профессиональный инструмент для серьёзных задач
1 280 000 ₽
Без ограничений по количеству проектов
Интеграция с КР для ЗОСРВ «Нейтрино»
Горизонтальное масштабирование с синхронным запуском задач фаззинга
Стандартная техническая поддержка
Подать заявку Интеграция с КР для ЗОСРВ «Нейтрино»
Горизонтальное масштабирование с синхронным запуском задач фаззинга
Стандартная техническая поддержка
ENTERPRISE
(для верификации ПО)
(для верификации ПО)
Полный спектр возможностей фаззинг-тестирования ПО для Нейтрино
3 840 000 ₽
Без ограничений по количеству проектов
Интеграция с КР для ЗОСРВ «Нейтрино»
Интеграция с CI/CD
Горизонтальное масштабирование с асинхронным запуском задач фаззинга
Приоритетная техническая поддержка
Подать заявку Интеграция с КР для ЗОСРВ «Нейтрино»
Интеграция с CI/CD
Горизонтальное масштабирование с асинхронным запуском задач фаззинга
Приоритетная техническая поддержка
Киннор Динамика -
находите ошибки до того, как они станут проблемой
находите ошибки до того, как они станут проблемой
Отзывы пользователей
- Киннор Динамика помог нам значительно ускорить анализ объектов поверхности атаки при проведении предрелизных верификационных испытаний.Евгений ДужакРуководитель группы разработки СЗИ
- Мы используем Киннор Динамика для тестирования нашего ПО уже несколько месяцев, и результаты превосходят все ожидания. Инструмент оказался очень удобным для интеграции в распределенную CI/CD систему.Алексей ВасюнинРуководитель отдела автоматизации и верификации
- Главное преимущество «Киннор Динамики» для нас - возможность параллельного запуска множества фаззеров на разных кейсах. Инструмент самостоятельно управляет ресурсами, равномерно нагружая доступные виртуальные машины. Мы смогли масштабировать тестирование, просто добавляя больше агентов, без необходимости менять конфигурацию самой «Киннор Динамики».Сергей КотеневИнженер-программист
Документация
Информация, необходимая для установки программного обеспечения "Киннор Динамика"
Информация, необходимая для эксплуатации программного обеспечения "Киннор Динамика"
Часто задаваемые вопросы (FAQ)
Фаззинг или фаззинг-тестирование – это динамический метод тестирования и анализа программного обеспечения, который помогает находить ошибки и уязвимости, подавая на вход программы случайные данные.
Мутационный фаззинг изменяет существующие валидные образцы входных данных (так называемый «seed») и случайным образом изменяет (мутирует) их, чтобы создать новые, потенциально опасные тест-кейсы. чтобы проверить, как это повлияет на работу программы.
При гибридном фазинге фаззер сам генерирует входные данные, основываясь на формальной модели или грамматике формата данных. Этой грамматике его нужно предварительно «научить».
При гибридном фазинге фаззер сам генерирует входные данные, основываясь на формальной модели или грамматике формата данных. Этой грамматике его нужно предварительно «научить».
Динамический анализ - это подход к верификации программы, при котором она должна быть выполнена (запущена) на реальном или виртуальном процессоре с конкретными входными данными. Аналитик или автоматизированный инструмент наблюдает за поведением программы: как она реагирует на эти данные, какие участки кода выполняются, какие системные вызовы делает, как использует память и т.д.
Статический анализ – это метод проверки исходного кода программы на наличие ошибок и потенциальных уязвимостей без запуска программы. Важным вариантом статического анализа является проверка на соответствие программы заданному набору ограничений - стандарту кодирования.
Статический анализ используется как средства автоматизации экспертизы программы (code review).
Статический анализ используется как средства автоматизации экспертизы программы (code review).
Реальное время — это такое свойство системы, при котором она гарантированно обрабатывает данные и реагирует на события за строго определённое, заранее известное время - deadline.
Несоблюдение deadline является отказом системы и ведёт к критическим последствиям (авария, разрушение оборудования, гибель людей).
Несоблюдение deadline является отказом системы и ведёт к критическим последствиям (авария, разрушение оборудования, гибель людей).
Мокирование зависимостей — это метод, при которой реальные зависимости (сервисы, базы данных, API) в тестируемом модуле заменяются на их имитаторы. Это делается для того, чтобы изолировать тестируемый код и сосредоточиться именно на его поведении, а не на работе его зависимостей.
По сути мок (англ. mock) - это "умная" заглушка, которая не только возвращает данные, но и следит за взаимодействием.
Мокирование - это одно из ключевых понятий в модульном тестировании (unit testing).
По сути мок (англ. mock) - это "умная" заглушка, которая не только возвращает данные, но и следит за взаимодействием.
Мокирование - это одно из ключевых понятий в модульном тестировании (unit testing).
Подать заявку
Начать использовать фаззинг-тестирование для верификации ПО
Нажимая на кнопку "Отправить заявку", Вы даете согласие на обработку персональных данных и соглашаетесь c политикой конфиденциальности
Свяжитесь с нами
Телефон: (812) 943-37-60
Email: kinnor@fs.center
Email: kinnor@fs.center
Адрес: 196066, Санкт-Петербург, Московский проспект, дом 212