Software and Systems Verification - Segédanyagok

Félév: 2017. ősz
Title Egyedi szöveg
Overview
Static techniques
Dynamic techniques: Testing
System-level verification
Félév: 2016. ősz
Title Egyedi szöveg
Overview
  • 2016-09-06 LEC00 Course information
  • 2016-09-06 LEC01 Introduction and overview of V&V techniques
Static techniques
  • 2016-09-13 LEC02 Verifying specifications
  • 2016-09-20 LEC03 Verifying source code
Dynamic techniques: Testing
  • 2016-09-27 LEC04 Development testing
  • 2016-10-04 LEC05 Structure-based test design
  • 2016-10-11 LEC06 Specification-based test design
  • 2016-10-18 LEC07 Testing process and test levels
  • 2016-10-25 LEC08 Code-based test generation
  • 2016-11-01 -- Day off --
  • 2016-11-08 LEC09 Model-based test generation
  • 2016-11-15 LEC10 Test automation
System-level verification
  • 2016-11-22 LEC11 Architecture verification
  • 2016-11-29 LEC12 Dependability analysis
  • 2016-12-06 LEC13 Runtime verification
Exam
  • Vizsga és záróvizsga tételsor (Hungarian) 
Syndicate content