根据三角形3边的关系，实现一个判断三角形的程序，要求如下： （1） 根据三角形3边的关系写出一段判断三角形的伪代码； （2） 画出流程图； （3） 绘制程序的控制流图； （4） 设计三角形程序判定覆盖

（1）伪代码实现（Python风格）：

def is_triangle(a, b, c):
    if a + b > c and a + c > b and b + c > a:
        return "这是个合法的三角形"
    else:
        return "这不是个合法的三角形"

a = float(input("请输入三角形的第一条边长："))
b = float(input("请输入三角形的第二条边长："))
c = float(input("请输入三角形的第三条边长："))

if is_triangle(a, b, c) == "这是个合法的三角形":
    print("这组边可以构成三角形")
else:
    print("这组边无法构成三角形")

（2）流程图示例：

       输入边长
         |
   +---------+
   |          V
条件判断 --> 结果输出
   |          |
V否     是      V
   |          |
+-----+-----+
|     |     |
V 输出 V 输出

（3）控制流图：

            Start
              |
              V
   +---------------+---------------+
   |                |                |
输入边长   判断条件     判断结果      输出结果
   V                V               V
a+b>c && a+c>b && b+c>a   否           是
   ^                ^               ^
   |                |               |
V                 V               V
                  End

（4）程序判定覆盖：为了全面测试，我们需要考虑所有可能的条件分支情况。对于这个程序来说，有以下几种情况需要测试：
- 边长都满足a+b>c, a+c>b, b+c>a，即三边能构成一个三角形。
- 任一边长小于其他两边之和，如a+b<=c 或 a+c<=b 或 b+c<=a，即三边不能构成三角形。

- 相等边长的情况（比如a=b=c），虽然不是通常的三角形，但也可以作为边界案例之一。
- 两个较小的边长度之和大于较大的边长，但不足以形成一个三角形（例如a+b=c）。

在实际的测试用例中，应包括上述各种情况。