Software Testing and Debugging

Johns Hopkins · EN.601.422 · Spring 2023

A comprehensive study of software testing principles, methodologies, tools, and techniques: coverage criteria, unit and higher-order testing, white-box and black-box testing, property-based and mutation testing, test doubles, GUI and load testing, and debugging.

Johns Hopkins · EN.601.422 · Spring 2023

Foundations

Introduction and the Psychology of Testing

terminology · why do we test · psychology of testing · difficulties · verification vs validation

Testing Principles and Test Automation

Testing Levels · RIPR · Test Automation · Test Evaluation · Testing Principles

Black-Box Testing

Blackbox vs Whitebox Testing · Terminology · Blackbox Testing Techniques

White-Box Testing

White Box Testing · Bigger Picture

Test Automation with JUnit 5

Test Automation · Software Testability · JUnit

Test Adequacy

Coverage Criteria

Advantage/Disavantages · Combinatorial Coverage Criteria

Logic Coverage

Logic Expressions · Criteria

Property-Based Testing

Example-based Testing

Mutation Testing

RIPR Model · Mutation Coverage · Mutation Operators · Ways to Improve Mutation Testing Efficiency · Integration Mutation Testing · Object-Oriented Mutation · Summary

Testing in Practice

Test Doubles

Using and Testing with Doubles · Comparisons

GUI Testing

Testing Approaches · Summary

Testing a Random Generator

Unit Testing Methods that do Input Output · REST API Testing

Non-Functional and Load Testing

Non-Functional Testing · Load Testing

Debugging

Debugging

Automation · Aspect · Debuggers · Simplification · ddmin algorithm