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

Group in Intelligent Software Technology (GIST)

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

新闻

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

团队成员

教师

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

博士生

徐立鑫
Lixin Xu
胡圣佑
Shengyou Hu
聂大为
Dawei Nie
姚天昂
Tianang Yao
余森垚
Senyao Yu
尧利利
Lili Yao
王靖灵
Jingling Wang
王鹏
Peng Wang
陈煜磊
Yulei Chen

硕士生

夏培萱
Peixuan Xia
丘书玮
Shuwei Qiu
谢润烁
Runshuo Xie
潘振宇
Zhenyu Pan
郑贺
He Zheng
胡成悦
Chengyue hu
徐雁齐
Yanqi Xu
宋骥原
Jiyuan Song
吕文洋
Wenyang Lv
周振杰
Zhenjie Zhou

研究方向

区块链新技术与质量保证

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

智能软件测试

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

软件生态系统分析

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

故障分析与修复

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


代表成果

研究论文

  • Yan Wang, Xintao Niu, Huayao Wu, Changhai Nie, Lei Yu, Xiaoyin Wang, Jiaxi Xu, Top-down: A better strategy for incremental covering array generation Information and Software Technology (IST), Volume 178, 2025 [ScienceDirect]
  • Peng Wang, Shengyou Hu, Huayao Wu, Xintao Niu, Changhai Nie, and Lin Chen A Combinatorial Interaction Testing Method for Multi-Label Image Classifier International Symposium on Software Reliability Engineering (ISSRE), 2024, accepted [GitHub]
  • Shengyou Hu, Huayao Wu, Peng Wang, Jing Chang, Yongjun Tu, Xiu Jiang, Xintao Niu, Changhai Nie ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems International Conference on Automated Software Engineering (ASE), 2023: 230-242 [IEEE Xplore]
  • Huayao Wu, Senyao Yu, Xintao Niu, Changhai Nie, Yu Pei, Qiang He, and Yun Yang, Enhancing Fault Injection Testing of Service Systems via Fault-Tolerance Bottleneck, IEEE Transactions on Software Engineering (TSE), 49(8): 4097-4114, 2023 [IEEE Xplore]
  • 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 分钟的微课视频,旨在简要介绍组合测试的基本理论和方法