A review approach to detecting structural consistency violations in programs
A review approach to detecting structural consistency violations in programs
复制标题
检测程序中结构一致性违规的审查方法
DOI：
10.1109/icis.2005.18
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Fumiko Nagoya
中科院分区：
文献类型：
--
作者：
Yuting Chen;Shaoying Liu;Fumiko Nagoya
当规范的结构与其程序的结构之间的差距很大时，基于规范的程序验证技术（例如，测试、审查和证明）的应用在实践中通常面临强大的挑战。本文提出了一种基于程序规范的结构一致性检测方法。该方法旨在支持软件开发，其中程序是基于它们的正式规范构建的。我们建立了一套标准和一个评审过程，可以指导评审人员发现项目中结构一致性的违反，并在案例研究中应用该方法来评估其有效性。
The application of specification-based program verification techniques (e.g., testing, review, and proof) usually faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper we describe an approach to detecting the violations of the structural consistency in programs based on their specifications by review. The approach is aimed at supporting software development in which programs are constructed based on their formal specifications. We establish a set of criteria and a review process that can guide reviewers to uncover structural consistency violations in programs, and apply the approach in a case study to assess its effectiveness.