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

摘要：

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

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

所属期刊栏目：32

分类号：TP391(计算技术、计算机技术)

在线出版日期：2006-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：61-63