A REVIEW APPROACH TO DETECTING VIOLATIONS OF CONSISTENCY BETWEEN SPECIFICATION AND PROGRAM STRUCTURES-Reference-Cited by-同舟云学术

A REVIEW APPROACH TO DETECTING VIOLATIONS OF CONSISTENCY BETWEEN SPECIFICATION AND PROGRAM STRUCTURES

Published:2008-12 Issue:08 Volume:18 Page:1013-1042
ISSN:0218-1940
Container-title:International Journal of Software Engineering and Knowledge Engineering
language:en
Short-container-title:Int. J. Soft. Eng. Knowl. Eng.

Author:

CHEN YUTING¹²³,LIU SHAOYING¹,WONG W. ERIC⁴

Affiliation:

1. Faculty of Computer and Information Sciences, Hosei University, Tokyo 184-8584, Japan

2. Computer Science and Engineering Department, Shanghai Jiaotong University, Shanghai 200240, P. R. China

3. State Key Laboratory for Novel Software Technology, Nanjing University, P. R. China

4. Department of Computer Science, University of Texas at Dallas, Richardson, TX 75080, USA

Abstract

The application of specification-based program verification techniques (e.g., black-box testing, formal proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. This paper describes a view-based program review approach to addressing these challenges. The essential idea of the approach is first to derive comparable views from the specification and program, and then detect and eliminate the violations of structural consistency in the program views on the basis of a set of criteria. We also developed a prototype tool to support the review approach, and conducted a case study to assess the effectiveness of the approach.

Publisher

World Scientific Pub Co Pte Lt

Subject

Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218194008003994

Reference19 articles.

1. An axiomatic basis for computer programming

2. Understanding the differences between VDM and Z

3. Formal Engineering for Industrial Software Development