需求

项目介绍¶

PetClinic 白盒测试的核心在于宠物主人验证系统内部代码逻辑的正确性与覆盖完整性宠物主人。测试应重点关注宠物主人控制流、分支条件、循环逻辑、异常处理宠物主人等关键路径，确保各业务模块（如宠物主人管理、宠物信息、就诊记录、兽医管理）的后台逻辑能够按预期执行。针对应用中大量使用的宠物主人Spring MVC 控制层、Service 层与 Repository 层宠物主人，白盒测试需通过单元测试与集成测试验证方法调用的正确性、事务管理的稳定性、数据持久化的准确性及依赖注入的合理性。

需求¶

1. 代码正确性验证¶

1.1 空指针引用¶

需求：防止空指针异常。
测试：使用 FindBugs 检查代码中是否存在潜在的空指针引用问题。

1.2 未检查的异常¶

需求：确保代码捕获和处理了可能发生的异常。
测试：使用 FindBugs 检查是否存在未捕获的异常，以及是否有适当的异常处理机制。

2. 安全性验证¶

2.1 SQL 注入防护¶

需求：防止搜索功能受到 SQL 注入攻击。
测试：使用 FindBugs 检查代码中是否存在潜在的 SQL 注入漏洞。

2.2 安全敏感信息泄露¶

需求：防止敏感信息泄露。
测试：使用 FindBugs 检查代码中是否存在潜在的敏感信息泄露问题，如密码、密钥等。

3. 代码规范性验证¶

3.1 未使用的变量¶

需求：确保没有未使用的变量。
测试：使用 FindBugs 检查是否存在未使用的变量。

3.2 代码重复¶

需求：确保代码没有不必要的重复。
测试：使用 FindBugs 检查是否存在代码重复问题。

4. 性能验证¶

4.1 避免不必要的性能开销¶

需求：优化搜索功能，避免不必要的性能开销。
测试：使用 FindBugs 检查是否存在潜在的性能问题，如不必要的循环、递归等。

5. 代码规范遵循¶

5.1 遵循命名规范¶

需求：代码中的变量和方法应符合命名规范。
测试：使用 FindBugs 检查是否存在不符合命名规范的变量和方法。

5.2 遵循编码风格¶

需求：代码应符合项目的编码风格。
测试：使用 FindBugs 检查是否存在不符合编码风格的代码。