2 mins to read This course introduces state-of-the-art techniques for automated analysis. Automated analysis encompasses both approaches to automatically generate a very large number of tests to check whether programs meet requirements, and also means by which it is possible to *prove* that software meets requirements and that it is free from certain commonly-occurring defects, such as divide-by-zero, overflow/underflow, deadlock, race-condition freedom, buffer/array overflow, uncaught exceptions, and several other commonly-occurring bugs that can lead to program failures or security problems. 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.
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.
Build your subject-matter expertise
This course is part of the Software Testing and Automation Specialization
When you enroll in this course, you’ll also be enrolled in this Specialization.
Learn new concepts from industry experts
Gain a foundational understanding of a subject or tool
Develop job-relevant skills with hands-on projects
Earn a shareable career certificate
How to Enroll: Introduction to Automated Analysis
- Choose your desired certificate program on the courser website.
- Create an account, if you don’t have one.
- Select specific courses within your chosen program.
- Enroll in courses, and pay if necessary.
- Access course materials and complete requirements.
- Prepare for and take certification exams if required.
- Earn your certificate upon successful completion.
- Be aware of maintenance or renewal requirements, if applicable.