软件验证与确认实验报告 （白盒测试）

                            实验二白盒测试：

1.软件单元描述

   1.1功能说明：

  首先，初始化三角形的三条边，然后，判断输入的边值是否满足三角形的定义，再然后，检查三角形的类型（包括：非法三角形、常规三角形、不等边三角形、等腰三角形）。

  1.2*源程序：

public class Triangle {

protected long lborderA = 0;

 

protected long lborderB = 0;

 

protected long lborderC = 0;

 

// Constructor

public Triangle(long lborderA,long lborderB,long lborderC) {

 

this.lborderA =lborderA;

 

this.lborderB =lborderB;

 

this.lborderC =lborderC;

 

}

 

/**

 *检查是否这是一个三角形

 *

 *@return真为三角形和假

 */

public boolean isTriangle(Triangletriangle) {

boolean isTriangle =false;

 

// 检查边界

if ((triangle.lborderA > 0 &&triangle.lborderA <= Long.MAX_VALUE)