设有样本，可以是简单样本，或由几个简单样本组成的合样本，也可以是由更复杂的样本构成。总体分布记为，可以是简单样本的公共分布，或是合样本中两部分（或多部分）的分布等，或是其他更复杂的部分的分布。设为一个分布族，给定水平，原假设为。

设为一个统计量，满足如下条件：若原假设成立，则在给定的条件下，的条件分布只依赖于而不依赖于总体分布。计算统计量，使，对的任何可能值（因为在给定时的条件分布只依赖的给定值，这种存在）。则检验“当时否定，不然就接受”称为原假设的一个条件检验，该条件检验的给定水平为。

条件检验与无条件检验的差别不在于形式，而在于引出检验的思想。置换检验是条件检验的特例，是较重要和应用较广的检验。若根据基本原理与性质定义的统计量是通过某种置换手续产生的统计量，则相应的检验称为置换检验。置换检验并非唯一特定的检验，而是代表一类检验，其多样性体现在“某种”置换手续上。一个由个元组成的序列，经过置换可以产生个序列，这可称为“全面”置换，即不受任何约束的置换，在特定问题中，可对施行的置换加一些约束，这时能产生的序列数量将小于。