# Разработка инструментов тестирования и верификации кода

ООО "Системы программной верификации" занимается разработкой и сопровождением инструмента PVS\-Studio, предназначенного для выявления 64\-битных и параллельных ошибок в коде приложений на языке Си/Си\+\+\. Пакет PVS\-Studio представляет собой набор специализированных статических анализаторов кода, позволяющих осуществлять верификацию исходного кода еще на этапе конструирования и тем самым существенно сокращать затраты на отладку, тестирование и сопровождение программы\.


> Статический анализатор PVS\\\-Studio в настоящее время предоставляет гораздо больше возможностей, чем поиск ошибок в параллельных и 64\\\-битных программах\\\. Просим посетить \[страницу продукта\]\(https://pvs\-studio\.ru/ru/pvs\-studio/\)\\\.

Наша компания готова разработать и поддерживать специализированные инструменты в области тестирования\. Мы готовы реализовывать заказы следующего вида:

* Разработка специализированного [статического анализатора](https://pvs-studio.ru/ru/blog/terms/0046/) для внутренних нужд заказчика\. Мы можем реализовать набор специализированных диагностических правил и интегрировать инструмент в существующий цикл разработки программ\. Другими словами, мы можем создать инструмент для контроля [стандарта кодирования](https://pvs-studio.ru/ru/blog/terms/0008/), принятого в компании заказчика\.
* Мы можем разработать анализатор кода, сопровождающий предлагаемые клиентом решения, и тем самым поддержать его пользователей\. Например, клиент может разрабатывать компилятор языка Си/Си\+\+ и набор других средств разработки для специализированных процессоров\. Мы можем дополнить набор разработки статическим анализатором, заточенным на выявление наиболее актуальных проблем в коде пользователей\. Другой пример \- статический анализатор, отслеживающий корректность использования большой и сложной библиотеки\.
* Возможна разработка других решений, не связанных со статическим анализом исходного кода, но требующих разбора текстов программ на языке Си/Си\+\+\. Примеры: инструменты создания документации на основе исходного кода, инструменты построения зависимостей между различными модулями\.

Это только краткий список возможных разработок и возможны альтернативные варианты сотрудничества\. Мы готовы предоставить дополнительную информацию и ответить на все ваши вопросы\.

 

Контактная информация:                                               

[Сайт компании](https://pvs-studio.ru/ru/pvs-studio/)

Электронный ящик: support@viva64\.com

[Форма для связи](https://pvs-studio.ru/ru/about-feedback/)