Система генерирует тестовые сценарии и входные данные, человек
наблюдает и дополняет знанием
Находит ошибки быстрее и эффективнее, чем обычные
автотесты
AT1 заменяет ручное создание тестов на
автоматическую генерацию входных данных и сценариев. Обеспечивает максимальное покрытие и
позволяет запускать тестирование сразу после написания кода.
В режиме continuous testing 24/7 изучает и проверяет систему
В режиме исследования система работает 24/7/365 без
участия человека. Проводится глубокое покрытие кода и состояний системы, генерируется тестовая
база сценариев, содержащая входные данные и структуру тестов для максимизации покрытия кода и
состояний.
Интегрируется с CI системой для проверок при изменении кода
Встраивается в процесс разработки и интегрируется с CI таким
образом, что новый код проходит проверку по сформированной в режиме исследования тестовой базе.
Позволяет разрабатывать короткими итерациями и быть уверенным в стабильности существующей
функциональности.
Ошибки будут выявлены на
этапе разработки, разработчики будут реже переключать контекст
Отсутствие false positive срабатываний
Если ошибка обнаружена – это не случайность, AT1 предоставляет кратчайший путь для ее
воспроизведения.
В платформе используется
метод управляемого фаззинга с контролем состояний, исключающий мусорные данные и
фокусирующийся на валидных значениях.
Это защищает от ложных срабатываний, не формируя у разработчиков толерантность к алертам.
Создана для тестирования сложных stateful систем
AT1 разработана для тестирования реальных stateful и
stateless систем различной
сложности.
Тестирование системы проходит в условиях, максимально приближенных к реальной
эксплуатации. Платформа моделирует сбои,
такие как потеря сети, замедление работы дисков, переключение версий и другие, что позволяет
обнаружить ошибки даже в краевых случаях и быть уверенным, что они не появятся в продакшне.
Это обеспечивает более глубокую проверку, чем традиционные
методы, и гарантирует надежность системы в реальных условиях эксплуатации.
Автономное тестирование – ваш
extra mile
в разработке
Плаформа AT1 – окружение автономного тестирования в вашей инфраструктуре
Масштабируемая тестовая платформа с полной интеграцией
AT1 начинает работать и изучать все темные углы системы, как только была запущена.
Платформа не отвлекает на false positive срабатывания и не ломает существующие подходы
контроля качества.
Помогает находить баги 24/7, не мешает другим системам и разработке
Режим исследования и накопления тестовой
базы
AT1 составляет базу тестовых сценариев и входных данных, обеспечивающих
глубокое покрытие.
На этом этапе происходит обучение платформы и формирование базы для быстрых проверок.
Этот режим работает постоянно с момента первого запуска AT1, периодически предоставляя отчёты о
найденных проблемах и текущем покрытии.
Перезапуск платформы происходит при новом релизе тестируемой системы, обеспечивая непрерываное
обучение на новых релизах.
Режим быстрой проверки
AT1 выполняет быструю проверку на основе базы данных сценариев, накопленной в режиме
исследования. Этот режим удобен для запуска быстрых проверок и регресс-тестирования
функциональности. Он запускается при каждом релизе в блокирующем режиме.
Внутри программируемый фаззер и оркестратор исполенения
AT1 – это сложная многокомпонентная платформа спроектированная и
разработанная в CoreInfra. Основой платформы
является программируемый фазер и оркестратор тестовой среды.
Отсутствие false positive срабатываний и глубокое покрытие
1
AT1 Control plane, компонент отвечающий за взаимодействие с
рантаймом AT1 и управление им. Включает в себя планировщик
тестовых сценариев, сбор и анализ обратной связи от рантайма и API контроллер для
управления снаружи.
2
Интерфейс взаимодействия с пользователем. Состоит из
компонента разграничения прав пользователей по проектам, панели
управления платформой, системы нотификаций и отображения отчетов.
3
Рантайм AT1 включает в себя интерфейс связи с менеджером,
изолированное окружение для запуска тестируемой системы (5)
и программируемый фазер (4) обеспечивающий генерацию высоковалидных входных данных.
4
Программируемый фаззер с обратной связью исследует тестируемую
систему максимизируя покрытие кода и покрытие состояний системы. За счет кастомизируемого
поведения
и загружаемых артефактов в
фаззер достигается отсутствие при генерации невалидных входных значений.
5
Образ тестируемой системы со всеми зависимостями
запускаются в изолированной виртуальной среде, где
через cgroups и другие механизмы производится симуляция различных внешних факторов таких
как обрыв сети, потеря узла и другие.
Сделайте в два раза больше с той же командой
AT1 помогает разработке и бизнесу
Эффективность процессов разработки и тестирования достигается за
счет высокого покрытия кода без ручного труда, быстрой
обратной связи с командой разработки и обнаружения нетривиальных проблем на самых ранних
стадиях.
Позволяет двигаться быстрее и быть уверенным в надежности
Увеличение надежности релизов
AT1 выявляет реальные проблемы на стыках
систем, проводит глубокий анализ и предрелизную
проверку на основе сформированной базы тестовых сценариев.
Форсированное моделирование отказов среды, детальный анализ граничных условий и имитация
различных эксплуатационных
сценариев позволяют AT1 обнаруживать редкие критичные ошибки до их проявления в продакшене.
Интеграция AT1 в процесс разработки минимизирует поток багов от реальной эксплуатации,
снижая количество инцидентов и
улучшая пользовательский опыт.
Повышение мотивации команды
AT1 позволяет тратить меньше времени на неприятную часть разработки и сфокусироваться на
создании нового, а не чинить всплывающие баги и не писать однотипные тесты.
Разработчики не любят делать end2end тесты, AT1 для этого создана.
Ускорение релизов
За счет короткой обратной связи и глубокого покрытия
достигаются быстрые
итерации в разработке. Это позволяет быть уверенным, что новый код не ломает старой
функциональности, что позволяет выпускать релизы быстрее.
Повышение эффективности QA
Вместо рутинного написания тестовых сценариев и
дорогой поддержки кодовой базы, QA формулирует свойства системы, задает
ограничения и отслеживает процесс через генерируемые AT1 отчеты и баг-репорты. Это позволяет
выстроить процесс контроля качества максимально эффективно и получить высокую увереннность в
стабильности системы.
Инструмент для соответствия ГОСТ РБПО
AT1 является исчерпывающей системой для выполнения
требования
ГОСТ Р 56939-2016 в части динамического тестирования и
выявления дефектов ПО.
Применение в индустрии
Когда надежность не компромисс
Наши клиенты – компании для которых нет компромиссов в вопросе
надежности и качества своих решений. Мы даем практическую уверенность, что разработанная система
работает
корректно.
Распределенные системы
Тестирование облачных сервисов, микросервисных архитектур,
блокчейн-систем, систем управления базами данных.
Встраиваемые системы и IoT
Тестирование встраиваемого ПО в устройствах IoT и любых других,
тестирование драйверов операционной системы.
Промышленность и робототехника
Тестирование автономных промышленных роботов, складских систем и
производственных линий.
Финансовые технологии
Тестирование алгоритмов автоматической торговли, банковских систем,
платежных шлюзов.
Сетевое оборудование и телекоммуникации
Тестирование сетевого оборудования различного уровня и сервисов
телекоммуникации.
Авиастроение и космонавтика
Тестирование бортовых систем, контроллеров и программного обеспечения требующего
высокий уровень надежности.
Сотрудничество с CoreInfra
Основной принцип компании CoreInfra – создание решений,
приносящих реальную ценность клиентам. Мы разрабатываем
архитектуру, внедряем решения, обучаем команды и обеспечиваем поддержку на всех этапах
эксплуатации платформы.
Возьмем на себя интеграцию и поможем адаптировать процессы
1. Изучение тестируемой системы и составления требований к инсталляции
Вместе с инженерами компании мы определяем тестируемую систему, изучаем ее особенности и
составляем проект работ по внедрению и интеграции AT1. Определяем какие протоколы, схемы
взаимодействия, рантаймы, языки используются в системе и какие адаптеры нужны для AT1.
2. Составление и подписание договора
Используя проект рассчитываем стоимость решения, определяем сроки, необходимый объем
поддержки и
согласовывем договор.
3. Подготовка программного обеспечения компании для AT1
Наши инженеры помогут с подготовкой тестируемуой системы для использования в AT1.
Проведут необходимые работы.
4. Инсталляция и интеграция AT1
AT1 разворачивается on-prem, интегрируется с пайплайном CI системы и другой инфраструктурой для
разработчиков.
5. Консультации по баг-репортам
В первое время вы будете много получать различных отчетов, мы поможем наладить процесс
их разбора и подскажем, как сделать воспроизведение более простым, а использование AT1 более
эффективным.
6. Поддержка и обратная связь
Для нас важно, чтобы AT1 работала эффективно, не пропускала баги и была удобна в
эксплуатации.
Поэтому кроме поддержки по договору мы проводим встречи для сбора обратной связи. Это
поможет
нам сделать продукт еще лучше, а вам использовать AT1 на максимум возможностей.
