软件测试

1.控制流测试

2.数据流测试

3.逻辑覆盖测试

回归测试是指软件被修改以后进行的再次测试过程。

SESE图：在某些图中。所有的测试路径均开始于一个节点并且终止于一个单一节点。我们把这样的图称作单入/单出 或者SESE图。

简单路径：在一条从Ni到Nj的路径中，除了第一个节点和最后一个节点可能是同一节点的情况，如果没有节点在路径中的出现多于一次，我们称这条路径是简单的。也就是说，虽然简单路径本身可以结束为一个环，但是它没有内部的环。简单路径的一个非常有用的方面是：任何路径都可以通过组合简单路径来创建。

主路径：即使是非常小的程序也可能有大量的简单路径。这些简单路径中的大部分是不值得被显式强调的，因为它们是某些其他简单路径的子路径。对于一个简单路径的覆盖标准，我们尽量避免罗列简单路径的集合。由于这个原因，我们仅仅列出那些最长的简单路径。为了澄清这个概念，我们给最长的简单路径一个正式的定义，称之为主路径。

主路径定义：一条从Ni到Nj的路径，如果是一个简单路径且不会作为任何其他简单路径的固有子路径出现，我们称这条路径为主路径。

主路径覆盖（PPC)：TR包含图G中的每一条主路径。

数据流标准:以下的测试标准基于这样的假设，为了充分地测试一个程序，我们应该关注数值的流。特别地，我们应该努力保证在程序中一个点上创建的数值是正确创建和使用的。这要通过关注数值的定义（definition）和（use）来完成。定义（def）是一个在内存中存储变量值的位置（如赋值、输入等）。使用是一个变量的值被访问的位置。数据流测试标准的依据是数值从defs传递到uses，我们把这叫做du-对（du-pairs)(在测试文献中它们也叫做definition-use 、def-use 和du关联）。数据流标准的思想是以不同的方式执行du-pairs.