课程信息

9,859 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
第 3 门课程(共 4 门)
可灵活调整截止日期
根据您的日程表重置截止日期。
中级

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

完成时间大约为16 小时
英语(English)
字幕:英语(English)

您将获得的技能

Software TestingFormal VerificationTest Automation
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
第 3 门课程(共 4 门)
可灵活调整截止日期
根据您的日程表重置截止日期。
中级

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

完成时间大约为16 小时
英语(English)
字幕:英语(English)

提供方

明尼苏达大学 徽标

明尼苏达大学

教学大纲 - 您将从这门课程中学到什么

1

1

完成时间为 5 小时

Introduction to Automated Analysis

完成时间为 5 小时
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 Analysis10分钟
Automated Analysis Techniques12分钟
Symbolic Representations6分钟
Property Specification14分钟
Environmental Specifications and Assumptions
2

2

完成时间为 5 小时

Automated Test Generation

完成时间为 5 小时
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 Testing6分钟
Automated Test Generation Using Metaheuristic Search12分钟
Property-Based Testing for Real-Time Systems16分钟
3

3

完成时间为 4 小时

Static Analysis

完成时间为 4 小时
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?18分钟
Designing programs for analyzability6分钟
Summative Review30分钟
4

4

完成时间为 2 小时

Effective Automated Verification

完成时间为 2 小时
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 Testing18分钟
Automating Security Testing Using Fuzz Testing30分钟
Runtime Monitoring10分钟
Summative Review of Week 4 material

关于 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

常见问题

  • 讲座和作业的访问权限取决于您的注册类型。如果您以旁听模式参加课程,则可以免费查看大多数课程资料。要访问评分作业并获得证书,您需要在旁听期间或之后购买证书体验。如果看不到旁听选项:

    • 课程可能不提供旁听选项。您可以尝试免费试用,也可以申请助学金。
    • 课程可能会改为提供'完整课程,没有证书'。通过此选项,您可以查看所有课程材料、提交所要求的作业,以及获得最终成绩。这也意味着您将无法购买证书体验。
  • 您注册课程后,将有权访问专项课程中的所有课程,并且会在完成课程后获得证书。您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

  • 如果订阅,您可以获得 7 天免费试听,在此期间,您可以取消课程,无需支付任何罚金。在此之后,我们不会退款,但您可以随时取消订阅。请阅读我们完整的退款政策

  • 是的,Coursera 可以为无法承担费用的学生提供助学金。通过点击左侧“注册”按钮下的“助学金”链接可以申请助学金。您可以根据屏幕提示完成申请,申请获批后会收到通知。您需要针对专项课程中的每一门课程完成上述步骤,包括毕业项目。了解更多

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