«TrustInSoft Analyzer предлагает уникальный уровень уверенности благодаря использованию надежных формальных методов. Этот подход идеально дополняется применением искусственного интеллекта для анализа и тестирования. Мы объединяем эффективность ИИ с измеримостью и точностью формальных методов», — сказала Каролин Гийом, генеральный директор TrustInSoft. «Команды разработчиков в таких секторах, как Интернет вещей, автомобильная промышленность и оборона, получат выгоду от возможности более эффективного масштабирования проверки кода на C, C++ и Rust за счет сочетания ИИ с формальными методами».
Что вас ждет в релизе апреля 2026 года:
Генерация тестовых драйверов и заглушек на основе ИИ.
Начните с настройки в один клик, чтобы мгновенно сгенерировать контекстно-зависимые тестовые драйверы и заглушки с использованием ИИ. Эта функциональность значительно сократит трудозатраты на анализ, сохраняя при этом согласованность и точность, необходимые для соответствия требованиям в критически важных системах.
Графический интерфейс для поддержки Rust.
Переход к готовому к производству анализу Rust путем интеграции всех рабочих процессов — от настройки до исследования первопричин и составления отчетов — в улучшенный графический интерфейс.
Анализ покрытия MC/DC с использованием формальных методов. Достижение
соответствия покрытия MC/DC за счет обобщения входных данных на основе формальных методов, что значительно сократит трудозатраты на проверку для таких стандартов, как ISO 26262.
