2018年度江苏省科学技术奖提名项目公示资料-南京邮电大学科研院.PDFVIP

2018 年度江苏省科学技术奖提名项目公示资料 项目名称 测试驱动的软件缺陷诊断与分析 完成人 徐宝文，周毓明，荆晓远，谢晓园，陈振宇，陈林，杨已彪，冯洋，卢红敏 完成单位 南京大学，武汉大学，南京邮电大学 现代社会的各类大型复杂软件系统（如舰载指控和大型通讯等系 统）对软件的依赖度很高，如何保障它们的高可靠性是极具挑战性的问 题。这类软件常包含大量模块，但软件缺陷尤其是非常致命的高危缺陷 一般来源于其中的极少部分模块。课题组自 1990 年代初就一直从事测 试驱动的软件缺陷诊断与分析的理论、方法和技术研究，取得了多项国 际领先的研究成果，得到国际同行的高度评价，在本领域内产生了重要 影响。主要工作包括： （1）测试用例生成理论与方法 提出联合蕴含（co-subsumption）概念，构建了第一个完整的通用 形式逻辑故障模型，系统地揭示了高可靠软件的逻辑故障内涵、故障的 影响与传播机理，解决了长期困扰软件工程学术界与工业界的逻辑故障 理论问题，奠定了软件逻辑测试的理论基础。在逻辑故障研究的基础上， 泛化出变量极小等价、变量极小不可满足、变量极小可满足等逻辑公式， 并证明了其判定复杂性，奠定了面向高可靠软件的缺陷检测理论基础。 基于此理论结果，提出了系统的测试用例生成、扩充和优化方法，适用 项目简介 于软件系统的不同等级的逻辑测试需求。 （2）缺陷模块预测理论与方法 通过构建混和效应统计分析模型，在国际上首次系统揭示了源代码 结构特征的内涵以及对软件缺陷的影响机理。在此基础上，提出统计方 法移除模块规模的混和效应，获取代码结构特征的本质属性，据此设计 了工作量感知的缺陷预测模型，大幅提高了代码结构特征的缺陷预测能 力，使得开发者在花费同等审查/测试工作量的情况下能发现更多的缺 陷，解决了规模混和效应影响软件缺陷预测准确性的一系列难题，为大 型复杂软件的缺陷精准预测奠定了理论基础。 （3）软件缺陷定位理论与方法 建立了国际上首个最优定位公式理论模型，彻底解决了困扰国际软 件缺陷定位界 30 多年来的研究瓶颈。“定位公式的性能”是决定缺陷定 位效果的关键所在。截止至 2013 年，设计高效的定位公式一直是包括 多名ACM/IEEE Fellow 在内的许多学者最为热门的研究方向之一，每 年都有大量论文问世，然而一直没有突破性进展。我们提出的理论模型 揭示了缺陷自动定位技术背后的理论依据和现有定位公式之间的性能 层次结构，证明了任意公式等价和成为最优的充要条件。自论文发表之 后，国际上不再有新公式被提出。该成果得到了国际同行的高度评价， 认为其成功扭转了先前错误的研究方向，为大型复杂软件的自动化调试 奠定了理论基础。 课题组的研究成果发表在TOSEM、TSE、ICSE 和FSE 等国际权威 期刊和会议上，他引 3000 多次，居国内软件界前茅。在基于通用形式 逻辑故障结构的缺陷检测方法、基于混和效应模型的缺陷预测