• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Анализ программ

2019/2020
Учебный год
RUS
Обучение ведется на русском языке
4
Кредиты
Статус:
Курс по выбору
Когда читается:
4-й курс, 3 модуль

Преподаватели

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

Аннотация

Является дисциплиной по выбору. Данная дисциплина направлена на овладение навыками статического анализа программ. В результате освоения дисциплины студент должен: ● знать способы статического анализа программ; ● уметь проводить статический анализ и делать выводы о корректности работы программ; ● владеть математическим аппаратом и инструментальными средствами, используемым в информационно-аналитических системах.
Цель освоения дисциплины

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

  • Целями освоения программы «Анализ программ» являются: − подготовка студентов к теоретическому и практическому применению методов анализа программного обеспечения (ПО); − получение знаний в области статического анализа ПО, моделей кода, систем типов и их применения в анализе ПО; − Освоение инструментов анализа ПО.
Результаты освоения дисциплины

Результаты освоения дисциплины

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

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

  • Основы статического анализа программ
  • Расширенные вопросы статического анализа программ
Элементы контроля

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

  • неблокирующий Created with Sketch. Домашнее задание 1
  • неблокирующий Created with Sketch. Домашнее задание 2
  • неблокирующий Created with Sketch. Домашнее задание 3
  • неблокирующий Created with Sketch. Домашнее задание 4
  • неблокирующий Created with Sketch. Домашнее задание 5
  • неблокирующий Created with Sketch. Домашнее задание 6
  • блокирующий Created with Sketch. Устный экзамен
Промежуточная аттестация

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

  • Промежуточная аттестация (3 модуль)
    0.075 * Домашнее задание 1 + 0.075 * Домашнее задание 2 + 0.075 * Домашнее задание 3 + 0.075 * Домашнее задание 4 + 0.075 * Домашнее задание 5 + 0.075 * Домашнее задание 6 + 0.55 * Устный экзамен
Список литературы

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

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

  • Mukherjee, S., & Blasband, D. (2016). Source Code Analytics With Roslyn and JavaScript Data Visualization. [Berkeley, CA]: Apress. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1450659

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

  • Forest, E. (2016). From Tracking Code to Analysis : Generalised Courant-Snyder Theory for Any Accelerator Model. Japan: Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1178523