校园卡管理系统白盒测试测试用例怎么写

白盒测试是针对程序的内部结构进行测试的，因此需要考虑程序的逻辑、分支、循环、变量、函数等方面。以下是一些可能的测试用例：

1. 对于校园卡管理系统中添加新卡的功能，测试用例可以包括：

- 空卡号和空姓名是否能够被添加。
- 重复卡号是否能够被添加。
- 卡号和姓名是否符合格式要求（如长度、字符等）。
- 添加成功后卡号和姓名是否正确地存储在数据库中。
- 添加失败时是否有错误提示信息。

2. 对于查询卡信息的功能，测试用例可以包括：

- 查询已存在的卡号是否能够成功返回对应的姓名和余额。
- 查询不存在的卡号是否会返回错误提示信息。
- 查询时是否进行了合适的输入检查（如空值、非法字符等）。
- 查询结果是否正确地从数据库中获取并返回。

3. 对于充值和消费的功能，测试用例可以包括：

- 充值和消费时是否能够正确地更新卡的余额。
- 充值和消费时是否进行了合适的输入检查（如负数、非法字符等）。
- 充值和消费时是否有足够的错误提示信息（如余额不足、非法操作等）。
- 充值和消费时是否正确地将记录写入数据库中。

4. 对于删除卡的功能，测试用例可以包括：

- 删除已存在的卡是否能够成功删除。
- 删除不存在的卡是否会返回错误提示信息。
- 删除卡时是否正确地将记录从数据库中删除。
- 删除卡时是否进行了合适的权限检查（如管理员权限）。

以上是一些可能的测试用例，具体还需要根据实际情况进行补充和修改。在编写测试用例时，需要考虑到程序的各种情况和可能的错误，以确保程序的正确性和稳定性。