課程信息

6,379 次近期查看

可分享的證書

完成後獲得證書

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

  • 此课程不提供大学学分,但部分大学可能会选择接受课程证书作为学分。查看您的合作院校,了解详情。Coursera 上的在线学位Mastertrack™ 证书提供获得大学学分的机会。

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