Software and Systems Verification - Segédanyagok

Félév: 2019. ősz
Title	Egyedi szöveg
Overview	English-Hungarian Glossary (see also this vocabulary) (Material about related standards is visible only after login.) 00-SWSV-course-data.pdf 01-SWSV-introduction.pdf 02-SWSV-overview.pdf
Static techniques	03-SWSV-verifying-source-code.pdf
Dynamic techniques	04-SWSV-testing-overview.pdf 05-SWSV-advanced-test-design.pdf 06-SWSV-test-oracles.pdf 07-SWSV-code-based-test-generation.pdf 08-SWSV-model-based-test-generation.pdf 09-SWSV-regression-testing.pdf
System-level verification	10-SWSV-architecture-verification.pdf 11-SWSV-dependability-analysis.pdf 12-SWSV-runtime-verification.pdf
Exam	Exercise guide for the exam's practical part / Feladattár a vizsga gyakorlati részéhez Final examination / Záróvizsga tételsor (2019) swsv-exercise-guide-en-2019.pdf swsv-exercise-guide-hu-2019.pdf swsv-final-exam-2019.pdf

Félév: 2018. ősz
Title	Egyedi szöveg
Overview	00-SWSV-course-data.pdf 01-SWSV-introduction.pdf 02-SWSV-overview-of-vv-techniques.pdf
Static techniques	03-SWSV-verifying-source-code.pdf
Testing	04-SWSV-testing-overview.pdf 05-SWSV-advanced-test-design.pdf 06-SWSV-test-oracles.pdf 07-SWSV-code-based-test-generation.pdf 08-SWSV-model-based-test-generation.pdf 09-SWSV-regression-testing.pdf
System-level verification	10-SWSV-architecture-verification.pdf 11-SWSV-dependability-analysis.pdf 12-SWSV-runtime-verification.pdf
Exam	English-Hungarian Glossary (see also this vocabulary) Exercise guide for the exam's practical part / Feladattár a vizsga gyakorlati részéhez Sample exam / Mintavizsga (2018) Final examination / Záróvizsga tételsor (2018) swsv-exercise-guide-hu-2018.pdf swsv-exercise-guide-en-2018.pdf swsv-exam-sample-2018-en.pdf swsv-exam-sample-2018-hu.pdf swsv-final-exam-2018.pdf

Félév: 2017. ősz
Title	Egyedi szöveg
Overview	00-SWSV-course-data.pdf 01-SWSV-overview.pdf
Static techniques	02-SWSV-verifying-specifications.pdf 03-SWSV-verifying-source-code.pdf
Dynamic techniques: Testing	04a-SWSV-testing-introduction.pdf 04b-SWSV-development-testing.pdf 05-SWSV-test-design-structure.pdf 06-SWSV-test-design-specification.pdf 07-SWSV-testing-process-levels.pdf 08-SWSV-test-automation.pdf 09-SWSV-code-based-test-generation.pdf 10-SWSV-model-based-test-generation.pdf
System-level verification	11-SWSV-architecture-verification.pdf 12-SWSV-dependability-analysis.pdf 13-SWSV-runtime-verification.pdf
Exam	Materials in Hungarian: Vizsga és ZV-tételsor Gyakorlati feladattár 2017-SWSV-vizsga-zv-tetelek.pdf 2017-SWSV-feladattar.pdf

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 00-SWSV-course-data.pdf 01-SWSV-overview.pdf
Static techniques	2016-09-13 LEC02 Verifying specifications 2016-09-20 LEC03 Verifying source code 02-SWSV-verifying-specifications.pdf 03-SWSV-verifying-source-code.pdf
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 04a-SWSV-testing-introduction.pdf 04b-SWSV-development-testing.pdf 05-SWSV-test-design-structure.pdf 06-SWSV-test-design-specification.pdf 07-SWSV-testing-process-levels.pdf 08-SWSV-code-based-test-generation.pdf 09-SWSV-model-based-test-generation.pdf 10-SWSV-test-automation.pdf HPE_TestAutomation.pdf
System-level verification	2016-11-22 LEC11 Architecture verification 2016-11-29 LEC12 Dependability analysis 2016-12-06 LEC13 Runtime verification 11-SWSV-architecture-verification.pdf 12-SWSV-dependability-analysis.pdf 13-SWSV-runtime-verification.pdf
Exam	Vizsga és záróvizsga tételsor (Hungarian) 2016-SWSV-vizsga-zv-tetelek.pdf 2016-SWSV-mintavizsga.pdf