Introduction to Automated Analysis-Overview
Overview and Syllabus
Introduction to Automated Analysis
()
Automated Analysis Techniques
()
Symbolic Representations
()
Property Specification
()
Environmental Specification and Assumptions
()
Introduction to Automated Analysis-Parameterized Unit Testing
Parameterized Unit Testing using junit-quickcheck
()
Environmental Specifications in junit-quickcheck
()
(Optional) Installation of Eclipse and Gradle
()
Automated Test Generation-Automated Test Generation Techniques
Overview of Automated Test Generation
()
Automated Test Generation using Random Testing
()
Automated Test Generation using Symbolic Execution
()
Automated Test Generation using Metaheuristic Search
()
Automated Test Generation-Property-Based Testing for Real-Time Systems
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
()
Static Analysis-Introduction to Static Analysis
What is Static Analysis
()
Dataflow Analysis
()
Program Wellformedness Properties
()
Designing programs for analyzability
()
Static Analysis with Infer
()
Analysis Exercise with Infer
Effective Automated Verification-Automated Testing for Purpose
Automating Regression Testing
()
Automating Security Testing Using Fuzz Testing
()
Fuzz Testing with AFL
Runtime Monitoring
()
Runtime Monitoring Tools
Effective Automated Verification-Effective Verification
Where Automation Fails
()
Using Multiple Methods Effectively
()
The Evolution of Software Testing
()