该程序主要针对三角形问题，通过输入三角形三条边的取值范围，自动生成边的测试值，并对测试值是否能构成三角形、是否等边三角形、是否等腰三角形、是否直角三角形进行了判定与显示。其中在测试值的生成方式上，采用了两种自动生成方式：一是健壮性测试（所谓的七点法），二是边界值分析（也即五点法）。