某程序规定:“输入三个整数 a、 b 、 c分别作为三边的边长构成三角形。程序显示提示信息,指出该三角形为一般三角形、等腰三角形、等边三角形、非三角形”,程序核心代码如下所示。 #include "stdio.h" /** 判断三角形的种类。参数a, b, c分别为三角形的三边, * 返回的参数值为0,表示非三角形; * 为1,表示普通三角形; * 为2,表示等腰三角形; * 为3,表示等边三角形。 */ int triangle (int a, int b, int c) { if((a + b > c) && (b + c > a) && (a + c > b)) { if((a == b) && (b ==c)) return 3; // 判断为等边三角形 if((a == b) || (b == c) || (a == c)) return 2; // 判断为等腰三角形 else return 1;// 判断为普通三角形 } else { return 0;// 为非三角形} } } 根据上述源码,绘制程序流程图,使用逻辑覆盖法设计测试用例,具体计分规则(绘制程序流程图——3分,语句覆盖——3分,判定覆盖——4分,条件覆盖——5分,共计15分)。