长为L的细绳，一端系一质量为m的小球，另一端固定于某点，当绳竖直时小球静止，再给小球一水平初速度v₀，使小球在竖直平面内做圆周运动，并且刚好能过最高点，则下列说法中正确的是（　　）

A．球过最高点时，速度为零

B．球过最高点时，绳的拉力为mg

C．开始运动时，绳的拉力为m

D．球过最高点时，速度大小为

净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用 (91) 进行分析和建模，并且将 (92) 作为发现和排除错误的主要机制。使用 (93) 测试来获取认证软件可靠性所需要的信息。

A．边界值
B．统计
C．代数
D．精确