Title :
A tool-supported review approach to detecting structural consistency violations
Author :
Chen, Yuting ; Liu, Shaoying ; Nagoya, Fumiko
Author_Institution :
Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo
Abstract :
The application of specification-based program verification techniques (e.g., testing, review, and proof) 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 a tool-supported review approach to detecting structural consistency violations by introducing the review method, discussing the design and implementation of the tool, and presenting a case study to assess the effectiveness of the tool and identify points for further improvement
Keywords :
formal specification; program verification; SOFL specification; specification-based program verification technique; structural consistency violation; tool-supported review; Application software; Data structures; Design methodology; Educational programs; Educational technology; Electronic mail; Face detection; Humans; Intelligent structures; Testing; Design and implementation; SOFL specification; program review; structural consistency;
Conference_Titel :
Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on
Conference_Location :
Stanford, CA
Print_ISBN :
0-7695-2530-X
DOI :
10.1109/ICECCS.2006.1690361
