このコースについて

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

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

約16時間で修了
英語
字幕:英語

習得するスキル

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

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

約16時間で修了
英語
字幕:英語

提供:

ミネソタ大学(University of Minnesota) ロゴ

ミネソタ大学(University of Minnesota)

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

1

1

5時間で修了

Introduction to Automated Analysis

5時間で修了
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 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 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?18 分
Designing programs for analyzability Quiz6 分
Summative Review30 分
4

4

2時間で修了

Effective Automated Verification

2時間で修了
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 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

よくある質問

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • コースに登録する際、専門講座のすべてのコースにアクセスできます。コースの完了時には修了証を取得できます。電子修了証が成果のページに追加され、そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

  • サブスクライブすると、7日間の無料トライアルを体験できます。この期間中は解約金なしでキャンセルできます。それ以降、払い戻しはありませんが、サブスクリプションをいつでもキャンセルできます。返金ポリシーをすべて表示します

  • はい。受講料の支払いが難しい受講生に、Coursera(コーセラ)は学資援助を提供しています。左側の[登録]ボタンの下にある[学資援助]のリンクをクリックして申請してください。申請書の入力を促すメッセージが表示され、承認されると通知が届きます。キャップストーンプロジェクトを含む専門講座の各コースでこのステップを完了する必要があります。詳細

  • このコースでは大学の単位は付与されませんが、一部の大学ではコース修了証を単位として承認する場合があります。詳細については、大学にお問い合わせください。Coursera(コーセラ)のオンライン学位および Mastertrack™証明書は、大学の単位を取得する機会を提供します。

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