高精度智能化的软件分析与测试方法
CCF科学技术奖
高精度智能化的软件分析与测试方法
完成单位:中国科学院软件研究所、中国人民大学
主要完成人:张健、梁彬、严俊、蔡彦、黄建军、游伟
本项目针对分析测试的精度不高导致部分场景没有被覆盖、测试分析的先验知识难以获取、移动计算和人工智能带来了新的分析测试需求等挑战,从静态分析的分析效能和所需知识获取,以及动态测试中组合测试、模糊测试和并发测试等技术入手,提高了软件分析与测试方法的精度和智能水平,取得了一系列重要研究成果。
<<< 上一篇
大规模异构计算系统并行编程模型与优化理论
<<< 下一篇 基于图的网络性能优化理论与方法
读完这篇文章后,您心情如何?
推荐内容
More >>>- · 大会主题确定,期待在横店有新突破 | CNCC202
- · 团报倒计时5天,YEF2024宁波智启新局,等你启
- · CSP高分说 | 武汉大学刘锡锐:CSP认证的特点
- · “CCF终身成就奖”获得者、中国科学院院士张
- · 风头正劲!CCF大模型论坛(FoLM)正式成立,撬
- · 聚焦CCDE2024 | 智能建造专题会议:智能建造
- · “CCF终身成就奖”获得者、中国科学院院士张
- · 聚焦CCDE2024丨数字金融专题会议在苏州举行
- · 要素革新,乘数前行|CCDE2024“数据要素X”
- · CSP高分说 | 南京大学吴轲:回首与CCF相伴的
- · CNCC近期咨询热点问题解答,你想知道的都在这
所有评论仅代表网友意见