域敏感分析相关硕士博士期刊学术论文 - 搜论网

域敏感分析相关论文

提高路径敏感缺陷检测方法的效率及精度研究

路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息，由于其中包含与缺陷检测无关的数据流，因此会导致分析效率......

期刊

静态分析缺陷检测路径敏感误报程序切片上下文敏感分析域敏感分析 static analysis defect detecting path-sen

应用数据类型抽象建模提高软件静态测试精度的方法研究

随着软件产业化的发展,人们对软件的质量、成本和进度提出了越来越高的要求,软件测试逐渐成为了软件开发过程中不可或缺的重要环节......

学位

静态测试内存建模区间运算别名分析指向分析域敏感分析

看过本文同时还关注