Syllabus

• Formal (Module Interface) Specifications

  • formal methods process
  • specification languages
    • axiomatic specifications
    • state machine specifications
    • abstract model specifications
    • algebraic specifications
  • module test plan

• Software Testing, Verification and Validation

  • verification vs. validation
  • testing process
  • unit testing
  • integration testing
  • system testing
  • verification and other analysis techniques
  • end user testing

Previous slide

Next slide

Back to first slide

View graphic version