智能软件技术与质量研究组

Group in Intelligent Software Technology (GIST)

GIST 隶属于计算机软件新技术国家重点实验室和南京大学计算机科学与技术系。研究组专注于物联网、区块链、大数据、云计算和人工智能等新基建平台, 致力于构建现代智能软件的质量保障体系,探索软件和智能领域的学科交叉前沿,为智能化软件的开发和应用保驾护航。

新闻

加入我们 课题组常年招收博士、硕士以及南京大学本科生,欢迎联系我们。

团队成员

教师

助理研究员
助理研究员
徐家喜
Jiaxi Xu
高级工程师
王燕
Yan Wang
讲师

博士生

夏培萱
Peixuan Xia
徐立鑫
Lixin Xu
胡圣佑
Shengyou Hu
聂大为
Dawei Nie
姚天昂
Tianang Yao
余森垚
Senyao Yu
尧利利
Lili Yao
王靖灵
Jingling Wang
王鹏
Peng Wang

硕士生

陈宏楠
Hongnan Chen
范佳明
Jiaming Fan
龚楠雅
Nanya Gong
丘书玮
Shuwei Qiu
向健图
Jiantu Xiang
谢润烁
Runshuo Xie
潘振宇
Zhenyu Pan
郑贺
He Zheng
胡成悦
Chengyue hu
徐雁齐
Yanqi Xu

研究方向

区块链新技术与质量保证

研究区块链及其智能合约的测试技术体系,为区块链系统的质量和安全保驾护航。 在走到区块链理论前沿的基础上,占据区块链技术创新制高点,争取产业和应用优势。

智能软件测试

Testing for AI:对深度学习、自然语言处理、图像处理等智能软件系统进行分析与测试;
AI for Testing:综合应用机器智能和人类群体智能来解决各类复杂的软件测试问题。

软件生态系统分析

挖掘和分析 App Store 中的技术、用户和商业相关信息,提高移动应用的开发效率和质量。 研究开源软件中的群体协作和工程实践规律,构建高效的群智化软件开发方法。

故障分析与修复

研究对系统中的故障、漏洞的缺陷定位方法和理论,探索和优化能够自动修复特定类型故障的方法。


代表成果

高水平研究论文

  • Huayao Wu, Lixin Xu, Xintao Niu, Changhai Nie, Combinatorial Testing of RESTful APIs, International Conference on Software Engineering (ICSE), 2022: 426-437 [IEEE Xplore]
  • Xintao Niu, Yanjie Sun, Huayao Wu, Gang Li, Changhai Nie, Yu Lei, and Xiaoyin Wang, Combinatorial Testing with Metamorphic Relations, IEEE Transactions on Software Engineering (TSE), 48(12): 5007-5029, 2022 [IEEE Xplore]
  • Xintao Niu, Huayao Wu, Changhai Nie, Yu Lei, and Xiaoyin Wang, A Theory of Pending Schemas in Combinatorial Testing, IEEE Transactions on Software Engineering (TSE), 48(10): 4119-4151, 2022 [IEEE Xplore]
  • Huayao Wu, Wenjun Deng, Xintao Niu, and Changhai Nie, Identifying Key Features from App User Reviews, International Conference on Software Engineering (ICSE), 2021: 922-932 [IEEE Xplore]
  • Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia and Mark Harman, Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing, IEEE Transactions on Software Engineering (TSE), 47(11): 2549-2562, 2021 [IEEE Xplore]
  • Xintao Niu, Changhai Nie, Hareton Leung, Yu Lei, Xiaoyin Wang, Jiaxi Xu and Yan Wang, An Interleaving Approach to Combinatorial Testing and Failure-inducing Interaction Identification, IEEE Transactions on Software Engineering (TSE), 46(6): 584-615, 2020 [IEEE Xplore]
  • Huayao Wu, Changhai Nie, Petke Justyna, Yue Jia and Mark Harman, An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing, IEEE Transactions on Software Engineering (TSE), 46(3): 302-320, 2020 [IEEE Xplore]
  • Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung and Xiaoyin Wang, Identifying Failure-Causing Schemas in the Presence of Multiple Faults, IEEE Transactions on Software Engineering (TSE), 46(2): 141-162, 2020 [IEEE Xplore]
  • Changhai Nie and Hareton Leung, A survey of combinatorial testing, ACM Computing Surveys (CSUR), 43(2): 11:1-11:29, 2011. [ACM digital library]
  • Changhai Nie and Hareton Leung, The Minimal Failure-Causing Schema of Combinatorial Testing, ACM Transactions on Software Engineering and Methodology (TOSEM), 20(4): 15:1-15:38, 2011 [ACM digital library]

教材和专著

  • 区块链技术基础教程:原理、方法及实践, 聂长海 等, 机械工业出版社
  • 应用数据分析:原理与应用, 聂长海 (译), Johnson I. Agbinya 著, 机械工业出版社
  • 现代软件质量保证的概念与方法, 聂长海, 机械工业出版社
  • 软件测试的概念与方法, 聂长海, 清华大学出版社
  • 组合测试, 聂长海, 科学出版社

工具和代码

See more at GitHub

CitHub

组合测试服务系统

visit

CT Repository

组合测试文献库

visit

SAR Repository

软件老化与重生文献库

visit

教学

本科生课程

  • 软件质量保障, 计算机系 (方向核心), 秋季学期(课程主页)
  • 软件测试, 计算机系 (选修), 秋季学期 (课程主页)
  • 操作系统, 计算机系 (平台), 秋季学期 | 人工智能学院 (平台), 春季学期

研究生课程

微课:组合测试

10 分钟的微课视频,旨在简要介绍组合测试的基本理论和方法