做美食网站的项目背景,昆仑万维做网站,网页广告拦截,天津营销网站建设公司哪家好文章目录 前言一、文档审查二、软件静态分析1.编码规范检查2.软件质量度量 三、代码审查与代码走查1.代码审查2.代码走查 总结 前言
软件白盒测试中的静态测试是指不运行被测软件#xff0c;仅通过分析或检查等手段达到检测的目的。在软件白盒测试中#xff0c;静态测试常通… 文章目录 前言一、文档审查二、软件静态分析1.编码规范检查2.软件质量度量 三、代码审查与代码走查1.代码审查2.代码走查 总结 前言
软件白盒测试中的静态测试是指不运行被测软件仅通过分析或检查等手段达到检测的目的。在软件白盒测试中静态测试常通过人工审查软件的详细设计、代码及相关文档或通过成熟的静态分析软件依据相应的编码规范或标准来检测代码从而达到识别软件潜在的问题和缺陷的目的。 静态测试一般包括文档审查、软件静态分析包括编码规范检测、软件质量度量、代码审查、代码走查等。 一、文档审查
代码编写之前或初期审查软件的架构和设计文档检查文档编写是否符合相关行业的模板要求如军工行业的GJB 438C或各公司内部体系要求的模板确保它们的逻辑清晰、可维护且满足软件需求。这有助于在软件开发早期发现并解决潜在的问题。
二、软件静态分析
软件静态分析通常是利用自动化工具来扫描代码识别常见的编程错误、潜在的安全漏洞、代码复杂度问题等。这些工具可以提供详细的报告和改进建议帮助开发人员快速定位和解决问题。这其中又可以细分为编码规范/标准检查、软件质量度量。
1.编码规范检查
编码规范/标准检查是一种软件工程中常用的技术和方法它通过工具自动化检查的方法来判断软件代码是否满足某些编码规范/标准。常用的编码规范/标准包括MISRA C/C、GJB 8114、AUTOSAR C等相关介绍如下 以Testbed软件为例进行编码规范/标准检查可参考我之前写的文章《LDRA Testbed软件静态分析_操作指南》 以CTest软件为例进行编码规范/标准检查可参考我之前写的文章《Parasoft CTest软件静态分析操作指南_编码规范/标准检查》。
2.软件质量度量
软件质量度量是评估软件质量的过程通常也是通过工具对代码进行自动化检查涉及一系列指标和量化标准以确保软件满足其预定的功能、性能、安全性和可靠性要求。常用的软件质量度量项包括代码注释率、圈复杂度、扇入数、扇出数、调用层级数等。 以Testbed软件为例进行软件质量度量可参考我之前写的文章《LDRA Testbed软件静态分析_软件质量度量》 以CTest软件为例进行软件质量度量可参考我之前写的文章《Parasoft CTest软件静态分析操作指南_软件质量度量》。
三、代码审查与代码走查
不管是代码审查还是代码走查一般都需要一张代码审查/走查单检查单上会列举一系列的检查项以便审查/走查工作的开展。以下是一个代码审查单示例
1.代码审查
代码审查的参与者主要是开发人员也可以邀请部分测试人员他们通过对代码的阅读、讲解、讨论对程序进行静态审查。其基本流程如下
2.代码走查
代码走查与代码审查类似区别在于1、代码走查的参与者不只是开发人员一般还包括测试人员、系统工程师、项目经理等2、代码走查不是简单的读程序和对照审查单进行检查而是让走查人员“充当”计算机设想出各种测试用例并假想运行一遍结合实际用例展开讨论、质疑。 总结
软件白盒测试中的静态测试是一种重要的软件测试方法它通过对软件设计、体系结构和代码的详细审查来发现潜在的错误和缺陷。静态测试的优势在于能够早期发现问题、提高代码质量和促进技术交流。在软件开发过程中将静态测试与动态测试相结合可以更全面地保障软件质量。
