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