软件测试用例设计方法,涵盖等价类、边界值、正交表、状态迁移法、错误分析法,