课程信息

14,539 次近期查看
可分享的证书
完成后获得证书
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

常见问题

还有其他问题吗?请访问 学生帮助中心