Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
GBP
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
Первые наши практические исследования в…

Первые наши практические исследования в области расчета метрик

09 Июн 2009

Не так давно мы начали задумываться над вопросом анализа программного кода не только с точки зрения наличия в нем 64-битных или OpenMP ошибок, но и с точки сложности его адаптации для 64-битных и параллельных систем. И здесь хочется поделиться первыми нашими практическими экспериментами в этой области.

Поводом задуматься над расчетом метрик стал вопрос одного из наших клиентов, как грубо оценить сложность переноса проекта на 64-битную систему. Поскольку этот вопрос может возникать у многих наших потенциальных клиентов, то инструмент для расчета метрик может стать подспорьем в этом вопросе.

Сейчас мы объединяем два наших инструмента Viva64 и VivaMP в единый программный продукт для разработчиков - PVS-Studio. В рамках этого продукта будет естественным реализация новой функциональности для прогнозирования сложности программного продукта, а также оценки времени его адаптации для параллельных или 64-битных систем.

Хотя существует достаточно большое количество разнообразных метрик, проведя их обзор, мы не смогли найти методы, позволяющие оценивать их сложность по необходимым нам критериям. Возможно, что мы недостаточно тщательно выполнили поиск, но вполне возможно таких метрик действительно не существует. Поэтому мы реализовали свои собственные метрики расчета, которые явно нуждаются в дальнейшей доработке, и пока просто расскажем о промежуточных достижениях, реализованных в экспериментальной программе VivaShowMetrics.

Программа VivaShowMetrics работает с препроцессированными (*.i) файлами и на выходе строит графики по пяти метрикам:

  • Общая сложность - комплексная сложность функции. Поскольку данная характеристика не является в нашем случае важной, то мы не стали использовать классические методы для ее вычисления, такие как, например, расчет цикломатической сложности. Используется достаточно простая метрика, основанная на количестве ветвлений в теле функции, количестве вызовов других функций и количестве арифметических операций.
  • Сложность распараллеливания функции. Предполагаемая сложность распараллеливания функции с использованием технологии OpenMP. Правила для расчета этой и последующих метрик в настоящий момент постоянно меняются и пока нет смысла их описывать.
  • Опасность параллельной функции. Насколько функция предрасположена к ошибкам при ее распараллеливании с использованием технологии OpenMP. Другими словами, насколько легко программисту допустить ошибку при распараллеливании данной функции.
  • Сложность реализации 64-битного варианта функции. Предполагаемая сложность адаптации функции для 64-битной системы.
  • Опасность 64-битной функции. Насколько высока вероятность того, что данная функция содержит ошибку с точки зрения 64-битных систем.

Собранные метрики по каждой функции сортируются для удобства изучения по их убыванию. В результате для библиотеки CImg (C++ Template Image Processing Toolkit) можно наблюдать достаточно типовую картину:

0014_Our_first_practical_research_in_the_sphere_of_metrics_calculation_ru/image1.png

Опасные и сложные функции с точки зрения распараллеливания и 64-битности занимают достаточно малый процент от общего количества функций. Остальные функции достаточно просты и в большинстве своем, скорее всего, представляют собой интерфейс для кода пользователя.

Если же открыть файл, относящийся к системе юнит-тестов анализатора Viva64, то картина будет совсем иной:

0014_Our_first_practical_research_in_the_sphere_of_metrics_calculation_ru/image3.png

Здесь собрано большое количество ситуаций, на которых анализатор должен выдавать предупреждения о 64-битных ошибках. Функции хотя и не большие, но достаточно сложные и опасные во всех отношениях. Именно поэтому видно, что процент опасных функций достаточно велик. При этом график опасности точки зрения 64-бит значительно опережает график сложности переноса. Это связано с тем, что в коде небольшие функции содержат большую концентрацию ошибок. Функции опасны, но исправить их легко.

Популярные статьи по теме
Главный вопрос программирования, рефакторинга и всего такого

Дата: 14 Апр 2016

Автор: Андрей Карпов

Вы угадали, ответ - "42". Здесь приводится 42 рекомендации по программированию, которые помогут избежать множества ошибок, сэкономить время и нервы. Автором рекомендаций выступает Андрей Карпов - тех…
Как PVS-Studio оказался внимательнее, чем три с половиной программиста

Дата: 22 Окт 2018

Автор: Андрей Карпов

PVS-Studio, как и другие статические анализаторы кода, часто выдаёт ложные срабатывания. Но не стоит спешить считать странные срабатывания ложными. Это короткая история о том, как PVS-Studio вновь ок…
Любите статический анализ кода!

Дата: 16 Окт 2017

Автор: Андрей Карпов

Я в шоке от возможностей статического анализа кода, хотя сам участвую в разработке инструмента PVS-Studio. На днях я был искренне удивлён тому, что анализатор оказался умнее и внимательнее меня.
Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей

Дата: 21 Ноя 2018

Автор: Андрей Карпов

Краткое описание технологий, используемых в инструменте PVS-Studio, которые позволяют эффективно обнаруживать большое количество паттернов ошибок и потенциальных уязвимостей. Статья описывает реализа…
Эффект последней строки

Дата: 31 Май 2014

Автор: Андрей Карпов

Я изучил множество ошибок, возникающих в результате копирования кода. И утверждаю, что чаще всего ошибки допускают в последнем фрагменте однотипного кода. Ранее я не встречал в книгах описания этого …
PVS-Studio ROI

Дата: 30 Янв 2019

Автор: Андрей Карпов

Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые по…
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

Автор: Андрей Карпов

Проект Unreal Engine развивается - добавляется новый код и изменятся уже написанный. Неизбежное следствие развития проекта - появление в коде новых ошибок, которые желательно выявлять как можно раньш…
Зло живёт в функциях сравнения

Дата: 19 Май 2017

Автор: Андрей Карпов

Возможно, читатели помнят мою статью под названием "Эффект последней строки". В ней идёт речь о замеченной мной закономерности: ошибка чаще всего допускается в последней строке однотипных блоков текс…
Как и почему статические анализаторы борются с ложными срабатываниями

Дата: 20 Мар 2017

Автор: Андрей Карпов

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализат…
PVS-Studio для Java

Дата: 17 Янв 2019

Автор: Андрей Карпов

В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальн…

Комментарии (0)

Следующие комментарии

На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять