2018年10月26日，在中国计算机学会（CCF）在杭州隆重举行中国计算机大会（CNCC2018）上，软件所校友杨波、徐珞、毕考和软件所老师吴际、刘超的论文“一种软件测试需求建模及测试用例生成方法”荣获CCF会刊《计算机学报》优秀论文奖（2013-2017）。本次优秀论文是业内专家从《计算机学报》2013年至2017年发表的论文中进行遴选，最终评定3篇为优秀论文。华北计算机研究所创新中心徐珞主任作为获奖嘉宾出席CCF颁奖晚宴。

本次获奖论文针对工作期间面临的大型信息系统需求描述不准确、需求与验证脱节等问题，创新性的提出了大型信息系统测试需求描述模型。在此基础上，采用模型驱动方法，以形式化需求模型为输入，自动化获取测试用例，指导信息系统试验验证。本次CNCC大会评审专家认为该论文提出方法和模型在大型信息系统需求分析方面有重要突破，能够有效解决目前大型信息系统建设面临的测试需求描述困难等问题。