A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.
NI-APT Advanced Program Testing Extent of teaching: 2P+1C Instructor: Donat-Bouillud P. Completion: Z,ZK Department: 18101 Credits: 5 Semester: Z Annotation:
Testing a program is essential to ensure that a program respects its specification, that changes do not introduce regressions or security issues. The goal of the course is to present advanced program testing techniques, beyond writing unit tests, especially fuzzing and symbolic execution.
Lecture syllabus:
1. Introduction - specification testing 2. Coverage - structural testing 3. Property-based testing and random fuzzing 4. Test-case minimization 5. Mutation-based fuzzing and mutation analysis 6. Greybox fuzzing and search-based fuzzing 7. Syntactic fuzzing: fuzzing with (possibly probabilistic) grammars 8. Syntactic fuzzing: greybox fuzzing with grammars, mining input grammars 9. Domain-specific fuzzing 10. Concolic fuzzing 11. Symbolic fuzzing 12. Practical fuzzing: when to stop, infrastructure for fuzzing at scale 13. Current research (e.g. differential fuzzing for JS engines) Seminar syllabus:
1. Coverage and code coverage tools 2. Test-case minimization 3. Greybox fuzzer 4. Greybox fuzzer with grammar 5. Concolic fuzzing 6. Project consultation Literature:
Aniche, Maurício. Effective Software Testing: A developer's guide. Simon and Schuster, 2022. ; Zeller, Andreas, et al. "The fuzzing book." (2019). Pezz?, Mauro, and Michal Young. Software testing and analysis: process, principles, and techniques. John Wiley & Sons, 2008. Baldoni, Roberto, Emilio Coppa, Daniele Cono D?elia, Camil Demetrescu, and Irene Finocchi. ?A Survey of Symbolic Execution Techniques.? (2018). The Fuzzing Book<https://www.fuzzingbook.org/>.Requirements:
The students are expected to be familiar with the basic notions of testing, such as unit testing (such as presented in BI-OOP).
studijní materiály na https://courses.fit.cvut.cz/NI-APT/ The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester NI-PB.2020 Computer Security V Není NI-ZI.2020 Knowledge Engineering V Není NI-SPOL.2020 Unspecified Branch/Specialisation of Study V Není NI-TI.2020 Computer Science V Není NI-TI.2023 Computer Science V Není NI-NPVS.2020 Design and Programming of Embedded Systems V Není NI-PSS.2020 Computer Systems and Networks V Není NI-MI.2020 Managerial Informatics V Není NI-SI.2020 Software Engineering (in Czech) V Není NI-SP.2020 System Programming V Není NI-WI.2020 Web Engineering V Není NI-SP.2023 System Programming V Není NI-SP.2023 System Programming PS 1
Page updated 19. 4. 2024, semester: L/2020-1, L/2021-2, Z/2023-4, Z/2024-5, Z/2019-20, Z/2022-3, L/2019-20, L/2022-3, Z/2020-1, Z/2021-2, L/2023-4, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška