返回首页
高精度智能化的软件分析与测试方法
高精度智能化的软件分析与测试方法
完成单位：中国科学院软件研究所、中国人民大学
主要完成人：张健、梁彬、严俊、蔡彦、黄建军、游伟
本项目针对分析测试的精度不高导致部分场景没有被覆盖、测试分析的先验知识难以获取、移动计算和人工智能带来了新的分析测试需求等挑战，从静态分析的分析效能和所需知识获取，以及动态测试中组合测试、模糊测试和并发测试等技术入手，提高了软件分析与测试方法的精度和智能水平，取得了一系列重要研究成果。
<<< 上一篇
大规模异构计算系统并行编程模型与优化理论
<<< 下一篇 基于图的网络性能优化理论与方法
推荐内容
More >>>- · AI时代产学研合作如何创造新价值 CCF UIC论坛
- · 构建可信AI：企业级Agent架构与应用实践 | TF
- · 以数据为中心的AI智能体落地实践 | TF技术前
- · 大模型的知识与记忆 | TF技术前线184期回顾
- · 复杂智能体系统的开发与驾驭——对话宋继强、
- · 共绘BioAI无限未来 ——CCF TF第186期在京成
- · CNCC2026颁奖典礼隆重颁发四大奖项 ——CCF王
- · 2026年CCF大学生启航计划发布典礼在蓉举行
- · 第二届CCF数字孪生创新发展推进会和CCF沈阳联
- · CCCF 2026年10月刊发布
- · 2026 CCF CCSP竞赛手册发布，10月21~22日成都