このコースについて

18,620 最近の表示
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル

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

約19時間で修了
英語

習得するスキル

Software TestingFormal VerificationTest Automation
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル

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

約19時間で修了
英語

提供:

Placeholder

ミネソタ大学(University of Minnesota)

シラバス - 本コースの学習内容

1

1

6時間で修了

Introduction to Automated Analysis

6時間で修了
8件のビデオ (合計68分), 1 reading, 6 quizzes
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 reading, 3 quizzes
5件のビデオ
Dataflow Analysis16 分
Program Wellformedness Properties12 分
Designing programs for analyzability9 分
Static Analysis with Infer11 分
1件の学習用教材
Analysis Exercise with Infer2 時間
3の練習問題
What is static analysis?30 分
Designing programs for analyzability30 分
Summative Review30 分
4

4

3時間で修了

Effective Automated Verification

3時間で修了
6件のビデオ (合計61分), 2 readings, 4 quizzes
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

よくある質問

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。