Introduction to Automated Analysis

This course on automated analysis introduces learners to the latest techniques in this field. It covers methods to generate many tests to verify that programs meet requirements and techniques to prove software compliance with requirements. The course allows learners to apply various automated analysis techniques to example programs and learn how they work.

The course focuses on the fundamentals of automated verification, including randomization, symbolic representations, and model checking. It also teaches learners how to create executable requirements for symbolic analysis and automated testing. Learners will also understand how the choice of oracle affects fault-finding in automated analysis strategies.

One key aspect covered in the course is automated testing for full coverage. It emphasizes that a test plan should utilize both manual and automated tests to maximize rigor, minimize effort, save time, and reduce test costs.

This course is designed for individuals interested in learning the principles and application of tools for testing and analysis of software. It will benefit various roles, such as Software Engineers, Test Automation Engineers, and Software Developers.

To enroll in this course, learners should understand the Software Development Life Cycle and the basics of software testing, similar to the Introduction to Software Testing course. Familiarity with Java is also assumed, or learners should be able to pick up Java syntax for code modification and writing quickly.

Overall, this course provides a comprehensive introduction to automated analysis and its application in software testing and development.