이 강좌에 대하여

최근 조회 5,714

공유 가능한 수료증

완료 시 수료증 획득

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

다음 특화 과정의 4개 강좌 중 3번째 강좌:

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

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

완료하는 데 약 16시간 필요

영어

자막: 영어

귀하가 습득할 기술

Software TestingFormal VerificationTest Automation

공유 가능한 수료증

완료 시 수료증 획득

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

다음 특화 과정의 4개 강좌 중 3번째 강좌:

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

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

완료하는 데 약 16시간 필요

영어

자막: 영어

제공자:

미네소타 대학교 로고

미네소타 대학교

강의 계획 - 이 강좌에서 배울 내용

1

1

완료하는 데 5시간 필요

Introduction to Automated Analysis

완료하는 데 5시간 필요
8개 동영상 (총 68분), 1 개의 읽기 자료, 6 개의 테스트
8개의 동영상
Automated Analysis Techniques9m
Symbolic Representations12m
Property Specification8m
Environmental Specification and Assumptions6m
Parameterized Unit Testing using junit-quickcheck12m
Environmental Specifications in junit-quickcheck2m
(Optional) Installation of Eclipse and Gradle2m
1개의 읽기 자료
Overview and Syllabus10m
5개 연습문제
Introduction to Automated Analysis10m
Automated Analysis Techniques12m
Symbolic Representations6m
Property Specification14m
Environmental Specifications and Assumptions
2

2

완료하는 데 5시간 필요

Automated Test Generation

완료하는 데 5시간 필요
8개 동영상 (총 84분)
8개의 동영상
Automated Test Generation using Random Testing14m
Automated Test Generation using Symbolic Execution15m
Automated Test Generation using Metaheuristic Search16m
Property-Based Testing for Real-Time Systems6m
Biasing Input Values in junit-quickcheck6m
Using Generators to Create Complex Inputs in junit-quickcheck9m
Explanation of Test Harness and Assignment for Microwave Example8m
4개 연습문제
Overview of Automated Test Generation7m
Automated Test Generation using Random Testing6m
Automated Test Generation Using Metaheuristic Search12m
Property-Based Testing for Real-Time Systems16m
3

3

완료하는 데 4시간 필요

Static Analysis

완료하는 데 4시간 필요
5개 동영상 (총 64분), 1 개의 읽기 자료, 3 개의 테스트
5개의 동영상
Dataflow Analysis16m
Program Wellformedness Properties12m
Designing programs for analyzability9m
Static Analysis with Infer11m
1개의 읽기 자료
Analysis Exercise with Infer2시간
3개 연습문제
What is static analysis?18m
Designing programs for analyzability Quiz6m
Summative Review30m
4

4

완료하는 데 2시간 필요

Effective Automated Verification

완료하는 데 2시간 필요
6개 동영상 (총 61분), 2 개의 읽기 자료, 4 개의 테스트
6개의 동영상
Automating Security Testing Using Fuzz Testing14m
Runtime Monitoring7m
Where Automation Fails9m
Using Multiple Methods Effectively9m
The Evolution of Software Testing10m
2개의 읽기 자료
Fuzz Testing with AFL10m
Runtime Monitoring Tools10m
4개 연습문제
Automating Regression Testing18m
Automating Security Testing Using Fuzz Testing30m
Runtime Monitoring10m
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

자주 묻는 질문

  • 강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.

  • 강좌를 등록하면 전문 분야의 모든 강좌에 접근할 수 있고 강좌를 완료하면 수료증을 취득할 수 있습니다. 전자 수료증이 성취도 페이지에 추가되며 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 내용만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

  • 구독하는 경우, 취소해도 요금이 청구되지 않는 7일간의 무료 평가판을 이용할 수 있습니다. 해당 기간이 지난 후에는 환불이 되지 않지만, 언제든 구독을 취소할 수 있습니다. 전체 환불 정책 보기.

  • 예, Coursera에서는 수업료를 낼 수 없는 학습자를 위해 재정 지원을 제공합니다. 왼쪽에 있는 등록 버튼 아래 재정 지원 링크를 클릭하면 지원할 수 있습니다. 신청서를 작성하라는 메시지가 표시되며 승인되면 알림을 받습니다. 성취 프로젝트를 포함하여 전문 분야의 각 강좌에서 이 단계를 완료해야 합니다. 자세히 알아보기.

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.