白盒测试佣金问题

第2章程序示例描述第二和第三部分单元测试方法的三个例子：说明在单元级别上会遇到的大多数测试问题。集成和系统测试部分用到的三个例子。三个单元级例子的伪代码实现，三个系统级例子的描述。泛化的伪代码提供表示程序源代码的“独立于语言”的方式。去掉不想要的细节。允许在形式化的复杂条件中加入自然语言短语来说明。练习对三角形问题的一种常见补充是检查直角三角形。如果满足毕达哥拉斯关系：c2=a2+b2，则三条边构成直角三角形。这种变化使要求按增序给出各条边变得很方便，即a=b=c。扩展Triangle3程序，以包含直角三角形特性。