Závěrečná práce: Daniel Czinege: Detecting Overcomplicated Conditions in Student Code
Bakalářská práce
Detecting Overcomplicated Conditions in Student Code
Anotace
Naučit se psát čitelný a udržovatelný kód je zásadní dovedností každého programátora. Pro začátečníky však rozvoj těchto dovedností vyžaduje zpětnou vazbu. Tato práce rozšiřuje nástroj Edulint (linter pro jazyk Python) o vlastní detektory navržené k identifikaci zbytečně složitých podmínek a komplexních částí kódu, aby pomohla začínajícím programátorům osvojit si správné programovací návyky. Detektory …více
Abstract
Learning to write readable and maintainable code is essential for every programmer. For beginners, however, developing these skills requires consistent and targeted feedback. This thesis enhances the Edulint Python linter with custom detectors designed to identify overcomplicated conditions and complex code sections, to help beginner programmers adopt proper coding practices. The detectors identify …více
Zadání práce
24. 5. 2025 10:47, Mgr. Anna Řechtáčková
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Reduced product of abstract domains
Mgr. Jan Dupal -
Deduction in Matching Logic
Mgr. Adam Fiedler -
Symbolic-size Memory Allocation Support for Klee
Mgr. Michael Šimáček -
Slicing of Parallel Programs
Mgr. Lukáš Tomovič -
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
RNDr. Martin Jonáš, Ph.D., učo 359542 -
SMT Solving for the Theory of Bit-Vectors
RNDr. Martin Jonáš, Ph.D., učo 359542 -
Nástroj na automatickou detekci chyb v jazyce C
Mgr. Jan Šťastný, učo 173461 -
Automatic Bug-finding Techniques for Large Software Projects
Mgr. Jiří Slabý, Ph.D.




