Title :
A framework for SOFL-based program review
Author :
Chen, Yuting ; Liu, Shaoying ; Nagoya, Fumiko
Author_Institution :
Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
Abstract :
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.
Keywords :
error detection; formal specification; object-oriented languages; program debugging; program diagnostics; specification languages; structured programming; SOFL specification language; error detection; formal specification; program code; program review; software defect detection; software system specification; structured object-oriented formal language; Computer errors; Design for disassembly; Electronic mail; Formal languages; Guidelines; Inspection; Object oriented modeling; Software systems; Specification languages; Testing; SOFL; program review; specification;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.11
