Informações sobre o curso

11,449 visualizações recentes
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário

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

Aprox. 19 horas para completar
Inglês

Habilidades que você terá

Software TestingFormal VerificationTest Automation
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário

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

Aprox. 19 horas para completar
Inglês

oferecido por

Placeholder

Universidade de MinnesotaUniversidade de Minnesota

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

6 horas para concluir

Introduction to Automated Analysis

6 horas para concluir
8 vídeos (Total 68 mín.), 1 leitura, 6 testes
8 videos
Automated Analysis Techniques9min
Symbolic Representations12min
Property Specification8min
Environmental Specification and Assumptions6min
Parameterized Unit Testing using junit-quickcheck12min
Environmental Specifications in junit-quickcheck2min
(Optional) Installation of Eclipse and Gradle2min
1 leituras
Overview and Syllabus10min
5 exercícios práticos
Introduction to Automated Analysis30min
Automated Analysis Techniques30min
Symbolic Representations30min
Property Specification30min
Environmental Specifications and Assumptions
Semana
2

Semana 2

6 horas para concluir

Automated Test Generation

6 horas para concluir
8 vídeos (Total 84 mín.)
8 videos
Automated Test Generation using Random Testing14min
Automated Test Generation using Symbolic Execution15min
Automated Test Generation using Metaheuristic Search16min
Property-Based Testing for Real-Time Systems6min
Biasing Input Values in junit-quickcheck6min
Using Generators to Create Complex Inputs in junit-quickcheck9min
Explanation of Test Harness and Assignment for Microwave Example8min
4 exercícios práticos
Overview of Automated Test Generation7min
Automated Test Generation using Random Testing30min
Automated Test Generation Using Metaheuristic Search12min
Property-Based Testing for Real-Time Systems30min
Semana
3

Semana 3

5 horas para concluir

Static Analysis

5 horas para concluir
5 vídeos (Total 64 mín.), 1 leitura, 3 testes
5 videos
Dataflow Analysis16min
Program Wellformedness Properties12min
Designing programs for analyzability9min
Static Analysis with Infer11min
1 leituras
Analysis Exercise with Infer2h
3 exercícios práticos
What is static analysis?30min
Designing programs for analyzability30min
Summative Review30min
Semana
4

Semana 4

3 horas para concluir

Effective Automated Verification

3 horas para concluir
6 vídeos (Total 61 mín.), 2 leituras, 4 testes
6 videos
Automating Security Testing Using Fuzz Testing14min
Runtime Monitoring7min
Where Automation Fails9min
Using Multiple Methods Effectively9min
The Evolution of Software Testing10min
2 leituras
Fuzz Testing with AFL10min
Runtime Monitoring Tools10min
4 exercícios práticos
Automating Regression Testing30min
Automating Security Testing Using Fuzz Testing30min
Runtime Monitoring30min
Summative Review of Week 4 material

Sobre Programa de cursos integrados Software Testing and Automation

Software Testing and Automation

Perguntas Frequentes – FAQ

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.