现有一个计算机程序，根据输入的三条边的值，判断是否构成三角形，三边应为正整数，分别构成非三角形、一般三角形、等腰三角形和等边三角形。针对上述程序，分别使用等价类划分法、边界值分析法、判定表驱动法三种方法进行测试用例的设计。

测试用例的设计可以分为以下三个步骤：

1. 等价类划分法

等价类划分法是根据程序的输入和输出特性，将所有可能的输入值划分为若干个等价类，使得每个等价类中的数据具有相同的功能和行为特性，从而能够用尽可能少的测试用例去覆盖所有等价类。对于本程序，我们可以将输入划分为以下几个等价类：

- 边界情况：输入值为1、2、100等边界值，测试程序是否能够正确处理边界情况；
- 非三角形情况：输入三条边构不成三角形，测试程序是否能够判断三条边不能构成三角形；
- 一般三角形情况：输入三条边可以构成一般三角形，测试程序是否能够正确判断三角形类型；
- 等腰三角形情况：输入三条边可以构成等腰三角形，测试程序是否能够正确判断三角形类型；
- 等边三角形情况：输入三条边可以构成等边三角形，测试程序是否能够正确判断三角形类型。

2. 边界值分析法

边界值分析法是一种测试用例设计方法，它通过对输入数据的边界值进行分析，选择最具代表性的测试用例，以达到尽可能高的软件测试覆盖率。对于本程序，我们可以将输入值的边界值分为以下几类：

- 最小值测试：输入值为1，测试程序是否能够正确处理最小值情况；
- 最大值测试：输入值为100，测试程序是否能够正确处理最大值情况；
- 边界测试：输入值为2、99、100等边界值，测试程序是否能够正确处理边界情况；
- 一般测试：输入值为3、4、5等一般情况，测试程序是否能够正确处理一般情况。

3. 判定表驱动法

判定表驱动法是一种测试用例设计方法，它通过对程序的输入和输出之间的关系进行分析，提取出所有可能的输入和输出之间的关系，并将它们组合成一个判定表，以此来设计测试用例。对于本程序，我们可以将输入和输出之间的关系用以下判定表表示：

| 输入 | 输出 |
| ------------ | ------------ |
| 不能构成三角形 | 非三角形 |
| 一般三角形 | 三角形 |
| 等腰三角形 | 三角形 |
| 等边三角形 | 三角形 |
| 任意三角形 | 非三角形 |
| 任意三角形 | 一般三角形 |
| 任意三角形 | 等腰三角形 |
| 任意三角形 | 等边三角形 |

根据判定表，我们可以设计以下测试用例：

- 输入值为(1, 2, 3)，预期输出为"非三角形"；
- 输入值为(3, 4, 5)，预期输出为"一般三角形"；
- 输入值为(5, 5, 6)，预期输出为"等腰三角形"；
- 输入值为(6, 6, 6)，预期输出为"等边三角形"；
- 输入值为(2, 2, 5)，预期输出为"非三角形"；
- 输入值为(2, 3, 4)，预期输出为"一般三角形"；
- 输入值为(5, 5, 8)，预期输出为"等腰三角形"；
- 输入值为(7, 7, 7)，预期输出为"等边三角形"。

综上所述，我们可以通过等价类划分法、边界值分析法和判定表驱动法三种方法设计出不同的测试用例，以覆盖可能的输入和输出情况，保证程序的正确性。