高级搜索
个人中心
机构中心
退出
登录
注册
专业板块
专题板块
大众板块
高级搜索
个人中心
机构中心
退出
高级搜索
登录
注册
总分类
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
艺术学
返回总分类
理学
数学
系统科学
统计学
物理学
力学
化学
天文学
地理学
中国地理
世界地理
地质学/地质资源与地质工程
地球物理学
海洋科学
大气科学
生物学
生态学
心理学
计算机科学技术
科学技术史
首页
. 理学
. 计算机科学技术
全部分类
全部
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
艺术学
执行学科
分支
全部
全部
1
/
1
程序分析
/
program analysis
/
/
program analysis
/
一种自动分析计算机程序的正确性、健壮性、安全性和性能等特性的方法。
静态分析
/
static analysis
/
static analysis
程序分析
在不运行程序代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证程序代码是否满足规范性、安全性、可靠性、可维护性等指标的一种程序分析技术。
动态分析
/
dynamic analysis
/
dynamic analysis
程序分析
通过在指定测试用例下运行给定的程序，并分析程序运行过程或结果，用于缺陷检测等。
< 上一页
1
下一页 >
京公网安备 11010202008139号
