Принципы автоматизированного анализа и проверки программного обеспечения

В современном ландшафте разработки, ручного тестирования больше недостаточно, чтобы гарантировать, что сложное программное обеспечение остается безопасным и без ошибок. Вам нужны систематические, автоматизированные методы для проверки, что ваш код ведет себя точно так, как предполагалось во всех условиях. Этот курс обеспечивает прочную основу в автоматизированном анализе, переход от основных концепций тестирования к продвинутым методам проверки, которые доказывают, что ваше программное обеспечение соответствует его требованиям. Что вы узнаете: - Понять основные концепции автоматизированного создания тестов и формальной проверки. - Выявление и предотвращение распространенных дефектов программного обеспечения, таких как переполнения, заторы и условия гонки. - Применять методы статического анализа для обнаружения уязвимостей и логических ошибок до выполнения кода. - Исследуйте тестирование на основе свойств для проверки поведения программного обеспечения в широком диапазоне входов. - Изучить основы формальных доказательств для обеспечения математических гарантий правильности программы. - Интегрировать автоматизированные инструменты анализа в современные рабочие процессы разработки для поддержания высокого качества кода. Курс начинается с основных терминов и логических рамок, используемых в анализе программного обеспечения. Затем вы пройдете через теорию и применение автоматизированного выполнения тестов, статического анализа и формальных стратегий проверки. Этот курс предназначен для начинающих разработчиков и студентов, которые хотят выйти за рамки ручной отладки; не требуется предыдущий опыт с формальными методами. Начните создавать более надежное и безопасное программное обеспечение с помощью автоматизированного анализа.