一.白盒子测试有哪些方法，其中最严格的是什么？
白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。
白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化：
1.语句覆盖每条语句至少执行一次。
2.判定覆盖每个判定的每个分支至少执行一次。
3.条件覆盖每个判定的每个条件应取到各种可能的值。
4.判定/条件覆盖同时满足判定覆盖条件覆盖。
5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。
6.路径覆盖使程序中每一条可能的路径至少执行一次。
二.测试用例
（1）输入条件：
1、 条件1：a+b>c
2、 条件2：a+c>b
3、 条件3：b+c>a
4、 条件4：0<a<200
5、 条件5：0<b<200
6、 条件6：0<c<200
7、 条件7：a==b
8、 条件8：a==c
9、 条件9：b==c
10、条件10：a2+b2==c2
11、条件11：a2+ c2== b2
12、条件12：c2+b2== a2
（2）输出结果：
1、不能组成三角形
2、等边三角形
3、等腰三角形
4、直角三角形
5、一般三角形
6、某些边不满足限制
业务处理流程的思路用流程图表示如下：
仔细分析之后，发现可以把它们分成4组来讨论：
1、 条件1：a+b>c； 条件2：a+c>b； 条件3：b+c>a
这三个表达式有什么特点呢？实际上它们的逻辑是一样的：两个数之和大于第三个数。那么，前面程序的写法就存在逻辑重复的地方，应该把这个逻辑提取到一个函数中。
2、 条件4：0<a<200； 条件5：0<b<200； 条件6：0<c<200
这三个表达式也是同一个逻辑：判断一个数的范围是否在（0, 200）区间内，也应该把这个逻辑提取到一个函数中，去掉重复的逻辑，提高代码的可重用性。
可重用性的好处：比如，现在用户的需求改为了三条边的取值范围要改为[100,400]，那么，按前面的思路来说，需要改3个地方，而现在只需要在一个函数里改1个地方，这就是代码重用的好处。
3、条件7：a==b； 条件8：a==c； 条件9：b==c
这三个表达式的逻辑：判断两个数是否相等。也应该把它提取到一个函数中。
我们进一步来分析一下判断是否是等边三角形或等腰三角形的条件：
（1）前面程序的判断是从最直观的方式（a==b && b==c && a==c）（实际上只需要两个表达式成立即可）三条边都相等来判定是等边三角形；（a==b || b==c || a==c）只有两条边相等来判定是等腰三角形。
（2）转变一下思路：给定三个整数，然后用一个函数来判断这三个整数有几个相等，返回相等的个数，如果返回值等于3，那么它是等边三角形，如果返回值是2，那么它是等腰三角形，否则，它是一般三角形（如果不是直角三角形的话）。
4、条件10：a2+b2==c2 条件11：a2+ c2== b2 条件12：c2+b2== a2
这三个条件的处理方式有两种：
（1）跟前面三组分析一样，把相同的逻辑提取到一个函数中，然后三次调用。
（2）根据直角三角形的特点：斜边是最长的，所以我们可以事先写一个函数来找到最长的边，然后把它赋值给c，这样处理之后，只需要一次调用判定（a2+b2==c2）的函数了。