假设检验的程序是：①根据实际问题的要求提出一个论断，称为原假设，记为H0，备择假设记为H1；②根据样本的有关信息，构造统计量并找出在原假设成立条件下，该统计量所服从的概率分布，根据样本观察值，计算检验统计量的观察值；③给定显著水平α，并根据相应的统计量的统计分布表查出相应的临界值，得到相应的置信区间；④根据决策准则，如果检验统计量的观测值不属于置信区间范围内，则拒绝原假设，接受备择假设，否则，不拒绝原假设。