Über diesen Kurs

10,161 kürzliche Aufrufe
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Stufe „Mittel“

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

Ca. 19 Stunden zum Abschließen
Englisch
Untertitel: Englisch

Kompetenzen, die Sie erwerben

Software TestingFormal VerificationTest Automation
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Stufe „Mittel“

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

Ca. 19 Stunden zum Abschließen
Englisch
Untertitel: Englisch

von

Placeholder

University of Minnesota

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1

Woche 1

6 Stunden zum Abschließen

Introduction to Automated Analysis

6 Stunden zum Abschließen
8 Videos (Gesamt 68 min), 1 Lektüre, 6 Quiz
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 Lektüre
Overview and Syllabus10m
5 praktische Übungen
Introduction to Automated Analysis30m
Automated Analysis Techniques30m
Symbolic Representations30m
Property Specification30m
Environmental Specifications and Assumptions
Woche
2

Woche 2

6 Stunden zum Abschließen

Automated Test Generation

6 Stunden zum Abschließen
8 Videos (Gesamt 84 min)
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 praktische Übungen
Overview of Automated Test Generation7m
Automated Test Generation using Random Testing30m
Automated Test Generation Using Metaheuristic Search12m
Property-Based Testing for Real-Time Systems30m
Woche
3

Woche 3

5 Stunden zum Abschließen

Static Analysis

5 Stunden zum Abschließen
5 Videos (Gesamt 64 min), 1 Lektüre, 3 Quiz
5 Videos
Dataflow Analysis16m
Program Wellformedness Properties12m
Designing programs for analyzability9m
Static Analysis with Infer11m
1 Lektüre
Analysis Exercise with Infer2h
3 praktische Übungen
What is static analysis?30m
Designing programs for analyzability30m
Summative Review30m
Woche
4

Woche 4

3 Stunden zum Abschließen

Effective Automated Verification

3 Stunden zum Abschließen
6 Videos (Gesamt 61 min), 2 Lektüren, 4 Quiz
6 Videos
Automating Security Testing Using Fuzz Testing14m
Runtime Monitoring7m
Where Automation Fails9m
Using Multiple Methods Effectively9m
The Evolution of Software Testing10m
2 Lektüren
Fuzz Testing with AFL10m
Runtime Monitoring Tools10m
4 praktische Übungen
Automating Regression Testing30m
Automating Security Testing Using Fuzz Testing30m
Runtime Monitoring30m
Summative Review of Week 4 material

Über den Spezialisierung Software Testing and Automation

This Specialization is intented for beginning to intermediate software developers seeking to develop knowledge and skill in implementing testing techniques and tools in the development of their projects. Through four courses, you will cover black-box and white-box testing, automated testing, web & mobile testing, and formal testing theory and techniques, which will prepare to you to plan and perform effective testing of your software....
Software Testing and Automation

Häufig gestellte Fragen

Haben Sie weitere Fragen? Besuchen Sie das Hilfe-Center für Teiln..