At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis

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.

[1]  Reinhold Plösch,et al.  Operationalised product quality models and assessment: The Quamoco approach , 2014, Inf. Softw. Technol..

[2]  Sarah Smith Heckman.  Adaptively ranking alerts generated from automated static analysis , 2007, ACM Crossroads.

[3]  Stéphane Ducasse,et al.  The squale model — A practice-based industrial quality model , 2009, 2009 IEEE International Conference on Software Maintenance.

[4]  Klaus Lochmann,et al.  Quality models in practice: A preliminary analysis , 2009, ESEM 2009.

[5]  Stefan Wagner,et al.  A novel approach for discovering barriers in using automatic static analysis , 2013, EASE '13.

[6]  B. Kahn,et al.  Variety for sale: Mass customization or mass confusion? , 1998 .

[7]  Sebastian G. Elbaum,et al.  Predicting accurate and actionable static analysis warnings , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[8]  Bengt Lindström,et al.  Salutogenesis , 2005, Journal of Epidemiology and Community Health.

[9]  L. Festinger,et al.  A Theory of Cognitive Dissonance , 2017 .

[10]  M. Seligman,et al.  Learned helplessness: Theory and evidence. , 1976 .

[11]  B. Schwartz.  The tyranny of choice. , 2004, Scientific American.

[12]  B. Schneirdeman,et al.  Designing the User Interface: Strategies for Effective Human-Computer Interaction , 1998 .

[13]  Noelle M. Nelson,et al.  Making choices impairs subsequent self-control: a limited-resource account of decision making, self-regulation, and active initiative. , 2008, Journal of personality and social psychology.

[14]  Jakob Nielsen,et al.  Usability engineering , 1997, The Computer Science and Engineering Handbook.

[15]  Robert W. Bowdidge,et al.  Why don't software developers use static analysis tools to find bugs? , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[16]  Andreas Zeller,et al.  How Long Will It Take to Fix This Bug? , 2007, Fourth International Workshop on Mining Software Repositories (MSR'07:ICSE Workshops 2007).

[17]  Maarten A. S. Boksem,et al.  Effects of mental fatigue on attention: an ERP study. , 2005, Brain research. Cognitive brain research.

[18]  C. Chabris,et al.  Gorillas in Our Midst: Sustained Inattentional Blindness for Dynamic Events , 1999, Perception.

[19]  Michele Lanza,et al.  Harnessing Stack Overflow for the IDE , 2012, 2012 Third International Workshop on Recommendation Systems for Software Engineering (RSSE).

[20]  Brian Whitworth,et al.  Polite computing , 2005, Behav. Inf. Technol..

[21]  Kathleen D. Vohs,et al.  Making choices impairs subsequent self-control: A limited-resource account of decision making, self-regulation, and active initiative. , 2014 .

[22]  B. Schneiderman,et al.  Designing the User Interface. Strategies for Effective Human-Computer Interaction , 1992 .

[23]  Harald C. Gall,et al.  Predicting the fix time of bugs , 2010, RSSE '10.

[24]  HeckmanSarah Smith.  Adaptively ranking alerts generated from automated static analysis , 2007 .

[25]  Jürgen Münch,et al.  CQML Scheme: A Classification Scheme for Comprehensive Quality Model Landscapes , 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.