概况

南京大学软件质量研究所与江苏省软件质量研究所、江苏省软件质量工程中心是一个实体三块牌子。

软件质量研究所的创建者自1980年代中期就参与了国防科工委的程序设计语言设计与实现、软件维护与程序分析等等研究工作以及航空工业部(航空航天工业部)的软件工程规范与标准的研究与制定工作。从1990年代后期始,主要进行软件分析(程序切片)、度量与测试等方面的研究工作。到本世纪初,徐宝文教授团队的研究工作开始引起国内外同行的关注。在2005年前后,有关研究成果已经引起国际同行极大关注。

目前的研究领域包括但不限于:

  • 智能化软件技术
  • 智能软件系统分析测试
  • 软件大数据挖掘与分析
  • Web与移动应用软件分析测试
  • 程序设计语言的设计、实现与实证分析
  • 实证软件工程

研究方向

我们一直从事软件分析、测试、度量等相关的软件技术研究,近年来,我们的关注点也从软件自动化到软件智能化,探索智能化软件技术,主要包括:
(1) 智能化程序分析。程序分析是对程序属性(如正确性、健壮性、安全性、可信性等)的智能化分析。常见的程序分析方法包括控制流分析、数据流分析、别名分析、程序切片等。
(2) 智能化软件调试。软件调试是软件开发中的重要行为,我们主要研究如何利用智能化技术,解决软件调试中的信息不完整性、软件行为和开发者行为的不确定性等带来的问题。

科研项目

研究人员

科研成果

序号 名称 年份 下载
1 Chen Z, Chen L, Ma W, et al. Understanding metric-based detectable smells in Python software: a comparative study[J]. Information & Software Technology, 2017, 94. 2018
2 Chen Z, Ma W, Lin W, et al. A study on the changes of dynamic feature code when fixing bugs: towards the benefits and costs of Python dynamic features[J]. Science China(Information Sciences), 2018, 61(1):012107. 2018
3 Zhou Y, Yang Y, Lu H, et al. How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction[J]. ACM Transactions on Software Engineering and Methodology (TOSEM), 2018, 27(1): 1. 2018
4 Zhifei Chen, Bihuan Chen, Lu Xiao, Xiao Wang, Lin Chen, Yang Liu, Baowen Xu. Speedoo: Prioritizing Performance Optimization Opportunities, ICSE 2018 2018
5 Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu. Debugging with Intelligence via Probabilistic Inference, ICSE 2018 2018

招生信息

有意向加入我们的同学请提前准备材料:

  • 个人简历
  • 本科成绩单
  • 其他有助于证明自己经历与能力的材料

各位同学可以分别联系老师:

  • 徐宝文 教授 (bwxu#nju.edu.cn)
  • 周毓明 教授 (zhouyuming#nju.edu.cn)
  • 许蕾 副教授 (xlei#nju.edu.cn)
  • 陈林 副教授 (lchen#nju.edu.cn)
  • 卢红敏 博士 (hmlu#nju.edu.cn)
  • 李言辉 博士 (yanhuili#nju.edu.cn)
  • 杨已彪 博士 (yangyibiao#nju.edu.cn)