可信软件的度量与测试方法研究

项目名称： 可信软件的度量与测试方法研究

项目编号： No.91418202

项目类型： 重大研究计划

立项/批准年度： 2015

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

项目作者： 徐宝文

作者单位： 南京大学

项目金额： 170万元

中文摘要： 本项目以国家自然科学基金可信软件重大研究计划前期项目为基础，进一步研究可信软件的度量和测试方法。研究内容具体包括：（1）基于多源信息的工作量感知缺陷预测方法；（2）基于多样性度量的测试用例生成与优化方法；（3）基于可信度量的缺陷定位与理解技术；（4）面向缺陷修复的测试用例选择与扩增方法；（5）针对典型应用的实验验证。本项目将集成现有软件分析、度量和测试方法、技术和工具，形成一套具有理论支持并实际可操作的软件可信性保障方法，研发一个可信软件质量保障支撑平台，并在舰船指挥控制系统上进行实验验证。

中文关键词： 软件测试；软件度量；缺陷检测；缺陷理解；缺陷修复

英文摘要： This project is based on our prior NSFC projects for constructing trusted software. In this project, we will further study the measurement and testing methods for trusted software. The research contents of this project include: (1) effort-aware fault prediction methods based on multiple source information; (2) test case generation and optimization methods based on diversity measurement; (3) fault localization and understanding based on trusted measurements; (4) fault fixing-oriented test case selection and augmentation methods; (5) empirical evaluations based on typical applications. This project aims to integrate existing software analysis, measurement, and testing techniques in order to obtain practical software quality assurance methods for trusted software. Furthermore, this project will develop a platform of quality assurance for trusted software and validate the proposed methods on the command and control systems of battleship.

英文关键词： Software Testing；Software Measurement；Fault Detetion；Fault Understanding；Fault Fixing