A Framework to Combine Semantic and Structural Information for Static Analysis

Jonathan I MaleticKent State U0204175A结合语义和结构信息的框架用于静态分析Jonathan I.Maletic该研究涉及将程序源代码的语义和结构信息结合用于软件的静态分析。静态分析通常只考虑源代码的结构信息。本研究探讨如何利用与领域语义学相关的资讯来加强现有的静态分析方法。语义信息来自与源代码相关联的注释、文档和标识符名。将开发一个框架，允许将源代码的语义信息和结构信息结合起来。该框架将提供计算描述软件的新度量和度量的方法(例如，内聚力和耦合)。此外，研究还将研究不同的信息检索方法，以及如何使用它们从源代码中提取相关的语义信息。将对该框架和使用语义信息进行静态分析进行实证评估。将语义信息与现有的静态分析方法相结合，将产生新的和改进的分析工具。这些工具将帮助软件工程师更好地分析、维护和评估大型软件系统的质量。

ABSTRACTJonathan I MaleticKent State U0204175A Framework to Combine Semantic and Structural Information for Static AnalysisJonathan I. MaleticThe research involves combining semantic and structural information of program source code for the static analysis of software. Static analysis normally takes into consideration only structural information of the source code. The research investigates the use of information concerning the domain semantics to enhance existing static analysis methods. The semantic information is derived from the comments, documentation, and identifier names associated with the source code. A framework will be developed that allows the combination of semantic and structural information of the source code. The framework will provide means to compute new measures and metrics that describe the software (e.g., cohesion and coupling). Additionally, the research will study different information retrieval methods and how they can be used to extract relevant semantic information from the source code. An empirical assessment of the framework and the use of semantic information for static analysis will be undertaken. Combining semantic information with existing static analysis methods will result in new and improved analysis tools. These tools will help software engineers better analyze, maintain, and assess the quality of large software systems.