課程信息

12,281 次近期查看
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
第 3 門課程(共 4 門)
可靈活調整截止日期
根據您的日程表重置截止日期。
中級

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

完成時間大約為19 小時
英語(English)

您將獲得的技能

Software TestingFormal VerificationTest Automation
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
第 3 門課程(共 4 門)
可靈活調整截止日期
根據您的日程表重置截止日期。
中級

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

完成時間大約為19 小時
英語(English)

提供方

Placeholder

明尼苏达大学

教學大綱 - 您將從這門課程中學到什麼

1

1

完成時間為 6 小時

Introduction to Automated Analysis

完成時間為 6 小時
8 個視頻 (總計 68 分鐘), 1 個閱讀材料, 6 個測驗
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 個閱讀材料, 3 個測驗
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 個閱讀材料, 4 個測驗
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

常見問題

還有其他問題嗎?請訪問 學生幫助中心