测试用例设计方法都有哪些？以具体的例子来说明这些方法在测试用例设计工作中的应用。