高精度智能化的软件分析与测试方法
高精度智能化的软件分析与测试方法
完成单位:中国科学院软件研究所、中国人民大学
主要完成人:张健、梁彬、严俊、蔡彦、黄建军、游伟
本项目针对分析测试的精度不高导致部分场景没有被覆盖、测试分析的先验知识难以获取、移动计算和人工智能带来了新的分析测试需求等挑战,从静态分析的分析效能和所需知识获取,以及动态测试中组合测试、模糊测试和并发测试等技术入手,提高了软件分析与测试方法的精度和智能水平,取得了一系列重要研究成果。
<<< 上一篇
大规模异构计算系统并行编程模型与优化理论
<<< 下一篇 基于图的网络性能优化理论与方法
推荐内容
More >>>- · CCF企智会走进江苏金服——共筑数智生态 共谋
- · 早鸟票正式开启!FCES2025相约长沙,抢占未来
- · 今日CNCC2025启动会在京召开,筹备工作全面展
- · YEF2025大会日程揭晓,早鸟票最后一天倒计时
- · 最后3天!YEF2025早鸟票截止倒计时,现在报名
- · 首届CCF算法能力大赛总决赛开赛!探索教育、
- · 第二届CCF中国数字金融大会(CDFC 2025)优秀
- · 从时代之问到破题之道和未来之约,梅宏院士为
- · YEF2025早鸟票倒计时7天,组团参会更优惠!
- · 第二届CCF中国数字金融大会(CDFC 2025)优秀
- · YEF2025早鸟票倒计时10天,抓紧时间报名参会