高精度智能化的软件分析与测试方法
CCF科学技术奖
高精度智能化的软件分析与测试方法
完成单位:中国科学院软件研究所、中国人民大学
主要完成人:张健、梁彬、严俊、蔡彦、黄建军、游伟
本项目针对分析测试的精度不高导致部分场景没有被覆盖、测试分析的先验知识难以获取、移动计算和人工智能带来了新的分析测试需求等挑战,从静态分析的分析效能和所需知识获取,以及动态测试中组合测试、模糊测试和并发测试等技术入手,提高了软件分析与测试方法的精度和智能水平,取得了一系列重要研究成果。
<<< 上一篇
大规模异构计算系统并行编程模型与优化理论
<<< 下一篇 基于图的网络性能优化理论与方法
读完这篇文章后,您心情如何?
推荐内容
More >>>- · 大数据、大算法、大模型与产业发展 | CCDE20
- · 智能汽车之产学研协同突破创新 | CCDE2023专
- · CCF C³-18@小红书:智能推荐与搜索丨开始报名
- · 数智新动能 产业新发展 | CCDE2023专题论坛
- · 数字孪生技术与产业发展 | CCDE2023专题论坛
- · CCF VC“劳模进校园”活动走进广东职业技术学
- · 金融信创、数字人民币及数据资产 | CCDE2023
- · 东数西算与城市算力网发展 | CCDE2023专题论
- · CCCF 2023年第3期出版——“知识图谱的开源与
- · CCF智慧交通分会首批执行委员名单发布
- · CCF邀你与数字经济领域专家和明星企业共商共
所有评论仅代表网友意见