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

SHF: Small: User-Centered Software Analysis Tools

SHF：小型：以用户为中心的软件分析工具

基本信息

批准号：
0915978
负责人：
Jeffrey Foster
金额：
$ 50万
依托单位：
University of Maryland, College Park
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2009
资助国家：
美国
起止时间：
2009-09-01 至 2013-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0915978&HistoricalAwards=false
关键词：
SHF Small User Centered Software

项目摘要

The proposed work explores techniques for making static analysis toolsmore effective in the hands of users. This will lead to thedevelopment of new static analysis algorithms, techniques, andinterfaces that provide the information users need to find, verify,and fix defects.The core of the proposed work will be a framework for static analysisvisualization and interaction, with several components. First, theframework will include checklists to help users triage defect reports,i.e., decide whether they are true or false positives. The aim is todevelop ways to instrument static analyses to automatically generatechecklists based on imprecision introduced during the analysis.Second, the framework will include lightweight query and searchfacilities to help users work with static analysis tool results. Usersneed effective ways to query the knowledge-base generated by a toolwhen trying to understand an error report; current static errorreports tend to provide too little or too much information. Third, theframework will include a generic visualization for program paths, acore part of many static analysis tools' defect reports. While sometools include simple path visualization, our framework will aim forfar more effective interfaces by applying information visualizationprinciples.

拟议的工作探讨技术，使静态分析工具更有效的用户手中。这将导致开发新的静态分析算法、技术和接口，为用户提供查找、验证和修复缺陷所需的信息。拟议工作的核心将是一个静态分析可视化和交互的框架，由几个组件组成。首先，框架将包括检查表，以帮助用户分类缺陷报告，即，判断它们是真阳性还是假阳性。其目的是开发工具静态分析的方法，以自动生成基于分析过程中引入的不精确性的检查列表。其次，该框架将包括轻量级查询和搜索工具，以帮助用户使用静态分析工具的结果。当试图理解错误报告时，用户需要有效的方法来查询工具生成的知识库;当前的静态错误报告往往提供太少或太多的信息。第三，框架将包括一个通用的可视化程序路径，许多静态分析工具的缺陷报告的核心部分。虽然有些工具包括简单的路径可视化，我们的框架将旨在通过应用信息可视化原则，福法尔更有效的接口。