Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2021, том 33, выпуск 3, страницы 41–50
DOI: https://doi.org/10.15514/ISPRAS-2021-33(3)-3 (Mi tisp597) 		 
An automated framework for testing source code static analysis tools
[Автоматизированная система тестирования инструментов статического анализа кода]

D. M. Gimatdinovab, A. Y. Gerasimovb, P. A. Privalovb, V. N. Butkevichb, N. A. Chernovab, A. A. Gorelovab

a Higher School of Economics
b Huawei Technologies
PDF полного текста (375 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2021-33(3)-3
Аннотация: Среды автоматизированного тестирования широко используются для обеспечения качества современного программного обеспечения в жизненном цикле разработки безопасного программного обеспечения. Иногда требуется проверка качества специфического программного обеспечения и поэтому требуется применение специфического подхода для решения этой задачи. В этой статье мы представляем подход и детали реализации среды автоматического тестирования, предназначенной для приёмочного тестирования инструментов статического анализа исходного кода программ. Представленная среда используется для непрерывного тестирования инструментов статического анализа исходного кода программ на языках C, C++ и Python.
Ключевые слова: автоматизированное тестирование, обеспечение качества, статический анализ исходного кода.
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: D. M. Gimatdinov, A. Y. Gerasimov, P. A. Privalov, V. N. Butkevich, N. A. Chernova, A. A. Gorelova, “An automated framework for testing source code static analysis tools”, Труды ИСП РАН, 33:3 (2021), 41–50
Цитирование в формате AMSBIB
\RBibitem{GimGerPri21}
\by D.~M.~Gimatdinov, A.~Y.~Gerasimov, P.~A.~Privalov, V.~N.~Butkevich, N.~A.~Chernova, A.~A.~Gorelova
\paper An automated framework for testing source code static analysis tools
\jour Труды ИСП РАН
\yr 2021
\vol 33
\issue 3
\pages 41--50
\mathnet{http://mi.mathnet.ru/tisp597}
\crossref{https://doi.org/10.15514/ISPRAS-2021-33(3)-3}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp597
  • https://www.mathnet.ru/rus/tisp/v33/i3/p41
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:489
    PDF полного текста:80
    Список литературы:17
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024