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

fYear

2005

fDate

16-20 June 2005

Firstpage

6

Lastpage

7

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on

Print_ISBN

0-7695-2284-X

Type

conf

DOI

10.1109/ICECCS.2005.11

Filename

1467872