À propos de ce cours

14,539 consultations récentes
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

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

Approx. 19 heures pour terminer
Anglais

Compétences que vous acquerrez

Software TestingFormal VerificationTest Automation
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

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

Approx. 19 heures pour terminer
Anglais

Offert par

Placeholder

Université du Minnesota

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

6 heures pour terminer

Introduction to Automated Analysis

6 heures pour terminer
8 vidéos (Total 68 min), 1 lecture, 6 quiz
8 vidéos
Automated Analysis Techniques9 min
Symbolic Representations12 min
Property Specification8 min
Environmental Specification and Assumptions6 min
Parameterized Unit Testing using junit-quickcheck12 min
Environmental Specifications in junit-quickcheck2 min
(Optional) Installation of Eclipse and Gradle2 min
1 lecture
Overview and Syllabus10 min
5 exercices pour s'entraîner
Introduction to Automated Analysis30 min
Automated Analysis Techniques30 min
Symbolic Representations30 min
Property Specification30 min
Environmental Specifications and Assumptions
Semaine
2

Semaine 2

6 heures pour terminer

Automated Test Generation

6 heures pour terminer
8 vidéos (Total 84 min)
8 vidéos
Automated Test Generation using Random Testing14 min
Automated Test Generation using Symbolic Execution15 min
Automated Test Generation using Metaheuristic Search16 min
Property-Based Testing for Real-Time Systems6 min
Biasing Input Values in junit-quickcheck6 min
Using Generators to Create Complex Inputs in junit-quickcheck9 min
Explanation of Test Harness and Assignment for Microwave Example8 min
4 exercices pour s'entraîner
Overview of Automated Test Generation7 min
Automated Test Generation using Random Testing30 min
Automated Test Generation Using Metaheuristic Search12 min
Property-Based Testing for Real-Time Systems30 min
Semaine
3

Semaine 3

5 heures pour terminer

Static Analysis

5 heures pour terminer
5 vidéos (Total 64 min), 1 lecture, 3 quiz
5 vidéos
Dataflow Analysis16 min
Program Wellformedness Properties12 min
Designing programs for analyzability9 min
Static Analysis with Infer11 min
1 lecture
Analysis Exercise with Infer2 h
3 exercices pour s'entraîner
What is static analysis?30 min
Designing programs for analyzability30 min
Summative Review30 min
Semaine
4

Semaine 4

3 heures pour terminer

Effective Automated Verification

3 heures pour terminer
6 vidéos (Total 61 min), 2 lectures, 4 quiz
6 vidéos
Automating Security Testing Using Fuzz Testing14 min
Runtime Monitoring7 min
Where Automation Fails9 min
Using Multiple Methods Effectively9 min
The Evolution of Software Testing10 min
2 lectures
Fuzz Testing with AFL10 min
Runtime Monitoring Tools10 min
4 exercices pour s'entraîner
Automating Regression Testing30 min
Automating Security Testing Using Fuzz Testing30 min
Runtime Monitoring30 min
Summative Review of Week 4 material

À propos du Spécialisation Software Testing and Automation

Software Testing and Automation

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.