程序正确性证明最常用的方法是 【16】 ，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
参考答案：归纳断言法
某办公楼现浇钢筋混凝土三跨连续梁如下图所示，其结构安全等级为二级，混凝土强度等级为C30，纵向钢筋采用HRB335级钢筋（），箍筋采用HPB300级钢筋（Φ）。梁上作用的恒荷载标准值（含自重）gk=25kN／m，活荷载标准值qk=20kN／m。
提示：计算梁内力时应考虑活荷载的不利布置，连续梁内力系数见下表。连续梁内力系数表（弯矩M=表中系数×ql2，剪力V=表中系数×ql）
说明：已按最新规范将本题“箍筋采用HPB235级钢筋”改成“HPB300级”。
假设该梁AB跨靠近B支座截面的最大剪力设计值V=250kN，其截面尺寸见下图，截面有效高度h=560mm。试问，该跨梁支座截面箍筋配置选用下列何项最为合适？（）
A.Φ8@50
B.Φ8@100
C.Φ8@150
D.Φ8@100
），箍筋采用HPB300级钢筋（Φ）。梁上作用的恒荷载标准值（含自重）gk=25kN／m，活荷载标准值qk=20kN／m。
