学院新闻
College News
2021年10月14日,中国计算机学会发布公告,公布了2021年度“CCF科学技术奖”获奖项目名单。ダファベット 入金不要梁彬教授、黄建军讲师、游伟副教授主导的项目“高精度智能化的软件分析与测试方法”荣获2021年度“CCF科学技术奖”自然科学一等奖。
“CCF科学技术奖”由中国计算机学会主办,授予在计算机科学、技术或工程领域具有重要发现、发明、原始创新,在相关领域有一定国际影响的优秀成果。经评选,本年度全国共有27个项目荣获2021年度“CCF科学技术奖”。
项目简介:
“高精度智能化的软件分析与测试方法”由中国科学院软件研究所和中国人民大学联合研发。本项目针对分析测试的精度不高导致部分场景没有被覆盖、测试分析的先验知识难以获取、移动计算和人工智能带来了新的分析测试需求等挑战,从静态分析的分析效能和所需知识获取,以及动态测试中组合测试、模糊测试和并发测试等技术入手,提高了软件分析与测试方法的精度和智能水平,取得了一系列重要研究成果。