|
WEEK 1
|
Software Testing: Motivation, Software Development Life Cycle, Terminologies and Processes, Software Test Automation: JUnit as an example
|
|
WEEK 2
|
Basics of Graphs, Fundamental Graph Algorithms, Elementary Graph Algorithms, Structural Graph Coverage Criteria, Algorithms: Structural Graph Coverage Criteria
|
|
WEEK 3
|
Graph Coverage Criteria: Applied to Test Code, Data Flow in Graphs,, Data Flow Testing Example, Unit Testing Based on Graphs: Summary
|
|
WEEK 4
|
Software Design and Integration Testing, Design Integration Testing and Graph Coverage, Specification Testing and Graph Coverage, Graph Coverage and Finite State Machines (FSM), Testing Source Code: Classical Coverage Criteria
|
|
WEEK 5
|
Logic: Basics needed for Software Testing, Coverage Criteria, Logic Coverage Criteria: Making clauses determine predicate, Applied to test code
|
|
WEEK 6
|
Logic: Coverage Example, Coverage Specification, Coverage FSM, Coverage Summary, SMT - Solvers
|
|
WEEK 7
|
Symbolic Testing, Concolic Execution, Example and Summary Symbolic Execution
|
|
WEEK 8
|
Requirements, Functional Testing, ISP, ISP Example
|
|
WEEK 9
|
Regular Expense CFGs, Mutation Testing, Mutation Operators Source Code, Mutation Testing Vs Other Criteria, Mutation Testing For Integration And Tools
|
|
WEEK 10
|
Basic Object Oriented (OO) Integration Concepts, Mutation Operators OO Integration, Mutation Operators OO Integration, OO Faults, Coupling Criteria
|
|
WEEK 11
|
Web Apps Intro, Client Side Testing, Server Side Testing
|
|
WEEK 12
|
Regression Testing, Software Quality Metrics, Non Functional Testing, TDD,Course Summary
|
