软件测试 9第九章路径测试ppt课件.ppt

《软件测试 9第九章路径测试ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件测试白盒测试(White-boxTesting)又称结构测试、逻辑驱动测试或基于程序的测试(Program-basedTesting)。白盒测试是根据被测程序的内部结构设计测试用例的一类测试。因为它涉及到的是软件设计的细节。白盒测试关注的是被测对象的内部状况，需要跟踪源代码的运行。测试者必须理解软件内部设计与程序实现，并且能够编写测试驱动程序，一般由开发人员兼任测试人员的角色。白盒测试白盒测试结构性测试的方法：逻辑驱动、基路径测试、数据流测试等。结构性测试力求提高测试覆盖率。结构性测试主要用

2、于软件验证。“我们在正确地构造一个系统吗？”功能性测试是一种确认技术。“我们在构造一个正确的系统吗？”白盒测试原则：保证一个模块中的所有独立路径至少被使用一次；对所有逻辑值均需测试true和false;在上下边界及可操作范围内运行所有循环；检查内部数据结构以确保其有效性。测试方法路径测试数据流测试黑盒测试与白盒测试的比较黑盒测试：从用户观点出发，按规格说明书要求的输入数据与输出数据的对应关系设计测试用例。因此它是根据程序外部特征进行测试。白盒测试：根据程序内部逻辑结构进行测试。这两类测试方法是从

3、完全不同的起点出发，并且是两个完全对立的出发点。这两类方法各有侧重，在测试的实践中都是有效和实用的。在进行单元测试时大都采用白盒测试，而在集成测试或系统测试中大都采用黑盒测试。黑盒测试是从用户的观点出发，根据程序外部特性进行的测试。如果外部特性本身有问题或规格说明的规定有误，用黑盒测试方法是发现不了的。黑盒测试只能观察软件的外部表现，即使软件的输入输出都是正确的，却并不能说明软件就是正确的。因为程序有可能用错误的运算方式得出正确的结果，这种情况只有白盒测试才能发现真正的原因。白盒测试能发现程序里

4、的隐患，象内存泄漏、误差累计问题。在这方面，黑盒测试存在严重的不足。有了“黑盒”测试为什么还要“白盒”测试？第三部分结构性测试图论路径测试数据流测试结构性测试回顾测试人员的图论用于测试的图程序图的定义传统定义：节点是程序语句，边表示控制流改进定义：节点要么是整个语句，要么是语句的一部份，边表示控制流常用的程序图串行If-Then1程序图续…………条件If-Then-Else前测试环路后测试环路对于后面三种情况，请举出常用的程序语句2有向图简单的说：有向图就是在图中增加了方向。定义：有向图D=（V

5、，E）包含：一个节点的有限集合：V={n1,n2,……,nm}，一个边的集合：E={e1,e2,……,ep}，其中每条边ek=，是节点ni,nj∈V的一个对偶。n3n7n6n4n5n2n1e1e4e3e5e2该图与前面不同之处在于节点的有序对偶：E={,,,,}有向图的表示：内度与外度内度与外度内度：有向图中节点的内度，是将该节点作为终止节点的不同边的条数，记为：indeg（n）外度：有向图中的外度，是将该节点作

6、为开始节点的不同边的条数，记为：outdeg（n）例如：n3n7n6n4n5n2n1e1e4e3e5e2图中各节点的内度和外度：indeg(n1)=;outdeg(n1)=indeg(n2)=;outdeg(n2)=indeg(n3)=;outdeg(n3)=indeg(n4)=;outdeg(n4)=indeg(n5)=;outdeg(n5)=indeg(n6)=;outdeg(n6)=indeg(n7)=;outdeg(n7)=节点的类型源节点：内度为0的节点吸收节点：外度为0的节点，又称为

7、汇节点传递节点：内度不为0，并且外度不为0的节点孤立节点：既是源节点又是汇节点源节点和吸收节点构成图的外部边界节点类型n3n7n6n4n5n2n1e1e4e3e5e2左图中：n1，n3，n7是源节点n5，n6，n7是汇节点n2，n4是传递节点有向图的相邻矩阵定义：有m个节点的有向图D=（V，E）的相邻矩阵是一种m×m矩阵：A=（a（i，j））,a（i，j）是1，当且仅当从节点i到节点j有一条边，否则该元素为0。有向图的相邻矩阵不一定是对称的。其中行的和是节点的外度，列的和是节点的内度。例：n1n

8、2n3n4n5n6n7n10101000n20000100n30001000n40000010n50000000n60000000n70000000n3n7n6n4n5n2n1e1e4e3e5e2路径与半路经路径定义：（有向）路径是一系列边，使得对于该序列中的所有相邻边对偶ei、ej来说，第一条边的终止节点是第二条边的初始节点。环路是一个在同一个节点上开始和结束的有向路径半路径定义：（有向）半路径是一系列边，使得对于该序列中至少有一个相邻边对偶ei、ej来说，第一条边的初始节点是第二条边的初始节