A Framework to Combine Semantic and Structural Information for Static Analysis

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

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.