Об этом курсе

Недавно просмотрено: 9,971
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Курс 3 из 4 в программе
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Средний уровень

IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).

Прибл. 19 часов на выполнение
Английский

Приобретаемые навыки

Software TestingFormal VerificationTest Automation
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Курс 3 из 4 в программе
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Средний уровень

IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).

Прибл. 19 часов на выполнение
Английский

от партнера

Placeholder

Миннесотский университет

Программа курса: что вы изучите

Неделя
1

Неделя 1

6 ч. на завершение

Introduction to Automated Analysis

6 ч. на завершение
8 видео ((всего 68 мин.)), 1 материал для самостоятельного изучения, 6 тестов
8 видео
Automated Analysis Techniques9мин
Symbolic Representations12мин
Property Specification8мин
Environmental Specification and Assumptions6мин
Parameterized Unit Testing using junit-quickcheck12мин
Environmental Specifications in junit-quickcheck2мин
(Optional) Installation of Eclipse and Gradle2мин
1 материал для самостоятельного изучения
Overview and Syllabus10мин
5 практических упражнений
Introduction to Automated Analysis30мин
Automated Analysis Techniques30мин
Symbolic Representations30мин
Property Specification30мин
Environmental Specifications and Assumptions
Неделя
2

Неделя 2

6 ч. на завершение

Automated Test Generation

6 ч. на завершение
8 видео ((всего 84 мин.))
8 видео
Automated Test Generation using Random Testing14мин
Automated Test Generation using Symbolic Execution15мин
Automated Test Generation using Metaheuristic Search16мин
Property-Based Testing for Real-Time Systems6мин
Biasing Input Values in junit-quickcheck6мин
Using Generators to Create Complex Inputs in junit-quickcheck9мин
Explanation of Test Harness and Assignment for Microwave Example8мин
4 практических упражнения
Overview of Automated Test Generation7мин
Automated Test Generation using Random Testing30мин
Automated Test Generation Using Metaheuristic Search12мин
Property-Based Testing for Real-Time Systems30мин
Неделя
3

Неделя 3

5 ч. на завершение

Static Analysis

5 ч. на завершение
5 видео ((всего 64 мин.)), 1 материал для самостоятельного изучения, 3 тестов
5 видео
Dataflow Analysis16мин
Program Wellformedness Properties12мин
Designing programs for analyzability9мин
Static Analysis with Infer11мин
1 материал для самостоятельного изучения
Analysis Exercise with Infer
3 практических упражнения
What is static analysis?30мин
Designing programs for analyzability30мин
Summative Review30мин
Неделя
4

Неделя 4

3 ч. на завершение

Effective Automated Verification

3 ч. на завершение
6 видео ((всего 61 мин.)), 2 материалов для самостоятельного изучения, 4 тестов
6 видео
Automating Security Testing Using Fuzz Testing14мин
Runtime Monitoring7мин
Where Automation Fails9мин
Using Multiple Methods Effectively9мин
The Evolution of Software Testing10мин
2 материала для самостоятельного изучения
Fuzz Testing with AFL10мин
Runtime Monitoring Tools10мин
4 практических упражнения
Automating Regression Testing30мин
Automating Security Testing Using Fuzz Testing30мин
Runtime Monitoring30мин
Summative Review of Week 4 material

Специализация Software Testing and Automation: общие сведения

Software Testing and Automation

Часто задаваемые вопросы

Остались вопросы? Посетите Центр поддержки учащихся.