绿带工程师想知道自动焊接操作的平均时间是否显著地不同于设定的目标值30秒，于是他收集了部分焊接时间的数据，在已知数据服从正态分布且总体方差未知的情况下，最合适的检验方法是（）
A.单样本单边z检验
B.单样本双边t检验
C.单样本单边t检验
D.需要知道总体方差方可检验