首页 | 官方网站   微博 | 高级检索  
     

程序静态分析技术与工具
引用本文:杨宇,张健.程序静态分析技术与工具[J].计算机科学,2004,31(2):171-174.
作者姓名:杨宇  张健
作者单位:中国科学院软件研究所,计算机科学重点实验室,北京100080
基金项目:国家杰出青年科学基金(60125207),九七三计划(G1998030600)
摘    要:静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。

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

Static Analysis of Programs:Techniques and Tools
YANG Yu ZHANG Jian.Static Analysis of Programs:Techniques and Tools[J].Computer Science,2004,31(2):171-174.
Authors:YANG Yu ZHANG Jian
Abstract:Static analysis is of significant importance to guarantee software quality and improve software productivity. In this paper,we give an overview of the strategies that are used widely in static software analysis and compare static analysis tools that have been developed.
Keywords:Program correctness  Static analysis  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号