Property-Based Testing

7.

Practical Applications

7.1.

Pure Function Testing

7.1.1.

Mathematical Functions

7.1.1.1.

Arithmetic Operations

7.1.1.2.

Trigonometric Functions

7.1.1.3.

Statistical Functions

7.1.2.

Data Transformation Functions

7.1.2.1.

Parsing Functions

7.1.2.2.

Formatting Functions

7.1.2.3.

Conversion Functions

7.1.3.

Algorithm Testing

7.1.3.1.

Sorting Algorithms

7.1.3.2.

Search Algorithms

7.1.3.3.

Graph Algorithms

7.2.

Data Structure Testing

7.2.1.

Container Data Structures

7.2.1.1.

Lists and Arrays

7.2.1.2.

7.2.1.3.

Trees and Graphs

7.2.2.

Invariant Testing

7.2.2.1.

Structural Invariants

7.2.2.2.

Ordering Invariants

7.2.2.3.

Size Invariants

7.2.3.

Operation Testing

7.2.3.1.

Insertion Operations

7.2.3.2.

Deletion Operations

7.2.3.3.

Query Operations

7.3.

API and Service Testing

7.3.1.

REST API Testing

7.3.1.1.

Endpoint Validation

7.3.1.2.

Request/Response Schema Testing

7.3.1.3.

Error Handling Testing

7.3.2.

Web Service Testing

7.3.2.1.

SOAP Service Testing

7.3.2.2.

GraphQL Testing

7.3.2.3.

Microservice Testing

7.3.3.

Protocol Testing

7.3.3.1.

Network Protocol Testing

7.3.3.2.

Communication Protocol Testing

7.3.3.3.

Message Format Testing

7.4.

Parser and Serialization Testing

7.4.1.

7.4.1.1.

Grammar Compliance

7.4.1.2.

7.4.1.3.

Performance Testing

7.4.2.

Serialization Testing

7.4.2.1.

Round-Trip Properties

7.4.2.2.

Format Compliance

7.4.2.3.

Backward Compatibility

7.4.3.

Data Format Testing

7.4.3.1.

7.4.3.2.

7.4.3.3.

Binary Format Testing

7.5.

Database Testing

7.5.1.

7.5.1.1.

Migration Testing

7.5.1.2.

Constraint Validation

7.5.1.3.

7.5.2.

7.5.2.1.

Query Correctness

7.5.2.2.

Performance Properties

7.5.2.3.

Transactional Properties

7.5.3.

Data Integrity Testing

7.5.3.1.

Referential Integrity

7.5.3.2.

Consistency Constraints

7.5.3.3.

Concurrency Control

Previous

6. Stateful Property-Based Testing

Go to top

Next

8. Security Testing Applications