三角形程序白盒测试