À propos de ce cours

7,097 consultations récentes
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

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

Approx. 16 heures pour terminer
Anglais
Sous-titres : Anglais

Compétences que vous acquerrez

Software TestingFormal VerificationTest Automation
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

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

Approx. 16 heures pour terminer
Anglais
Sous-titres : Anglais

Offert par

Logo Université du Minnesota

Université du Minnesota

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

5 heures pour terminer

Introduction to Automated Analysis

5 heures pour terminer
8 vidéos (Total 68 min), 1 lecture, 6 quiz
8 vidéos
Automated Analysis Techniques9 min
Symbolic Representations12 min
Property Specification8 min
Environmental Specification and Assumptions6 min
Parameterized Unit Testing using junit-quickcheck12 min
Environmental Specifications in junit-quickcheck2 min
(Optional) Installation of Eclipse and Gradle2 min
1 lecture
Overview and Syllabus10 min
5 exercices pour s'entraîner
Introduction to Automated Analysis10 min
Automated Analysis Techniques12 min
Symbolic Representations6 min
Property Specification14 min
Environmental Specifications and Assumptions
Semaine
2

Semaine 2

5 heures pour terminer

Automated Test Generation

5 heures pour terminer
8 vidéos (Total 84 min)
8 vidéos
Automated Test Generation using Random Testing14 min
Automated Test Generation using Symbolic Execution15 min
Automated Test Generation using Metaheuristic Search16 min
Property-Based Testing for Real-Time Systems6 min
Biasing Input Values in junit-quickcheck6 min
Using Generators to Create Complex Inputs in junit-quickcheck9 min
Explanation of Test Harness and Assignment for Microwave Example8 min
4 exercices pour s'entraîner
Overview of Automated Test Generation7 min
Automated Test Generation using Random Testing6 min
Automated Test Generation Using Metaheuristic Search12 min
Property-Based Testing for Real-Time Systems16 min
Semaine
3

Semaine 3

4 heures pour terminer

Static Analysis

4 heures pour terminer
5 vidéos (Total 64 min), 1 lecture, 3 quiz
5 vidéos
Dataflow Analysis16 min
Program Wellformedness Properties12 min
Designing programs for analyzability9 min
Static Analysis with Infer11 min
1 lecture
Analysis Exercise with Infer2 h
3 exercices pour s'entraîner
What is static analysis?18 min
Designing programs for analyzability Quiz6 min
Summative Review30 min
Semaine
4

Semaine 4

2 heures pour terminer

Effective Automated Verification

2 heures pour terminer
6 vidéos (Total 61 min), 2 lectures, 4 quiz
6 vidéos
Automating Security Testing Using Fuzz Testing14 min
Runtime Monitoring7 min
Where Automation Fails9 min
Using Multiple Methods Effectively9 min
The Evolution of Software Testing10 min
2 lectures
Fuzz Testing with AFL10 min
Runtime Monitoring Tools10 min
4 exercices pour s'entraîner
Automating Regression Testing18 min
Automating Security Testing Using Fuzz Testing30 min
Runtime Monitoring10 min
Summative Review of Week 4 material

À propos du Spécialisation 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

Foire Aux Questions

  • 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.

  • When you enroll in the course, you get access to all of the courses in the Specialization, and you earn a certificate when you complete the work. Your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • If you subscribed, you get a 7-day free trial during which you can cancel at no penalty. After that, we don’t give refunds, but you can cancel your subscription at any time. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You'll be prompted to complete an application and will be notified if you are approved. You'll need to complete this step for each course in the Specialization, including the Capstone Project. Learn more.

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.