This work deals with creation of tool that would allow the checking and evaluation of neatness of source codes in the C language. The primary user group are students of Introduction to Programming Systems (IZP). The implementation considers the use of Clang-Tidy tool (extended with custom set of checks) and program that evaluates results of checks based on the input configuration. The created program is capable of scoring source code using 16 checks according to the configuration. These checks detect various beginners errors. Testing of the student projects revealed that the most common error is the use of so-called magic numbers. The program can be deployed in the Introduction to Programming Systems (IZP) course with appropriate student in...
This thesis aims at development of a tool support for comparing the output of static analysis applie...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
The adoption of a programming discipline is one of the means to control the quality of the code bein...
In the present work I study ways of checking common beginner mistakes in C language programs using s...
The C programming language offers a high degree of control and freedom to programmers. This makes i...
Hlavním cílem této práce je seznámit čtenáře s teorií stylu kódování, formáterů a linterů a s implem...
Abstract: Writing correct C programs is well-known to be hard, not least due to the many language fe...
International audienceWriting correct C programs is well-known to be hard, not least due to the many...
This paper introduces a system for automatic evaluation of correctness and originality of source cod...
Computer science and software engineering education usually contain programming courses that require...
We present and discuss a tool that checks the correctness of simple programs constructed according t...
Call number: LD2668 .R4 CMSC 1988 F74Master of ScienceComputing and Information Science
Abstract. This short paper presents a prototype tool called SANTE (Static ANal-ysis and TEsting) imp...
Increasing the effectiveness of programming education has emerged as an important goal in teaching p...
We present the TSW system (TestSystem Web), a web-based environment currently developed at the Rome ...
This thesis aims at development of a tool support for comparing the output of static analysis applie...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
The adoption of a programming discipline is one of the means to control the quality of the code bein...
In the present work I study ways of checking common beginner mistakes in C language programs using s...
The C programming language offers a high degree of control and freedom to programmers. This makes i...
Hlavním cílem této práce je seznámit čtenáře s teorií stylu kódování, formáterů a linterů a s implem...
Abstract: Writing correct C programs is well-known to be hard, not least due to the many language fe...
International audienceWriting correct C programs is well-known to be hard, not least due to the many...
This paper introduces a system for automatic evaluation of correctness and originality of source cod...
Computer science and software engineering education usually contain programming courses that require...
We present and discuss a tool that checks the correctness of simple programs constructed according t...
Call number: LD2668 .R4 CMSC 1988 F74Master of ScienceComputing and Information Science
Abstract. This short paper presents a prototype tool called SANTE (Static ANal-ysis and TEsting) imp...
Increasing the effectiveness of programming education has emerged as an important goal in teaching p...
We present the TSW system (TestSystem Web), a web-based environment currently developed at the Rome ...
This thesis aims at development of a tool support for comparing the output of static analysis applie...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
The adoption of a programming discipline is one of the means to control the quality of the code bein...