Introduction to Automated Analysis

Introduction to Automated Analysis. Этот курс знакомит с современными методами автоматического анализа. Автоматизированный анализ включает в себя оба подхода к автоматической генерации очень большого количества тестов для проверки соответствия программ требованиям, а также средства, с помощью которых можно * доказать *, что программное обеспечение соответствует требованиям и что оно не имеет некоторых часто встречающихся дефектов, таких как как деление на ноль, переполнение / недостаточное заполнение, взаимоблокировка, свобода условий гонки, переполнение буфера / массива, неперехваченные исключения и несколько других часто встречающихся ошибок, которые могут привести к сбоям программы или проблемам безопасности. Учащийся познакомится с фундаментальной теорией и приложениями таких подходов, а также применит различные методы автоматического анализа на примерах программ. Этот курс предназначен для учащихся, заинтересованных в понимании принципов автоматизации и применения инструментов. Предполагается знание объектно-ориентированного языка, такого как Java, или способность быстро освоить синтаксис Java для написания и изменения кода, а также готовность использовать инструменты и IDE.

Количество занятий: -

Длительность занятий в минутах: -

Сертификат об окончании:

Автор курса: Майк Уэйлен, Кевин Вендт

Задачи и задания: