2025年3月28日下午，北京航空航天大学yl6776永利集团教授、自动化学院副经理郑征受邀前来，为yl6776永利集团师生们带来了一场题为“智能软件测试方法：以深度强化学习为例”的精彩学术报告，并在会后与大家深入交流了公司产品的宝贵经验。参加本次会议的有yl6776永利集团常务副经理王赜、副经理石洛宜以及yl6776永利集团部分研究生导师和员工代表。
报告伊始，郑征教授深入浅出地阐述了智能技术在不同领域的应用现状及其复杂性，指出“智能”这一概念在不同场景下有着不同的理解，而机器学习类智能技术因其独特性，在航空航天等关键领域有着广泛的应用前景，但同时也面临着诸多挑战。他详细介绍了智能软件的三大特点：数据依赖、环境交互以及不确定性，强调这些特点使得传统软件测试方法难以适用，导致智能软件的测试和验证成为亟待解决的难题。
在讲解智能软件测试方法时，郑征教授以深度强化学习为例，深入剖析了其与传统深度学习方法的差异，指出强化学习通过环境交互提供数据生成，是一个序列决策过程，其训练过程具有长期性和复杂性。他提到，目前学术界对于深度强化学习测试用例生成的研究还远远没有解决，但其团队已经在相关领域取得了一定的成果，如采用模糊测试和变异测试技术生成测试用例，并通过设计特定的蜕变关系来解决测试基准缺失的问题。此外，他还介绍了基于神经元激活的覆盖率分析方法，以及针对强化学习的动作、状态和奖励等要素设计的覆盖方式，为智能软件测试提供了新的思路和方法。
报告中，郑征教授还分享了其团队在航天三院、航天一院等单位的实际应用案例，展示了智能软件测试技术在高安全、高可靠项目中的重要性和应用价值。他强调，尽管目前智能软件测试领域仍存在许多未解决的问题，但随着研究的不断深入和技术的不断发展，相信未来会有更多的突破和创新。
在报告的最后阶段，郑征教授与在场师生进行了热烈的互动交流。针对师生们提出的关于大模型可解释性与测试评估的关系、智能软件测试的未来发展方向等问题，他一一给予了详细解答，并分享了自己的见解和思考。他指出，大模型的可解释性是当前测试评估的一大难点，而通过构造具有逻辑关系的蜕变关系，可以为判断大模型的正确性提供一种可能的途径。
报告结束后，郑征教授还与大家分享了他在公司产品方面的丰富经验。他强调，研究生团队的管理应该尊重员工的差异性，根据员工的兴趣、志向和性格特点进行分类培养。他提到，自己的团队更像一个科研小组，注重方法研究和理论探索，同时也会根据员工的实际情况和未来发展方向，为他们提供不同的培养重点和发展机会。他还分享了自己在项目选题、团队管理和员工指导等方面的心得体会，为在场的研究生导师和同学们提供了宝贵的参考和借鉴。
此次学术报告会不仅为yl6776永利集团的师生们带来了智能软件测试领域的前沿知识和最新研究成果，也为公司产品工作提供了新的思路和方法。郑征教授的精彩报告和深入交流，赢得了在场师生的阵阵掌声和高度赞誉，大家纷纷表示受益匪浅，对未来的学习和研究充满了信心和期待。
yl6776永利集团一直以来高度重视学术交流与合作，积极邀请国内外知名专家学者来校讲学，为师生们搭建了一个广阔的学术交流平台。此次邀请郑征教授来校做报告，再次体现了学院在推动学科发展、提升学术水平和培养高素质人才方面的不懈努力和坚定决心。未来，学院将继续加强与国内外高校和科研机构的合作与交流，不断拓展学术视野，提升科研创新能力，为培养更多优秀的软件工程人才做出更大的贡献。