Acerca de este Curso

10,196 vistas recientes
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio

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

Aprox. 19 horas para completar
Inglés (English)

Habilidades que obtendrás

Software TestingFormal VerificationTest Automation
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio

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

Aprox. 19 horas para completar
Inglés (English)

ofrecido por

Placeholder

Universidad de Minnesota

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

6 horas para completar

Introduction to Automated Analysis

6 horas para completar
8 videos (Total 68 minutos), 1 lectura, 6 cuestionarios
8 videos
Automated Analysis Techniques9m
Symbolic Representations12m
Property Specification8m
Environmental Specification and Assumptions6m
Parameterized Unit Testing using junit-quickcheck12m
Environmental Specifications in junit-quickcheck2m
(Optional) Installation of Eclipse and Gradle2m
1 lectura
Overview and Syllabus10m
5 ejercicios de práctica
Introduction to Automated Analysis30m
Automated Analysis Techniques30m
Symbolic Representations30m
Property Specification30m
Environmental Specifications and Assumptions
Semana
2

Semana 2

6 horas para completar

Automated Test Generation

6 horas para completar
8 videos (Total 84 minutos)
8 videos
Automated Test Generation using Random Testing14m
Automated Test Generation using Symbolic Execution15m
Automated Test Generation using Metaheuristic Search16m
Property-Based Testing for Real-Time Systems6m
Biasing Input Values in junit-quickcheck6m
Using Generators to Create Complex Inputs in junit-quickcheck9m
Explanation of Test Harness and Assignment for Microwave Example8m
4 ejercicios de práctica
Overview of Automated Test Generation7m
Automated Test Generation using Random Testing30m
Automated Test Generation Using Metaheuristic Search12m
Property-Based Testing for Real-Time Systems30m
Semana
3

Semana 3

5 horas para completar

Static Analysis

5 horas para completar
5 videos (Total 64 minutos), 1 lectura, 3 cuestionarios
5 videos
Dataflow Analysis16m
Program Wellformedness Properties12m
Designing programs for analyzability9m
Static Analysis with Infer11m
1 lectura
Analysis Exercise with Infer2h
3 ejercicios de práctica
What is static analysis?30m
Designing programs for analyzability30m
Summative Review30m
Semana
4

Semana 4

3 horas para completar

Effective Automated Verification

3 horas para completar
6 videos (Total 61 minutos), 2 lecturas, 4 cuestionarios
6 videos
Automating Security Testing Using Fuzz Testing14m
Runtime Monitoring7m
Where Automation Fails9m
Using Multiple Methods Effectively9m
The Evolution of Software Testing10m
2 lecturas
Fuzz Testing with AFL10m
Runtime Monitoring Tools10m
4 ejercicios de práctica
Automating Regression Testing30m
Automating Security Testing Using Fuzz Testing30m
Runtime Monitoring30m
Summative Review of Week 4 material

Acerca de Programa especializado: Software Testing and Automation

Software Testing and Automation

Preguntas Frecuentes

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.