Get updates on Eligibility, Admission, Placements Fees Structure
Quick Facts
| Medium Of Instructions | Mode Of Learning | Mode Of Delivery |
|---|---|---|
| English | Self Study | Video and Text Based |
Course Overview
The Introduction to Automated Analysis Online Course is an intermediate level course and third course out of the four-course series, Software Testing and Automation Specialization. The 100% online course available on the Coursera platform introduces learners to state-of-the-art systems and techniques for automated analysis.
The Introduction to Automated Analysis Certification Course helps learners in understanding the approaches of automated analysis in generating tests and checking for defects in the software that could lead to security issues. The course is taught by Mike and Kevin Wendt, Department of Computer Science and Engineering from The University of Minnesota.
The Introduction to Automated Analysis Live Course is delivered through expert video lectures, academic readings and practice exercises. The course can be set to flexible deadlines according to the learner's schedule. After completion of the course, you will gain a shareable certificate of completion.
The Highlights
- Shareable certificate
- Flexible deadlines
- 100% online
- 19 study hours
- Video lectures
- Academic readings
- Practice exercises and quizzes
- Graded assignments
- Peer feedback
- English medium
- Financial aid
- Subtitles in English, Arabic, French, Portuguese (European), Italian, Vietnamese, German, Russian, Spanish
Programme Offerings
- Digital Shareable Certificate
- Flexible Deadlines
- 100% Online
- English medium
- English Subtitles
- 19 Study Hours
- financial aid
- video lectures
- Academic Readings
- Practice Exercises
- quizzes
- Graded Assignments
- peer feedback.
Courses and Certificate Fees
| Certificate Availability | Certificate Providing Authority |
|---|---|
| yes | University of Minnesota, MinneapolisCoursera |
Introduction to Automated Analysis Free Structure
| Particulars | Fee Amount in INR |
| Introduction to Automated Analysis - Audit course | Free |
| Introduction to Automated Analysis - 1 month | Rs.4,115/- |
| Introduction to Automated Analysis - 3 months | Rs.8,230/- |
| Introduction to Automated Analysis - 6 months | Rs.12,345/- |
Eligibility Criteria
- Candidates are required to be familiar with the software development Life-Cycle, fundamentals of software testing, testing terminology, and practice.
- Candidates are also expected to have familiarity with an object-oriented language like Java or the ability to learn how to write and modify code of Java syntax quickly and the willingness to use tools and IDEs.
What you will learn
After completing Introduction to Automated Analysis Classes, you will learn about the following topics:
- Principles of automation
- Foundations of automated verification
- Random testing, symbolic analysis, static analysis, and model checking
- Automation testing tools for automated verification
- Automated analysis strategies
Who it is for
- The course is suitable for anyone interested in learning about automation principles and software testing tools and techniques.
- The course will prove to be beneficial for job roles like Software Engineer, Software Engineer in Test, Test Automation Engineer, DevOps Engineer, Software Developer, Computer Programmer, and Computer Enthusiast.
Admission Details
Follow the given steps to enroll in the Introduction to Automated Analysis Live Course:
Step 1: Click on the URL given below -
https://www.coursera.org/learn/automated-analysis
Step 2: Click on the “Enroll for Free” option and choose the desired option.
Step 3: Fill in the required details and complete the process.
The Syllabus
Videos
- Introduction to Automated Analysis
- Automated Analysis Techniques
- Symbolic Representations
- Property Specification
- Environmental Specification and Assumptions
- Parameterized Unit Testing using junit-quickcheck
- Environmental Specifications in junit-quickcheck
- (Optional) Installation of Eclipse and Gradle
Reading
- Overview and Syllabus
Practice Exercise
- Introduction to Automated Analysis
- Automated Analysis Techniques
- Symbolic Representations
- Property Specification
- Environmental Specifications and Assumptions
Videos
- Overview of Automated Test Generation
- Automated Test Generation using Random Testing
- Automated Test Generation using Symbolic Execution
- Automated Test Generation using Metaheuristic Search
- Property-Based Testing for Real-Time Systems
- Biasing Input Values in junit-quickcheck
- Using Generators to Create Complex Inputs in junit-quickcheck
- Explanation of Test Harness and Assignment for Microwave Example
Practice Exercises
- Overview of Automated Test Generation
- Automated Test Generation using Random Testing
- Automated Test Generation Using Metaheuristic Search
- Property-Based Testing for Real-Time Systems
Videos
- What is Static Analysis
- Dataflow Analysis
- Program Well Formedness Properties
- Designing programs for analyzability
- Static Analysis with Infer
Reading
- Analysis Exercise with Infer
Practice Exercises
- What is static analysis?
- Designing programs for analyzability
- Summative Review
Videos
- Automating Regression Testing
- Automating Security Testing Using Fuzz Testing
- Runtime Monitoring
- Where Automation Fails
- Using Multiple Methods Effectively
- The Evolution of Software Testing
Readings
- Fuzz Testing with AFL
- Runtime Monitoring Tools
Practice Exercises
- Automating Regression Testing
- Automating Security Testing Using Fuzz Testing
- Runtime Monitoring
- Summative Review of Week 4 material
Instructors
University of Minnesota, Minneapolis Frequently Asked Questions (FAQ's)
The course is offered by the faculty of The University of Minnesota.
No, the course does not provide university credits.
The course requires approximately 19 hours for completion.
No, the course does not support students with placement offers.
Yes, all learners who complete the course will receive a shareable course certificate.