静态测试与动态测试.pptVIP

*广州大学华软软件学院软件工程系软件测试技术(SS0004)*广州大学华软软件学院软件工程系软件测试技术(SS0004)静态测试与动态测试第1页，共32页，星期日，2025年，2月5日主要内容1静态测试与动态测试的含义2代码检查3静态结构分析4程序插桩5逻辑覆盖第2页，共32页，星期日，2025年，2月5日白盒测试可分为静态测试和动态测试。静态测试是一种不通过执行程序而进行测试的技术，其关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。侧重于纠正软件系统在描述、表示和规格上的错误，是任何进一步测试的前提。动态测试需要软件执行，当软件系统在模拟或真实环境中执行之前、之中和之后，对软件系统行为的分析是动态测试的主要特点。它显示一个系统在检查状态下是正确还是不正确。静态测试与动态测试的含义第3页，共32页，星期日，2025年，2月5日最常见的静态测试是找出源代码的语法错误，可由编译器来完成，因编译器可逐行分析检验程序的语法，找出错误并报告。除此之外，测试人员须采用人工方法来检验程序，有些地方存在非语法方面错误，只能通过人工检测的方法来判断。人工检测的方法主要有代码检查法、静态结构分析法等。3.1静态测试第4页，共32页，星期日，2025年，2月5日代码检查法主要是通过桌面检查，代码审查和走查方式，对以下内容进行检查：(1)检查代码和设计的一致性；(2)代码的可读性及对软件设计标准的遵循情况；(3)代码逻辑表达的正确性；(4)代码结构的合理性；(5)程序中不安全、不明确和模糊的部分；(6)编程风格方面的问题等。1代码检查法第5页，共32页，星期日，2025年，2月5日(1)桌面检查(2)代码审查(3)走查代码检查方式第6页，共32页，星期日，2025年，2月5日代码会审是由一组人通过阅读、讨论和争议对程序进行静态分析的过程。代码审查小组成员：组长：能力较强的程序员待审程序的设计者或程序员测试专家第7页，共32页，星期日，2025年，2月5日代码审查时应注意问题：提出的建议应针对程序本身，而不应针对程序员。程序员对整个审查过程采取积极和建设性的态度。第8页，共32页，星期日，2025年，2月5日代码走查(codewalkthrough) 走查是以小组为单元进行代码阅读的，同样也是一系列规程和错误检查技术的集合。人员组成一位经验丰富的程序员一位程序设计语言专家一位程序员新手一位其他不同项目的人员一位该软件编程小组的成员第9页，共32页，星期日，2025年，2月5日必须修改的问题(3)程序没有注释程序=代码+注释注释语句/总代码行数=1/5~1/4子函数max没有返回值类型精度丢失问题建议修改的问题(3)main函数没有返回值类型和参数表(默认为voidmain(void))1行代码只定义1个变量。程序适当加一些空行程序中存在未使用的变量#includestdio.hmax(floatx,floaty){floatz;z=xy?x:y;return(z);}main(){floata,b;intc,d;scanf(%f,%f,a,b);c=max(a,b);printf(Maxis%d\n,c);}第10页，共32页，星期日，2025年，2月5日测试人员通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形、图表，清晰地标识整个软件的组成结构。通过分析上述图表，包括控制流分析、数据据流分析、接口分析、表达式分析等，使其便于阅读与理解，然后可以通过分析这些图表，检查软件是否存在缺陷或错误。2静态结构分析法第11页，共32页，星期日，2025年，2月5日静态结构分析法通常采用以下方法进行源程序的静态分析：(1)通过各种图表对源程序进行静态分析常用的各种引用表主要有：①标号交叉引用表②变量交叉引用表③子程序(宏、函数)引用表④等价表⑤常数表第12页，共32页，星期日，2025年，2月5日①函数调用关系图：列出所