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

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

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

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

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

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

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


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

>
>
Научная деятельность компании ООО "…

Научная деятельность компании ООО "СиПроВер"

22 Авг 2013

Раньше на нашем сайте существовала страничка "Научная деятельность", где были перечислены публикации сотрудников компании в печатных изданиях, их выступления на конференциях и так далее. Коммерческой пользы от этих мероприятий нет, поэтому мы уменьшили их количество и перестали вести их учет. Теперь мы решили убрать и саму страницу о научной деятельности, как не актуальную. Однако напоследок я решил сделать эту запись в блог. Она предназначена для студентов, которые планируют проходить у нас практику и должна им показать, что наше направление является наукоёмким и по этой теме можно делать диссертационные работы.

Студенты, у нас интересно и полезно проходить практику!

Эта заметка должна помогать нам агитировать студентов для прохождения практики у нас. Мы будем приводить её в письмах в качестве ссылки.

Для студентов важно, чтобы практика, была полезна им в плане учебы. Всегда желательно, чтобы практика позволила написать хороший отчет и помогла выбрать дальнейшую тему для ВКР и диссертации и т.д.

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

Ответ, да можно. В качестве примера, я перечислю некоторые из таких действий, которые мы делали.

Конференции, в которых принимали участие сотрудники ООО "СиПроВер"

  • Application Developer Days 2011 (ADD 2011), 29-30 апреля 2011 г., Санкт-Петербург.
  • Application Developer Days 2010 (ADD 2010), 23-24 сентября 2010 г., Ярославль.
  • Разработка ПО 2009 (CEE-SECR 2009), 28-29 октября 2009 г., Москва.
  • Параллельные Вычислительные Технологии - ПаВТ 2009, 30 марта - 3 апреля 2009 г., Нижний Новгород.
  • Математические методы в технике и технологиях - ММТТ-21, 27-31 мая 2008 г., Саратов.
  • Всероссийская студенческая олимпиада "Конкурс компьютерных программ", 22-23 мая 2008 г., Вологда.
  • Ломоносов - 2008: Международная конференция студентов, аспирантов и молодых ученых, 7-11 апреля 2008 г., Москва.
  • Международная молодежная научная конференция "XXXIV Гагаринские чтения", 1-5 апреля 2008 г, Москва.
  • Технологии Microsoft в теории и практике программирования, 1-2 апреля 2008 г., Москва.
  • SOFTWARE ENGINEERING CONFERENCE (RUSSIA), 1-2 ноября 2007 г., Москва.

Семинары, в которых принимали участие сотрудники ООО "СиПроВер"

  • Семинар в Тульском клубе программистов TULADEV. Тула, 24 ноября 2012 г.
  • Семинар в Тульском клубе программистов TULADEV. Тула, 25 февраля 2012 г.
  • Семинар в Научно-исследовательском вычислительном центре МГУ, Москва, 23 марта 2009 г.
  • Семинар в Институте системного программирования российской академии наук, Москва, 7 июня 2008 г.
  • Семинар в Вычислительном центре российской академии наук, Москва, 15 мая 2008 г.
  • Семинар в Тульском государственном университете, Тула, 29 марта 2007 г.

Публикации сотрудников ООО "СиПроВер"

  • Карпов А.Н., Колосов А.П., Рыжков Е.А. VivaMP, система выявления ошибок в коде параллельных программ на языке С++, использующих OpenMP. Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции (Нижний Новгород, 30 марта - 3 апреля 2009 г.). - Челябинск: Изд. ЮУрГУ, 2009. - 839 с.
  • Андрей Карпов, Евгений Романовский. Отладка и оптимизация OpenMP-программ. RSDN Magazine #4-2008, стр. 32 - 40.
  • А.П. Колосов, Е.А. Рыжков. Применение статического анализа при разработке программ. Известия ТулГУ. Технические науки. Вып.3. - Тула: Изд-во ТулГУ, 2008. - 267 с. Стр 185 - 190.
  • Е.А. Рыжков, О.С. Середин. Применение технологии статического анализа кода при разработке параллельных программ. Известия ТулГУ. Технические науки. Вып.3. - Тула: Изд-во ТулГУ, 2008. - 267 с. Стр. 191 - 196.
  • E. А. Рыжков, А.Н. Карпов. Подходы к верификации и тестированию 64-битных приложений. "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ" N7, 2008, Стр. 41 - 45.
  • Андрей Карпов, Евгений Рыжков. 20 ловушек переноса C++-кода на 64-битную платформу. RSDN Magazine #1-2007. стр. 65 - 75.
  • Евгений Рыжков, Андрей Карпов. Сущность библиотеки анализа кода VivaCore. RSDN Magazine #1-2008. стр. 56 - 63.
  • Алексей Колосов, Евгений Рыжков, Андрей Карпов. 32 подводных камня OpenMP при программировании на C++. RSDN Magazine #2-2008. стр. 3 - 17.
  • Рыжков Е.А., Колосов А.П. Система автоматического обнаружения ошибок в исходном коде программ при создании 64-битного ПО (Viva64). Технологии Microsoft в теории и практике программирования. Труды V Всероссийской конференции студентов, аспирантов и молодых ученых. Центральный регион. Москва, 2008. М.: Вузовская книга, 2008. - 272 с. ISBN 978-5-9502-0354-1. Стр. 57-58.
  • Колосов А.П., Рыжков Е.А.. VIVA64, система выявления ошибок в исходном коде программ при переносе ПО на 64-битные платформы. Ломоносов - 2008: Материалы XV Международной конференции студентов, аспирантов и молодых ученых: секция "Вычислительная математика и кибернетика"; 7-11 апреля; Москва, МГУ имени М.В. Ломоносова, факультет ВМиК: Сборник тезисов - М.: Издательский отдел факультета ВМиК МГУ, 2008. - 96 с. Стр. 43 - 44.
  • Колосов А.П., Рыжков Е.А. Viva64, система выявления ошибок в исходном коде программ при переносе ПО на 64-битные платформы. XXXIV Гагаринские чтения. Научные труды Международной молодежной научной конференции в 8 томах. Москва, 1-5 апреля 2008 г. / отв. редактор Н.И. Сердюк. - М: МАТИ, 2008. - Т.4. - 184 стр, стр 37-38.
  • Колосов А.П., Рыжков Е.А. Система автоматического обнаружения ошибок в исходном коде программ при создании 64-битного ПО (Viva64). Сборник тезисов X Всероссийской студенческой олимпиады "Конкурс компьютерных программ". (в печати).
  • Рыжков Е.А., Карпов А.Н. Применение технологии статического анализа кода в современном процессе разработки программ. // Сборник трудов конференции "Software Engineering Conference (Russia) 2007 - SEC(R)-2007", 2007, Москва, с. 240-245.

Вебинары

  • Совместный вебинар с компанией Embarcadero по теме "О чём надо помнить создавая в C++Builder 64-битные приложения". Запись семинара: http://www.youtube.com/watch?v=trS6zbAPL-k
  • Совместный вебинар с компанией Embarcadero по теме "C++Builder и C++11". Запись семинара: http://www.youtube.com/watch?v=ThbVwGoYwmo

Можно ли по этой тематике защитить диссертацию?

Да, можно. В качестве примера, можно привести диссертационную работу Евгения Рыжкова.

В 2009 году он защитил в ГОУ ВПО "Тульский государственный университет" диссертационную работу на соискание ученой степени к.т.н. по теме "Статический анализ кода для автоматизированного обнаружения ошибок при переносе программ на 64-битные платформы".

С диссертацией можно ознакомиться в библиотеке ГОУ ВПО "Тульский государственный университет" (300600, Тула, проспект им. Ленина, 92) или в офисе компании ООО "СиПроВер" (300034, Тула,Революции 39, офис 308).

Популярные статьи по теме
Как и почему статические анализаторы борются с ложными срабатываниями

Дата: 20 Мар 2017

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

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализат…
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

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

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

Дата: 22 Окт 2018

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

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

Дата: 31 Май 2014

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

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

Дата: 21 Ноя 2018

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

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

Дата: 30 Янв 2019

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

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

Дата: 16 Окт 2017

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

Я в шоке от возможностей статического анализа кода, хотя сам участвую в разработке инструмента PVS-Studio. На днях я был искренне удивлён тому, что анализатор оказался умнее и внимательнее меня.
Характеристики анализатора PVS-Studio на примере EFL Core Libraries, 10-15% ложных срабатываний

Дата: 31 Июл 2017

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

После большой статьи про проверку операционной системы Tizen мне было задано много вопросов о проценте ложных срабатываний и о плотности ошибок (сколько ошибок PVS-Studio выявляет на 1000 строк кода)…
Зло живёт в функциях сравнения

Дата: 19 Май 2017

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

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

Дата: 17 Янв 2019

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

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

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

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

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