CS 743 - Software Verification and Validation

 Fall 2019


Welcome to the home page for CS 743 - Software Verification and Validation course

  • Final Exam Study Guide
  • Course information:

    Class notes

    Notes 1 - Introduction to Software Testing
    Notes 2 - Functional Testing
    Notes 2.1 - Boundary Value Analysis
    Notes 2.2 Combinatorial Testing
    Notes 2.3 Equivalence Class Testing
    Notes 2.4 Decision Table-based Testing
    Notes 2.5 State Transition Diagram Testing
    Notes 2.6 GUI Testing
    Notes 3 - Control Flow Testing
    Notes 4 - Data Flow Testing
    Notes 5 - Integration Testing
    Notes 6 - Use Case Models
    Notes 7 - Class Diagrams
    Notes 7.1 - Class Diagrams -- continued
    Notes 8 - Sequence Diagrams
    Notes 8.1 - Informal Verification Example
    Fault-based Testing
    Test Adequacy
    Security Testing
    Metrics
    Testing Real-Time Software Systems

    Documents

    Informal Verification

    Formal Verification

    Assignments