河海大学计算机与信息学院水利大数据研究所在新型软件质量保障方面取得进展

近日，河海大学信息学部计算机与信息学院水利大数据研究所在新型软件质量保障方面取得进展，提出了一种基于莱维飞行的自适应粒子群优化自动测试方法LEAP来生成对抗性测试用例。

该研究聚焦于自然语言处理类DNN (Deep Neural Networks)软件的鲁棒性需求急剧增长的问题，分析了现有自动化测试技术的两个限制：错误挖掘能力不足和测试效率低下。为此，提出了一种基于莱维飞行的自适应粒子群优化自动测试方法LEAP来生成对抗性测试用例。采用莱维飞行进行总体初始化，以增加生成的测试用例的多样性；为提高LEAP对高维文本样本的全局优化效率，设计了惯性权值自适应更新算子；为减少测试时间，设计了基于贪心策略的突变算子。实验结果表明，LEAP具有更强的错误挖掘能力，与同类方法相比时间开销更低，生成的测试用例具有更好的可迁移性，并显著提高了系统的鲁棒性。

该研究成果以 “LEAP: Efficient and Automated Test Method for NLP Software”为题，被A类国际会议the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)正式接收，河海大学水利大数据研究所的张鹏程教授为该论文的通讯作者，第一作者为河海大学博士研究生肖明轩，其他作者包括中山大学肖艳副教授、墨尔本Royal Melbourne Institute of Technology (RMIT)大学董海高级讲师和河海大学吉顺慧副教授。这是也河海大学博士生为第一作者和河海大学为第一单位的首篇软件工程方向CCF推荐A类国际会议。

近年来，在国家自然科学基金联合项目（重点支持类）、国家自然科学基金面上项目和江苏省自然科学基金等项目的资助下，张鹏程教授团队在智能软件、区块链和边缘服务等新型软件的质量保障方面取得重要进展，在CCF推荐A类国际学术期刊和会议上发表8篇高水平论文。（通讯员：河海大学 张春平）