Basics of Software Testing: Humans, Errors and Testing, Software Quality, Requirements Behavior and Correctness, Correctness versus Reliability, Testing and Debugging, Test Metrics, Testing and Verification, Test-generation Strategies, Static Testing.

A Perspective on Testing: Definitions, Test Cases, Insights from Venn Diagram, Identifying Test Cases, Error and fault taxonomies, Levels of testing.

Examples: Generalized pseudocode, the Triangle problem, the NextDate function, the Commission problem, the SATM system, the Currency converter, Saturn windshield wiper

Functional Testing: Boundary Value Testing – Boundary value analysis, Robustness testing, Worst-case testing, Special Value Testing, Examples, Random Testing, Guidelines.

Equivalence Class Testing: Equivalence classes, Equivalence test cases for the triangle problem, NextDate function, and the commission problem, Guidelines and observations.

Decision Table Based Testing: Decision tables, Test cases for the triangle problem, NextDate function, and the commission problem, Guidelines and observations.

Structural Testing: Overview, Statement testing, Program testing, Condition testing.

Path testing: DD paths, Test coverage metrics, Basis path testing, guidelines and observations.

Dataflow testing: Definition-Use testing, Slice-based testing, Guidelines and observations.

Levels of Testing: Traditional view of testing levels, Alternative life-cycle models, The SATM system, Separating integration and system testing.

Integration Testing: A closer look at the SATM system, Decomposition-based, call graph-based, Path- based integrations.

System Testing: Threads, Requirement Specification, Finding Threads, Structural strategies for thread testing, SATM test threads System testing guidelines, ASF testing example.

Interaction Testing: Context of interaction, A taxonomy of interactions, Interaction, composition, and determinism, Client/Server Testing.