A framework for SOFL-based program review
A framework for SOFL-based program review
复制标题
基于 SOFL 的计划审查框架
DOI：
10.1109/iceccs.2005.11
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Fumiko Nagoya
中科院分区：
文献类型：
--
作者：
Yuting Chen;Shaoying Liu;Fumiko Nagoya
程序审查是一种实用且经济有效的程序代码错误检测方法。本文描述了我们最近的工作，旨在为揭示错误提供支持，这些错误通常是由期望规范的不适当实现引起的。在我们的方法中，使用SOFL规范语言来指定软件系统。我们提供了一个框架，指导审查者将代码与其规范进行比较，以便有效地检测潜在缺陷。
Program review is a practical and cost-effective method for detecting errors in program code. This paper describes our recent work aiming to provide support for revealing errors which usually arise from inappropriate implementations of desired specifications. In our approach, the SOFL specification language is employed for specifying software systems. We provide a framework that guides reviewers to compare a code with its specification for effective detection of potential defects.