• 软件测试技术
  • 软件测试博客
  • 软件测试视频
  • 开源软件测试技术
  • 软件测试论坛
  • 软件测试沙龙
  • 软件测试资料下载
  • 软件测试杂志
  • 软件测试人才招聘
    暂时没有公告

字号: | 推荐给好友 上一篇 | 下一篇

程序的静态测试之源程序静态分析

发布: 2008-9-11 14:47 | 作者: 网络转载 | 来源: 测试时代采编 | 查看: 161次 | 进入软件测试论坛讨论

领测软件测试网 通常采用以下一些方法进行源程序的静态分析。

  ① 生成各种引用表

  直接从表中查出说明/使用错误等。如,循环层次表、变量交叉引用表、标号交叉引用表等。

  为用户提供辅助信息。如,子程序(宏、函数)引用表、等价(变量、标号)表、常数表等。

  用来做错误预测和程序复杂度计算。如,操作符和操作数的统计表等。

  ② 静态错误分析

  静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构。

  类型和单位分析:为了强化对源程序中数据类型的检查,发现在数据类型上的错误和单位上的不一致性,在程序设计语言中扩充了一些结构。如单位分析要求使用一种预处理器,它能够通过使用一般的组合/消去规则,确定表达式的单位。

  引用分析:最广泛使用的静态错误分析方法就是发现引用异常。如果沿着程序的控制路径,变量在赋值以前被引用,或变量在赋值以后未被引用,这时就发生了引用异常。为了检测引用异常,需要检查通过程序的每一条路径。也可以建立引用异常的探测工具。

  表达式分析:对表达式进行分析,以发现和纠正在表达式中出现的错误。包括:在表达式中不正确地使用了括号造成错误。数组下标越界造成错误。除式为零造成错误。对负数开平方,或对π求正切值造成错误。以及对浮点数计算的误差进行检查。

  接口分析:关于接口的静态错误分析主要检查过程、函数过程之间接口的一致性。因此要检查形参与实参在类型、数量、维数、顺序、使用上的一致性; 检查全局变量和公共数据区在使用上的一致性。

延伸阅读

文章来源于领测软件测试网 https://www.ltesting.net/

TAG: 程序 静态分析


关于领测软件测试网 | 领测软件测试网合作伙伴 | 广告服务 | 投稿指南 | 联系我们 | 网站地图 | 友情链接
版权所有(C) 2003-2010 TestAge(领测软件测试网)|领测国际科技(北京)有限公司|软件测试工程师培训网 All Rights Reserved
北京市海淀区中关村南大街9号北京理工科技大厦1402室 京ICP备2023014753号-2
技术支持和业务联系:info@testage.com.cn 电话:010-51297073

软件测试 | 领测国际ISTQBISTQB官网TMMiTMMi认证国际软件测试工程师认证领测软件测试网