作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2006, Vol. 32 ›› Issue (18): 61-63. doi: 10.3969/j.issn.1000-3428.2006.18.022

• 软件技术与数据库 • 上一篇    下一篇

基于SOFL规约的复审理论及实现

方小丽,陈昊鹏   

  1. (上海交通大学软件学院,上海 200240)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-09-20 发布日期:2006-09-20

Principle and Realization of Review Based on SOFL Specification

FANG Xiaoli, CHEN Haopeng   

  1. (School of Software, Shanghai Jiaotong University, Shanghai 200240)
  • Received:1900-01-01 Revised:1900-01-01 Online:2006-09-20 Published:2006-09-20

摘要: 介绍了对形式化语言SOFL进行复审的设计思想及实现,从两个既相对独立又相互关联的方面——基于process的复审和基于data的复审展开,依据checklist问题集,帮助复审人员系统而有效地发现SOFL规约的错误缺陷、内部不一致性、不完备性、不满足性,对记录的评注或错误描述归类存档、分析处理。

关键词: 严格复审, 形式化验证, 审查, 问题集

Abstract: This paper describes the principle and realization of reviewing SOFL specification. With the checklist for SOFL, it deals with two aspects relatively independent and related——process-oriented review and data-oriented review, helping reviewer find defects, internal inconsistency, incompleteness, dissatisfaction of SOFL specification. At the same time, it keeps all the recorded comments or descriptions in a well-organized archives so as to analyze.


Key words: Rigorous review, Formal verification, Inspection, Checklist

中图分类号: