返回首页
高精度智能化的软件分析与测试方法
CCF科学技术奖
高精度智能化的软件分析与测试方法
完成单位：中国科学院软件研究所、中国人民大学
主要完成人：张健、梁彬、严俊、蔡彦、黄建军、游伟
本项目针对分析测试的精度不高导致部分场景没有被覆盖、测试分析的先验知识难以获取、移动计算和人工智能带来了新的分析测试需求等挑战，从静态分析的分析效能和所需知识获取，以及动态测试中组合测试、模糊测试和并发测试等技术入手，提高了软件分析与测试方法的精度和智能水平，取得了一系列重要研究成果。
<<< 上一篇
大规模异构计算系统并行编程模型与优化理论
<<< 下一篇 基于图的网络性能优化理论与方法
读完这篇文章后，您心情如何？
京公网安备 11010802032778号
所有评论仅代表网友意见