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

Principle and Realization of Review Based on SOFL Specification

作　　者：方小丽[1] 陈昊鹏[1] 

机构地区：[1]上海交通大学软件学院,上海200240

出　　处：《计算机工程》2006年第18期61-63,共3页Computer Engineering

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

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]