Property-Based Testing

  1. Practical Applications
    1. Pure Function Testing
      1. Mathematical Functions
        1. Arithmetic Operations
          1. Trigonometric Functions
            1. Statistical Functions
            2. Data Transformation Functions
              1. Parsing Functions
                1. Formatting Functions
                  1. Conversion Functions
                  2. Algorithm Testing
                    1. Sorting Algorithms
                      1. Search Algorithms
                        1. Graph Algorithms
                      2. Data Structure Testing
                        1. Container Data Structures
                          1. Lists and Arrays
                            1. Sets and Maps
                              1. Trees and Graphs
                              2. Invariant Testing
                                1. Structural Invariants
                                  1. Ordering Invariants
                                    1. Size Invariants
                                    2. Operation Testing
                                      1. Insertion Operations
                                        1. Deletion Operations
                                          1. Query Operations
                                        2. API and Service Testing
                                          1. REST API Testing
                                            1. Endpoint Validation
                                              1. Request/Response Schema Testing
                                                1. Error Handling Testing
                                                2. Web Service Testing
                                                  1. SOAP Service Testing
                                                    1. GraphQL Testing
                                                      1. Microservice Testing
                                                      2. Protocol Testing
                                                        1. Network Protocol Testing
                                                          1. Communication Protocol Testing
                                                            1. Message Format Testing
                                                          2. Parser and Serialization Testing
                                                            1. Parser Testing
                                                              1. Grammar Compliance
                                                                1. Error Recovery
                                                                  1. Performance Testing
                                                                  2. Serialization Testing
                                                                    1. Round-Trip Properties
                                                                      1. Format Compliance
                                                                        1. Backward Compatibility
                                                                        2. Data Format Testing
                                                                          1. JSON Testing
                                                                            1. XML Testing
                                                                              1. Binary Format Testing
                                                                            2. Database Testing
                                                                              1. Schema Testing
                                                                                1. Migration Testing
                                                                                  1. Constraint Validation
                                                                                    1. Index Testing
                                                                                    2. Query Testing
                                                                                      1. Query Correctness
                                                                                        1. Performance Properties
                                                                                          1. Transactional Properties
                                                                                          2. Data Integrity Testing
                                                                                            1. Referential Integrity
                                                                                              1. Consistency Constraints
                                                                                                1. Concurrency Control

                                                                                            Previous

                                                                                            6. Stateful Property-Based Testing

                                                                                            Go to top

                                                                                            Next

                                                                                            8. Security Testing Applications