Overview
In this Introduction to Automated Analysis course offered by Coursera in partnership with University of Minnesota, the learner will become familiar with the fundamental theory and applications of such approaches, and apply a variety of automated analysis techniques on example programs.
This course is part of the Software Testing and Automation Specialization.
After completing this course, a learner will be able to:
- Understand the foundations of automated verification: randomization and symbolic representations
- Distinguish the strengths and weaknesses of random testing, symbolic analysis, static analysis, and model checking
- Use a variety of state-of-the-art static analysis and automated testing tools for automated verification
- Create executable requirements as an oracle suitable for automated testing and symbolic analysis
- Understand how the choice of oracle affects fault-finding for automated analysis strategies.
- Use automated testing to achieve full mutation coverage
- Create a test plan that utilizes both manually-written tests and automated tests towards maximizing rigor, minimizing effort and time, and minimizing test costs.
This course is intended for learners interested in understanding the principles of automation and the application of tools for analysis and testing of software This knowledge would benefit several typical roles: Software Engineer, Software Engineer in Test, Test Automation Engineer, DevOps Engineer, Software Developer, Programmer, Computer Enthusiast. We expect that you have some familiarity with the Software development Life-Cycle, an understanding of the fundamentals of software testing, similar to what is covered in the Introduction to Software Testing and Black-box and White-Box Testing Courses.
Familiarity with an object-oriented language such as Java or ability to pick-up Java syntax quickly to write and modify code, and willingness to use tools and IDEs are assumed.
Get more details
Visit programme websiteProgramme Structure
Courses include:
- Automated Analysis
- Automated Test Generation
- Static Analysis
- Effective Automated Verification
Check out the full curriculum
Visit programme websiteKey information
Duration
- Part-time
- 1 days
Start dates & application deadlines
Language
Delivered
Disciplines
Automotive Engineering Software Engineering Data Analytics View 486 other Short Courses in Software Engineering in United StatesExplore more key information
Visit programme websiteAcademic requirements
We are not aware of any specific GRE, GMAT or GPA grading score requirements for this programme.
English requirements
We are not aware of any English requirements for this programme.
Other requirements
General requirements
Intermediate Level
- IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).
Make sure you meet all requirements
Visit programme websiteTuition Fee
-
International
FreeTuition FeeBased on the tuition of 0 USD for the full programme during 1 days. -
National
FreeTuition FeeBased on the tuition of 0 USD for the full programme during 1 days.
You can choose from hundreds of free courses, or get a degree or certificate at a breakthrough price. You can now select Coursera Plus, an annual subscription that provides unlimited access.
Funding
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.