填空题 程序中的每个功能可以由（）来验证操作的正确性，它也是软件构造的一项重要活动。

填空题 依据模块化理论，（）是一个模块与系统内其他模块及外部世界的关联程度的度量。

填空题 软件构造中的（）是根据程序的出错情况，分析、猜测可能出现的程序区域，让程序运行，观察程序的变化来发现的根源。