Компания Mistral представила Leanstral — инструмент, который призван исключить ручную верификацию кода в программной разработке. Это решение позволяет существенно повысить скорость проверки кода и снизить риск ошибок, что актуально для команд, работающих над крупными проектами.
Контекст развития инструментов автоматизации
Сфера разработки программного обеспечения на протяжении нескольких лет активно движется в сторону автоматизации. По данным Gartner, более 70% компаний используют инструменты CI/CD для оптимизации своих процессов. Однако ручные проверки кода остаются узким местом, замедляющим разработку. В этом контексте Leanstral может стать значимым прорывом и улучшить качество выпускаемого программного обеспечения без необходимости в длительных процессах рутинной проверки.Как работает Leanstral
Leanstral использует формальные методы верификации и теорию верифицируемых систем, что позволяет выявлять ошибки на уровне написания кода. По словам представителей Mistral, этот подход способен сократить время проверки кода до 80%. Например, в пилотном проекте с использованием Leanstral команда разработчиков смогла обнаружить 94% уязвимостей до релиза, что привело к снижению последующих затрат на исправление ошибок.CEO Mistral отметил: «Leanstral — это шаг к будущему без необходимости в человеческом участии в рутинных проверках. Основная задача — дать разработчикам возможность сосредоточиться на решении творческих задач, а не на коррекции мелких ошибок».
Что это значит для разработчиков
Для российских разработчиков Leanstral может стать полезным инструментом в условиях растущей конкуренции и необходимости оптимизации рабочих процессов. Инвестиции в автоматизацию проверок могут сократить время выхода на рынок на 20-30%, улучшив общую продуктивность команды. А значит, стоит обратить внимание на возможности, которые открывают такие инструменты.Следующий шаг — тестирование Leanstral в реальных условиях с целью доработки функционала и адаптации под локальные запросы рынка. Oжидается, что первая версия продукта будет доступна в начале 2024 года.
