System-specific static code analyses: a case study in the complex embedded systems domain |
| |
Authors: | Holger M Kienle Johan Kraft Thomas Nolte |
| |
Affiliation: | (1) M?lardalen University, V?ster?s, Sweden |
| |
Abstract: | In this paper, we are exploring the approach to utilize system-specific static analyses of code with the goal to improve software
quality for specific software systems. Specialized analyses, tailored for a particular system, make it possible to take advantage
of system/domain knowledge that is not available to more generic analyses. Furthermore, analyses can be selected and/or developed
in order to best meet the challenges and specific issues of the system at hand. As a result, such analyses can be used as
a complement to more generic code analysis tools because they are likely to have a better impact on (business) concerns such
as improving certain software quality attributes and reducing certain classes of failures. We present a case study of a large,
industrial embedded system, giving examples of what kinds of analyses could be realized and demonstrate the feasibility of
implementing such analyses. We synthesize lessons learned based on our case study and provide recommendations on how to realize
system-specific analyses and how to get them adopted by industry. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|