嵌入式测试基础培训剖析.docxVIP

嵌入式测试基础静态测试1.定义：静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。因为静态测试方法并不真正运行被测程序，只进行特性分析。所以，静态方法常常称为“分析”，静态测试是对被测程序进行特性分析方法的总称。2.适用对象：计算机软件单元、计算机软件部件、计算机软件配置项的源代码。3.静态分析的主要内容： 静态分析主要包括代码检查、静态结构分析、软件质量度量、错误分析等。（1）静态结构分析：静态结构分析是以图形的方式来表达程序的内部结构，例如函数调用关系图、函数内部控制流图。函数调用关系图：以直观的图形方式描述一个应用程序中各个函数的调用和被调用关系； b.函数内部控制流图：显示一个函数的逻辑结构，由许多节点组成，一个节点代表一条语句或数条语句，连接结点的叫边，边表示节点间的控制流向。软件质量度量：《GB/T 16260-2006 软件工程 产品质量》是目前国内软件质量的国家强制质量标准，它依据ISO/IEC 9126，以McCall质量模型为基础，从外部质量、内部质量和使用质量3个层面全面刻画了软件质量。在GB/T 16260-2006的外部质量和内部质量模型中，提出了功能性、可靠性、效率、可移植性、易用性和可维护性6个质量特性及27个子特性