Software Quality Improvement Through Static Analysis and Annotation

通过静态分析和注释提高软件质量

• 批准号: LP0989643
• 负责人: Em/Prof Ian Hayes
• 金额: $ 19.35万
• 依托单位: The University of Queensland
• 依托单位国家: 澳大利亚
• 项目类别: Linkage Projects
• 财政年份: 2011
• 资助国家: 澳大利亚
• 起止时间: 2011-02-21 至 2014-02-28
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LP0989643
• 关键词: Software; Quality; Improvement; Through; Static

Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that there are approximately 75,000 software developers who make substantial use of C/C++ and who could benefit from the availability of better automatic static analysis tools to improve both the quality of the code they produce and their productivity.

软件构成了支持电子商务等行业的关键基础设施的基础。软件中的缺陷可能导致整个系统的故障，或允许绕过软件的安全机制。该项目正在开发通过查找导致安全漏洞或运行时故障的常见缺陷来提高软件质量的方法。在澳大利亚，估计大约有75，000名软件开发人员大量使用C/C++，他们可以从更好的自动静态分析工具中受益，以提高他们制作的代码质量和生产率。