高精度智能化的软件分析与测试方法
高精度智能化的软件分析与测试方法
完成单位:中国科学院软件研究所、中国人民大学
主要完成人:张健、梁彬、严俊、蔡彦、黄建军、游伟
本项目针对分析测试的精度不高导致部分场景没有被覆盖、测试分析的先验知识难以获取、移动计算和人工智能带来了新的分析测试需求等挑战,从静态分析的分析效能和所需知识获取,以及动态测试中组合测试、模糊测试和并发测试等技术入手,提高了软件分析与测试方法的精度和智能水平,取得了一系列重要研究成果。
<<< 上一篇
大规模异构计算系统并行编程模型与优化理论
<<< 下一篇 基于图的网络性能优化理论与方法