Software Verification and Validation - Segédanyagok

Félév: 2020. ősz
Title Egyedi szöveg
L01 (09.09.) Introduction
application/pdf iconCourse overview
application/pdf iconIntroduction to software V&V
L02 (09.10.) Role of standards. Verification of the requirements.
application/pdf iconThe role of development standards
application/pdf iconVerification of the requirements specification
L03 (09.17.) Verification of the architecture design
application/pdf iconVerification of the architecture design
L04 (09.24.) Verification of the detailed design
application/pdf iconVerification of the detailed design
application/pdf iconBasic formalisms for formal verification
L05 (09.30.): Formalization of properties using temporal logics. Checking HML properties.
application/pdf iconTemporal logics. Checking HML properties
L06 (10.01.): Checking LTL properties
application/pdf iconChecking LTL properties
L07 (10.07.): Checking CTL properties
application/pdf iconChecking CTL properties
L08 (10.08.): Handling large state space in model checking
application/pdf iconSymbolic model checking
application/pdf iconBounded model checking
L09 (10.14.): Model checking examples
application/pdf iconIntroductory examples
application/pdf iconCase study: Scheduling of tasks
application/pdf iconModel checker tools
application/zip iconExample models (ZIP)
L10 (10.15.): Formal verification of time-dependent behavior
application/pdf iconFormal verification of time-dependent behavior
L11 (10.21.): Formal verification of stochastic properties
application/pdf iconFormal verification of stochastic properties
L12 (10.22.): Equivalence checking between models
application/pdf iconEquivalence checking between models
L13 (10.28.): Verification of the source code
application/pdf iconVerification of the source code
L14 (10.29.): Proof of program correctness (part 1)
application/pdf iconProof of program correctness for simple programs
L15 (11.04.): Proof of program correctness (part 2). Software model checking.
application/pdf iconProof of program correctness for structured programs
application/pdf iconSoftware model checking with abstraction
L16 (11.05.): Module testing
application/pdf iconSoftware module testing (component testing)
L17 (11.18.): Source code based testing. Integration testing, system testing, validation testing.
application/pdf iconSource code based test generation
application/pdf iconIntegration testing, system testing, validation testing
L18 (11.19.): Model-based testing (part 1)
application/pdf iconModel-based testing (part 1)
L19 (11.25.): Model-based testing (part 2)
application/pdf iconModel-based testing (part 2)
L20 (11.26): Verification during maintenance
application/pdf iconVerification during maintenance
Félév: 2019. ősz
Title Egyedi szöveg
L01 (09.11.) Introduction
application/pdf iconCourse overview
application/pdf iconIntroduction to software V&V
L02 (09.18.) Role of standards. Verification of the requirements.
application/pdf iconThe role of development standards
application/pdf iconVerification of the requirements specification
L03 (09.19.) Verification of the architecture design
application/pdf iconVerification of the architecture design
L04 (09.25): Verification of the detailed design
application/pdf iconVerification of the detailed design
application/pdf iconBasic formalisms for formal verification
L05 (09.26): Formalization of properties using temporal logics. Checking HML properties.
application/pdf iconTemporal logics and checking HML properties
Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login