测试用例设计在面向对象中的应用 — 软件工程判断题

在面向对象测试中，测试用例设计可以基于类契约（前置条件、后置条件与不变式）进行：设某 BankAccount 类的 withdraw(amount) 方法定义前置条件为 amount>0 且 amount≤balance。某学生设计了如下测试用例并给出了判断：用例T1调用 withdraw(-100)，预期结果为方法抛出异常或拒绝执行，认为这属于合法的基于前置条件的无效值测试；用例T2在 balance=500 时调用 withdraw(500)，预期账户余额变为0且调用成功，认为这属于边界值测试。该学生对T1和T2的用例设计及其归类判断均正确。