Formal Concept Analysis Model for Static Code Analysis |
||
 |
 |
 |
| Students’ assignments for the mid-term test: An overview over Pylint general message types A) Show only exact matches |
Students’ assignments for the mid-term test: An overview over Pylint general message types B)Show all matches with highlight over a concept |
Design checker criterion for assignment 4 |
 |
 |
|
| Prevent errors criterion for assignment 4 | Prevent errors criterion for assignment 10 | |
On the use of FCA models in static analysis tools to detect common errors in programming |
||
 |
 |
|
| Increased code complexity of the source program, with focus on error codes R0912, R0914 and R0915, objects: students usernames, attributes: assignments | Bad object oriented design for assignment A3. Objects: student usernames; attributes: Pylint error codes; threshold: at least 4 occurrences of an error code |
|