开源软件故障检测诊断和日志增强关键技术研究

项目名称： 开源软件故障检测诊断和日志增强关键技术研究

项目编号： No.61402496

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 谢欣伟

作者单位： 中国人民解放军国防科学技术大学

项目金额： 26万元

中文摘要： 开源软件的使用呈爆炸式增长，其可靠性和安全性对于国民经济和国防现代化建设中的许多关键领域起到重要作用。然而利用现有的日志信息进行软件故障重现和诊断难度大、效率低；其配置错误也成为导致软件故障的一个重要因素。本课题探索以软件代码质量管理和软件分析、验证方法为理论指导，研究提高开源软件代码质量的方法和故障诊断工具。具体包括：（1）研究日志定量分析方法，总结日志编写特征；（2）研究日志添加点定位和内容增强自动化方法；（3）研究错误配置特征分析方法；（4）研究错误配置实时检测和纠正方法。通过探索开源软件的代码编程规范和质量管控，建立自动化程度较高的代码质量提升工具原型，从而为开源软件代码质量保证提供有效手段，提高系统运行的稳定性，可靠性和安全性。

中文关键词： 软件测试；静态分析；可靠性分析；编译；

英文摘要： As widely deployed in many aspects of our daily life, the reliability and security of the open-source software play a vital role in many key areas of the national economy and defense construction. However, the open-source software is hard to diagnose and

英文关键词： Software Testing；Static Analysis；Reliability Analysis；Compiler；