• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Book
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article
A Survey of Software Dynamic Analysis Methods
In press

Kuliamin V.V.

Programming and Computer Software. 2024. Vol. 50. P. 90-114.

Book chapter
Graph Neural Network for Crawling Target Nodes in Social Networks

Danil Shaikhelislamov, Denis Turdakov.

In bk.: 2022 Ivannikov Ispras Open Conference (ISPRAS). IEEE, 2022. P. 31-36.

Working paper
Model mimic attack: Knowledge distillation for provably transferable adversarial examples

Лукьянов К. С., Перминов А. И., Turdakov D. Y. et al.

arxiv.org. Computer Science. Cornell University, 2024

Artificial Intelligence in Program Testing and Analysis

2025/2026
Academic Year
RUS
Instruction in Russian
6
ECTS credits
Type:
Mago-Lego
When:
1, 2 module

Программа дисциплины

Аннотация

Курс "Искусственный интеллект в программной инженерии" рассматривает применение методов интеллектуального анализа данных и технологий ИИ на различных этапах разработки программного обеспечения. Студенты узнают о том, как работают современные популярные ассистенты разработки (Github Copilot, Huggingface Starchat), и об использовании ИИ для решения различных прикладных задач, включая автодополнение исходного кода (code generation and auto-completion), поиск и рекомендация похожих фрагментов кода (code summarization and retrieval), автоматизация процесса ревью кода (code review automation), автоматизация тестирования (automated exploratory testing) и др. Курс включает в себя анализ современных подходов, моделей и различных представлений исходного кода для решения целевых задач. Студенты получат навыки, необходимые для успешного внедрения существующих и новых решений на базе ИИ в свои будущие проекты в области программной инженерии.
Цель освоения дисциплины

Цель освоения дисциплины

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

Планируемые результаты обучения

  • Применение предобученных моделей МО для анализа кода и связанных данных (прим., суммаризация кода)
  • Предварительное обучение моделей МО для исходного кода
  • Использование инструментов tree-sitter, PyTorch, HuggingFace для задач анализа кода
  • Использование специализированных индексов для поддержки быстрого приблизительного поиска (в том числе для кода)
  • Оптимизация процессов UI-тестирования с помощью ИИ
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Обзор применения методов ИИ для задач анализа и тестирования
  • Классические методы машинного обучения
  • Глубокое обучение и архитектуры нейросетей
  • Векторные представления для исходного кода
  • Предварительное обучение моделей для исходного кода
  • Поиск и рекомендация похожего кода
  • Автоматизация ревью кода
  • Интеллектуальный вывод типов
  • Большие языковые модели для исходного кода
  • Мультиагентные системы
  • Введение в автоматизацию UI-тестирования
  • Автоматизция UI тестирования приложений Android
  • Задачи обработки изображений в автоматизации UI-тестирования
  • Мультимодальные модели для анализа UI
Элементы контроля

Элементы контроля

  • неблокирующий ДЗ_2
  • неблокирующий ДЗ_1
  • неблокирующий ЭКЗ
  • неблокирующий ДЗ_3
Промежуточная аттестация

Промежуточная аттестация

  • 2025/2026 2nd module
    0.2 * ДЗ_1 + 0.3 * ЭКЗ + 0.3 * ДЗ_2 + 0.2 * ДЗ_3
Список литературы

Список литературы

Рекомендуемая основная литература

  • Руководство по NLP, Найт, С., 2001

Рекомендуемая дополнительная литература

  • 9781838827724 - Antonio Gulli; Amita Kapoor; Sujit Pal - Deep Learning with TensorFlow 2 and Keras : Regression, ConvNets, GANs, RNNs, NLP, and More with TensorFlow 2 and the Keras API, 2nd Edition - 2019 - Packt Publishing - http://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=2339879 - nlebk - 2339879

Авторы

  • Сорокин Константин Сергеевич
  • Буцкая Евгения Александровна