Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.17260 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913572507877376 |
|---|---|
| author | Natella, Roberto |
| author_facet | Natella, Roberto |
| contents | In large programming classes, it takes a significant effort from teachers to evaluate exercises and provide detailed feedback. In systems programming, test cases are not sufficient to assess exercises, since concurrency and resource management bugs are difficult to reproduce. This paper presents an experience report on static analysis for the automatic evaluation of systems programming exercises. We design systems programming assignments with static analysis rules that are tailored for each assignment, to provide detailed and accurate feedback. Our evaluation shows that static analysis can identify a significant number of erroneous submissions missed by test cases. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_17260 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Evaluation of Systems Programming Exercises through Tailored Static Analysis Natella, Roberto Computers and Society Software Engineering In large programming classes, it takes a significant effort from teachers to evaluate exercises and provide detailed feedback. In systems programming, test cases are not sufficient to assess exercises, since concurrency and resource management bugs are difficult to reproduce. This paper presents an experience report on static analysis for the automatic evaluation of systems programming exercises. We design systems programming assignments with static analysis rules that are tailored for each assignment, to provide detailed and accurate feedback. Our evaluation shows that static analysis can identify a significant number of erroneous submissions missed by test cases. |
| title | Evaluation of Systems Programming Exercises through Tailored Static Analysis |
| topic | Computers and Society Software Engineering |
| url | https://arxiv.org/abs/2410.17260 |