Analysing the Kconfig semantics and its analysis tools
Analysing the Kconfig semantics and its analysis tools
复制标题
分析Kconfig语义及其分析工具
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Klaus Schmid
中科院分区：
文献类型：
--
作者：
Sascha El;Adam Krafczyk;Klaus Schmid
Linux内核经常被用作真实的世界案例研究，以展示新颖的软件产品线工程研究方法。这方面的一个要点通常是Kconfig语义的分析。然而，我们发现Kconfig的语义相当不清楚，并且有许多特殊情况，这些情况在其简短规范中没有记录。我们进行了系统的分析，以揭示Kconfig的正确行为，并提出的结果，这是必要的应用语义正确的分析。此外，我们分析现有的分析工具的研究社区是否知道正确的语义Kconfig。这些分析可用于改进现有的分析工具，以及为特定分析选择合适的工具提供决策支持。总之，我们有助于更好地了解Kconfig在研究社区，以提高基于Linux的评估的有效性。
The Linux kernel is often used as a real world case study to demonstrate novel Software Product Line Engineering research methods. An important point in this is often the analysis of the Kconfig semantics. However, we detected that the semantics of Kconfig is rather unclear and has many special cases, which are not documented in its short specification. We performed a systematic analysis to uncover the correct behaviour of Kconfig and present the results, which are necessary for applying semantically correct analyses. Further, we analyse existing analysis tools of the research community whether they are aware of the correct semantics of Kconfig. These analyses can be used for improving existing analysis tools as well as decision support for selecting an appropriate tool for a specific analysis. In summary we contribute to a better understanding of Kconfig in the research community to improve the validity of evaluations based on Linux.