白盒测试通过执行测试用例来确保

• White can derive test cases to ensure