一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.

Practical Metrics for Z Specifications

The cost of correcting or remedying errors would increase by geometric series at the later of software development. Thus the quality of formal specifications becomes one of the key issues and difficulties. But little work has been done on how to measure the quality of formal specifications till now. To solve these problems, a suite of metrics to measure schemas of formal specification language Z is proposed. The metrics consider schema decoration, schema inclusion, schema type, and schema calculus. According to these metrics, some problems can be found and further overcome at the early life cycle, which reduce cost greatly. Besides, an effective estimation of the system can be made.