职称

研究员

电子邮件

zenghongwei@shu.edu.cn

办公室

计819室

研究方向

软件形式化方法、软件测试

个人简介

曾红卫，男，上海大学计算机学院研究员，博士生导师。主要研究领域：软件工程、软件测试和验证。主持完成了国家自然科学基金科研项目，上海市自然科学基金等多项课题；作为副组长参与完成国家863计划课题，作为核心成员参与973项目、国家自然科学基金及上海市科委项目多项；在国内外学术期刊和国际学术会议上发表论文70余篇。

教育背景

2003-3 至 2008-7, 上海大学, 控制理论与控制工程, 博士

1986-9 至 1989-7, 上海科学技术大学, 计算机应用, 硕士

1982-9 至 1986-7, 湘潭大学, 计算机软件, 学士

主要工作经历

2009-03 至 今, 上海大学计算机工程与科学学院, 研究员

1998-03 至 2009-02, 上海大学, 计算机工程与科学学院, 副教授

1994-05 至 1998-02, 上海大学, 计算机工程与科学学院, 讲师

科研项目

国家自然科学基金委员会,融合深度学习和形式化验证的云制造网构软件构建和可靠性保障技术, 2024-01-01 至 2026-12-31,在研，参与

代表性论文或专著

[1] Hongwei Zeng, Zhongzhi Zhu, Ye Wang, Zhengzhe Xiang, Honghao Gao. Periodic Collaboration and Real-Time Dispatch Using an Actor–Critic Framework for UAV Movement in Mobile Edge Computing. IEEE Internet of Things, 2024, 11(12): 21215 – 21226. 10.1109/JIOT.2024.3366506

[2] Du, X.; Zeng, H.; Chen, S.;Lei, Z. RNNCon: Contribution Coverage Testing for Stacked Recurrent Neural Networks. Entropy 2023, 25(3), 520; https://doi.org/10.3390/e25030520.

[3] Wei-Wei Lin,Hong-Wei Zeng, Kim, Jung Yoon A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case. WIRELESS COMMUNICATIONS & MOBILE COMPUTING.

[4] Huihui, C., & Hongwei, Z. (2021). Optimizing demand-driven null dereference verification via merging branches. Expert Systems,39(6), e12707. https://doi.org/10.1111/exsy.12707.

[5] 王晓琳，曾红卫，林玮玮. 敏捷开发环境中的回归测试优化技术. 计算机学报, 2019, 42(10): 2323-2338