测试用例设计的原则是什么？目前主要的测试用例设计方法有哪些？

代表性：能够代表并覆盖各种合理的和不合理、合法的和非法的、边界的和越界的、以及极限的输入数据、操作和环境设置等.
可判定性：即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果.
可再现性：即对同样的测试用例，系统的执行结果应当是相同的。
方法有等价类、边界值、因果图、状态图、正交法、大纲法