Software Verification and Validation - Segédanyagok

Félév: 2020. ősz
Cím	Egyedi szöveg
L01 (09.09.) Introduction	Course overview Introduction to software V&V
L02 (09.10.) Role of standards. Verification of the requirements.	The role of development standards Verification of the requirements specification
L03 (09.17.) Verification of the architecture design	Verification of the architecture design
L04 (09.24.) Verification of the detailed design	Verification of the detailed design Basic formalisms for formal verification
L05 (09.30.): Formalization of properties using temporal logics. Checking HML properties.	Temporal logics. Checking HML properties
L06 (10.01.): Checking LTL properties	Checking LTL properties
L07 (10.07.): Checking CTL properties	Checking CTL properties
L08 (10.08.): Handling large state space in model checking	Symbolic model checking Bounded model checking
L09 (10.14.): Model checking examples	Introductory examples Case study: Scheduling of tasks Model checker tools Example models (ZIP)
L10 (10.15.): Formal verification of time-dependent behavior	Formal verification of time-dependent behavior
L11 (10.21.): Formal verification of stochastic properties	Formal verification of stochastic properties
L12 (10.22.): Equivalence checking between models	Equivalence checking between models
L13 (10.28.): Verification of the source code	Verification of the source code
L14 (10.29.): Proof of program correctness (part 1)	Proof of program correctness for simple programs
L15 (11.04.): Proof of program correctness (part 2). Software model checking.	Proof of program correctness for structured programs Software model checking with abstraction
L16 (11.05.): Module testing	Software module testing (component testing)
L17 (11.18.): Source code based testing. Integration testing, system testing, validation testing.	Source code based test generation Integration testing, system testing, validation testing
L18 (11.19.): Model-based testing (part 1)	Model-based testing (part 1)
L19 (11.25.): Model-based testing (part 2)	Model-based testing (part 2)
L20 (11.26): Verification during maintenance	Verification during maintenance

Félév: 2019. ősz
Cím	Egyedi szöveg
L01 (09.11.) Introduction	Course overview Introduction to software V&V
L02 (09.18.) Role of standards. Verification of the requirements.	The role of development standards Verification of the requirements specification
L03 (09.19.) Verification of the architecture design	Verification of the architecture design
L04 (09.25): Verification of the detailed design	Verification of the detailed design Basic formalisms for formal verification
L05 (09.26): Formalization of properties using temporal logics. Checking HML properties.	Temporal logics and checking HML properties

Elsődleges linkek

Primary Links

Software Verification and Validation - Segédanyagok

Nyelvek

Belépés

Leírások

Navigáció