计算机科学 ›› 2004, Vol. 31 ›› Issue (2): 171-174.

• 计算机网络与信息安全 • 上一篇    下一篇

程序静态分析技术与工具

杨宇 张健   

  1. 中国科学院软件研究所计算机科学重点实验室,北京100080
  • 出版日期:2018-11-17 发布日期:2018-11-17

  • Online:2018-11-17 Published:2018-11-17

摘要: 静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。

关键词: 软件开发 软件测试 软件生产率 软件质量 静态程序分析工具 程序设计语言 计算机

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!