为庆祝南华大学合并组建20周年暨建校62周年， 2020年10月10日下午3点在图书馆一楼学术报告厅举办了计算机学院2020年度创新论坛第三次学术会议。校党委副书记阳小华教授为大家作了题为“蜕变测试与核电设计软件”的学术报告。这是阳教授连续第三次在论坛上为大家作报告。计算机学院万亚平副院长主持本次学术报告活动。

软件测试是软件质量保证和软件验证的主流方法，然而，Oracle问题使得传统测试方法失效。蜕变测试是颇有前途的解决方案之一，是近年研究热点。主阳小华教授在会议上给我们系统地介绍了蜕变测试理论、应用和主要研究内容，结合我校承担的核电设计软件测试项目，阐述了课题组在蜕变测试的研究框架，说明了当前主要研究内容和思考，包括对传统软件验证与确认模型的改进、蜕变关系动态发现方法、蜕变关系选择策略以及基准题衍生技术等。

通过本次报告的一些讨论内容将引领研究生们进入一个崭新的研究方向，激发同学们对软件测试的兴趣，吸引更多的对科研充满热情的同学参与到课题组的研究与工程服务。