权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

A Framework to Combine Semantic and Structural Information for Static Analysis

结合语义和结构信息进行静态分析的框架

基本信息

批准号：
0204175
负责人：
Jonathan Maletic
金额：
$ 15万
依托单位：
Kent State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2002
资助国家：
美国
起止时间：
2002-08-01 至 2005-07-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0204175&HistoricalAwards=false
关键词：
Framework Combine Semantic Structural Information

项目摘要

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.

摘要Jonathan I Maletic肯特州立大学U0204175A框架结合语义和结构信息进行静态分析Jonathan I. Maletic该研究涉及结合程序源代码的语义和结构信息进行软件静态分析。静态分析通常仅考虑源代码的结构信息。该研究调查了使用有关领域语义的信息来增强现有的静态分析方法。语义信息源自与源代码关联的注释、文档和标识符名称。将开发一个框架，允许源代码的语义和结构信息的组合。该框架将提供计算描述软件的新度量和指标的方法（例如，内聚性和耦合）。此外，该研究还将研究不同的信息检索方法以及如何使用它们从源代码中提取相关的语义信息。将对框架进行实证评估并使用语义信息进行静态分析。将语义信息与现有的静态分析方法相结合将产生新的和改进的分析工具。这些工具将帮助软件工程师更好地分析、维护和评估大型软件系统的质量。