이 강좌에 대하여

최근 조회 10,300
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
다음 특화 과정의 4개 강좌 중 3번째 강좌:
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계

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

완료하는 데 약 19시간 필요
영어

귀하가 습득할 기술

Software TestingFormal VerificationTest Automation
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
다음 특화 과정의 4개 강좌 중 3번째 강좌:
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계

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

완료하는 데 약 19시간 필요
영어

제공자:

Placeholder

미네소타 대학교

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

1

1

완료하는 데 6시간 필요

Introduction to Automated Analysis

완료하는 데 6시간 필요
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 Analysis30m
Automated Analysis Techniques30m
Symbolic Representations30m
Property Specification30m
Environmental Specifications and Assumptions
2

2

완료하는 데 6시간 필요

Automated Test Generation

완료하는 데 6시간 필요
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 Testing30m
Automated Test Generation Using Metaheuristic Search12m
Property-Based Testing for Real-Time Systems30m
3

3

완료하는 데 5시간 필요

Static Analysis

완료하는 데 5시간 필요
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?30m
Designing programs for analyzability30m
Summative Review30m
4

4

완료하는 데 3시간 필요

Effective Automated Verification

완료하는 데 3시간 필요
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 Testing30m
Automating Security Testing Using Fuzz Testing30m
Runtime Monitoring30m
Summative Review of Week 4 material

Software Testing and Automation 특화 과정 정보

Software Testing and Automation

자주 묻는 질문

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