Software Analysis & Testing

Description

This course covers the speculation and observe of software program evaluation, which lies on the coronary heart of many software program growth processes reminiscent of diagnosing bugs, testing, debugging, and extra. It presents numerous methods, every with their very own strengths and limitations, for automating duties reminiscent of testing, debugging, and discovering bugs in advanced real-world applications. These methods embrace dataflow evaluation, constraint-based evaluation, kind methods, mannequin checking, symbolic execution, and extra. The course teaches the ideas underlying these methods in addition to imparts hands-on expertise with utilizing and implementing instruments based mostly on these methods.