用于可修改性度量的检查表的内容有:
(1)
程序是否模块化? 结构是否良好?
(2)
程序是否可理解?
(3)
在表达式、数组/表的上下界、输入/输出设备命名符中是否使用了预定义的文字常数。
(4)
是否具有可用于支持程序扩充的附加存储空间?
(5)
是否使用了提供常用功能的标准库函数?
(6)
程序是否把可能变化的特定功能部分都分离到单独的模块中?
(7)
程序是否提供了不受个别功能发生预期变化影响的模块接口?
(8)
是否确定了一个能够当做应急措施的一部分,或者能在小一些的计算机上运行的系统子集?
(9)
是否允许一个模块只执行一个功能?
(10)
一个变量在程序中是否用途单一?
(11)
能否在不同的硬件配置上运行?
(12)
能否以不同的输入/输出方式操作?
(13)
能否根据资源的可利用情形,以不同的数据结构或不同的算法执行?
��测试可修改性的一种定量方法是修改练习。其基本思想是通过做几个简单的修改,来评价修改的难度。设C是程序中各个模块的平均复杂性,n是必须修改的模块数,A 是要修改的模块的平均复杂性。 则修改的难度D由下式计算:D = A�MC,对于简单的修改,若D>1,说明该程序修改困难。A和C 可用任何一种度量程序复杂性的方法计算。
��