Humans, Errors and Testing, Software Quality; Requirements, Behavior andCorrectness, Correctness Vs Reliability; Testing and Debugging; Test Metrics; Softwareand Hardware Testing; Testing and Verification; Defect Management; Execution History;Test Generation Strategies; Static Testing; Test Generation from Predicates.
Sensitivity, Redundancy, Restriction, Partition, Visibility and Feedback, Test Specification andcases, Adequacy Criteria, Comparing Criteria
Basic definitions, Test cases, Insights from a Venn diagram, Identifying test cases, Error andfault taxonomies, Level of testing, Examples: Generalized pseudocode, The triangle problem,the NextDate function, The commission problem, The SATM (Simple Automation TellerMachine) problem, The currency converter, Saturn windshield wiper.
Boundary value analysis, Robustness testing, Worst-case testing, special value testing,Examples, Random testing, Equivalence classes, Equivalence test cases for triangle problem,NextDate function and commission problem, Guidelines and observations, Decision tables,Test cases for triangle problem.
DD Paths, Test coverage metrics, Basis path testing, guidelines and observations, DefinitionUse testing, Slice based testing, Guidelines and observations
Traditional view of testing levels, Alternative life cycle models, the SATM systems,separating integration and system testing, Guidelines and observations.
Assumptions in fault-based testing, Mutation Analysis, Fault-based AdequacyCriteria; Variations on mutation Analysis; From Test case specification to Test Cases,Scaffolding, Generic vs specific Scaffolding, Test Oracles, Self checks as oracles, Captureand Replay.
Quality and Process, Test and Analysis strategies and plans, Risk Planning, Monitoringthe Process, Improving the process, The quality team, Organizing documents, Teststrategy document, Analysis and test plan, Test design specifications documents, Testand analysis reports.