We should determine whether to use a one-sided test  or a two-sided test  based on the problem specification (i.e. 问题的提法). More specifically, it should be determined based on the form of the alternative hypothesis (i.e. 备择假设的形式).
 
若我们知道待检参数在违背零假设H0的情况下会朝哪边偏离,就使用单侧检验;如果不知道,那么就使用双侧检验——这可以通过观察备择假设H1的设定形式判断出来。下面我们以单样本正态均值检验 为例。
双侧检验 (Two-sided test) 
假设总体服从均值为μ、方差为σ2的正态分布,其中方差已知。我们的假设设定为:
H 0 : μ = μ 0 H 1 : μ ≠ μ 0 H_0: \mu = \mu_0\\
H_1: \mu \ne \mu_0 H 0  : μ = μ 0  H 1  : μ  = μ 0   
这样设定H1,是因为我们并不知道如果μ不等于μ0,它会往哪边偏离。若H0成立,则样本均值X ˉ \bar{X} X ˉ  作为总体均值μ的无偏点估计,应该“接近”μ0。因此我们的检验设定为:
i f   ∣ X ˉ − μ 0 ∣ > d ,   r e j e c t   H 0 if\ |\bar{X} - \mu_0| > d,\ reject\ H_0 i f   ∣ X ˉ − μ 0  ∣ > d ,   re j ec t   H 0   
并设定我们的显著性水平为α,即该检验犯第一类错误(i.e. 在H0为真的条件下,拒绝H0)的概率不能高于α。常见的α为0.05。因此:
P ( ∣ X ˉ − μ 0 ∣ > d   ∣   H 0   i s   t r u e ) ≤ α P(|\bar{X} - \mu_0| > d\ |\ H_0\ is\ true ) \le \alpha P ( ∣ X ˉ − μ 0  ∣ > d   ∣   H 0    i s   t r u e ) ≤ α  
注意到H0成立时,( X ˉ − μ 0 ) / ( σ / n ) ∼ N ( 0 , 1 ) (\bar{X}-\mu_0)/(\sigma/\sqrt{n}) \sim N(0,1) ( X ˉ − μ 0  ) / ( σ / n  ) ∼ N ( 0 , 1 )  。再根据:
P r o b ( ∣ X ˉ − μ 0 σ / n ∣ > d σ / n ) ≤ α Prob(|\frac{\bar{X} - \mu_0}{\sigma/\sqrt{n}}| > \frac{d}{{\sigma/\sqrt{n}}}) \le \alpha P ro b ( ∣ σ / n  X ˉ − μ 0   ∣ > σ / n  d  ) ≤ α  
可以求得:
d = σ n u α / 2 d = \frac{\sigma}{\sqrt{n}}u_{\alpha/2} d = n  σ  u α /2   
其中u为标准正态分布的上分位数。综上,该假设的检验为:当∣ X ˉ − μ 0 ∣ > σ n u α / 2 |\bar{X} - \mu_0| > \frac{\sigma}{\sqrt{n}}u_{\alpha/2} ∣ X ˉ − μ 0  ∣ > n  σ  u α /2   时,拒绝H0。
单侧检验 (One-sided test) 
若我们已经知道如果μ不等于μ0,必有μ大于μ0,那么我们的假设设定变为:
H 0 : μ = μ 0 H 1 : μ > μ 0 H_0: \mu = \mu_0\\
H_1: \mu > \mu_0 H 0  : μ = μ 0  H 1  : μ > μ 0   
同样,若H0成立,则样本均值X ˉ \bar{X} X ˉ  作为总体均值μ的无偏点估计,应该“接近”μ0,但会是从右侧接近。因此我们的检验设定为:
i f   X ˉ − μ 0 > d ,   r e j e c t   H 0 if\ \bar{X} - \mu_0 > d,\ reject\ H_0 i f   X ˉ − μ 0  > d ,   re j ec t   H 0   
设定显著性水平为α。因此:
P ( X ˉ − μ 0 > d   ∣   H 0   i s   t r u e ) ≤ α P(\bar{X} - \mu_0 > d\ |\ H_0\ is\ true ) \le \alpha P ( X ˉ − μ 0  > d   ∣   H 0    i s   t r u e ) ≤ α  
通过类似的推导,我们可以计算出:
d = σ n u α d = \frac{\sigma}{\sqrt{n}}u_{\alpha} d = n  σ  u α   
综上,该假设的检验为:当X ˉ − μ 0 > σ n u α \bar{X} - \mu_0 > \frac{\sigma}{\sqrt{n}}u_{\alpha} X ˉ − μ 0  > n  σ  u α   时,拒绝H0。