【 】是为了改进将来的可靠性和可维护性，或者为将来的改进奠定良好的基础，而对软件进行的修改和补充。

程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

下列关于宽带城域网汇聚层基本功能的描述中，错误的是()

下列关于光纤同轴电缆混合网HFC的描述中，错误的是()

下列关于接入技术特征的描述中，错误的是()

TTC标准OC-3的传输速率为()