At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis
This addresses usability issues in static analysis tools for developers, particularly beginners, but is incremental as it applies an existing health model to a new domain.
The paper tackles the problem of overwhelming warning outputs from automatic static analysis tools, which cause mental fatigue and stress for users, by proposing to adapt the salutogenesis model from healthcare into a triage and recommendation system for static analysis tools, with an example implementation in FindBugs for Java.
The results of an automatic static analysis run can be overwhelming, especially for beginners. The overflow of information and the resulting need for many decisions is mentally tiring and can cause stress symptoms. There are several models in health care which are designed to fight stress. One of these is the salutogenesis model created by Aaron Antonovsky. In this paper, we will present an idea on how to transfer this model into a triage and recommendation model for static analysis tools and give an example of how this can be implemented in FindBugs, a static analysis tool for Java.