软件维护中的波动效应现象是导致其维护费用上升的一个重要原因。SDL是CCITT推荐的用于描述软件功能和行为规范的国际标准语言

并已广泛应用于程控交换领域。本文首先将SDL中的波动效应划分为两类

即功能波动效应和行为波动效应

并形式地定义出SDL中的基本数据流关系。然后

建立一个功能波动效应的计算模型。