English

应用科学学报 ›› 2005, Vol. 23 ›› Issue (1): 6-11.

• 论文 • 上一篇    下一篇

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

吴方君1, 易彤1,2   

  1. 1. 东南大学计算机科学与工程系, 江苏南京 210096;
    2. 宜春学院网络中心, 江西宜春 336000
  • 收稿日期:2004-04-21 修回日期:2004-07-01 出版日期:2005-01-31 发布日期:2005-01-31
  • 作者简介:吴方君(1977-),女,山东泰安人,博士生,E-mail:tongyi@seu.edu.cn

Practical Metrics for Z Specifications

WU Fang-jun1, YI Tong1,2   

  1. 1. Department of Computer Science & Engineering, Southeast University, Nanjing 210096, China;
    2. Laboratory of Computer Center, Yichun University, Yichun 336000, China
  • Received:2004-04-21 Revised:2004-07-01 Online:2005-01-31 Published:2005-01-31

PDF

75

被引次数

8

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

关键词: Z, 模式, 软件度量, 形式规格语言

Abstract: 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.

Key words: formal specification language, schema, Z, software measure

中图分类号: