下图为生活中常用的保温杯，需要对其进行测试，根据所学知识写出设计的测试用例。（10分）

单元测试中设计测试用例的依据是()。

单元测试的测试用例主要根据()的结果来设计。

（判断题）黑盒测试的测试用例是根据程序内部逻辑设计的。 （ ）

软件测试的目的是（），通常可分为白盒测试和黑盒测试。白盒测试是根据程序的（）来设计测试用例，黑盒测试是根据软件的规格说明来设计测试用例。常用的黑盒测试方法边值分析、等价类划分、错误猜测、因果图等。软件测试的步骤主要有单元测试、集成测试和确认测试。如果一个软件作为产品被许多客户使用的话，在确认测试的时候通常要通过α测试和β测试的过程。其中α测试是（）进行的一种测试。

成功对某模块执行白盒测试后，发现所有测试用例均运行成功，说明该模块已实现了预定的需求。

黑盒测试不关注被测程序的内部结构和逻辑，因此黑盒测试技术不适用于：

使用黑盒法测试时，测试用例应根据（）。

测试计算平方根的函数 ——输入：实数 ——输出：实数 ——规格说明：当输入一个0或比0大的数时，返回其正平方根；当输入一个小于0的数时，显示错误信息“平方根非法——输入值小于0”并返回0。 使用边界值方法进行测试，写出测试用例。（5分）

1. 数据库设计方法包括新奥尔良方法、 、3NF的设计方法、面向对象的设计方法和统一建模语言（UML）方法等。

3. 集成局部E-R图要分两个步骤，分别是合并和 。