Design of a tool for specification-based program review

Author

Nagoya, Fumiko ; Liu, Shaoying ; Chen, Yuting

Author_Institution

Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan

fYear

2005

fDate

16-20 June 2005

Firstpage

10

Lastpage

11

Abstract

Program review is an effective means for enhancing software quality. In this paper we describe the design of a software tool to support our proposed "function-path" approach to reviewing programs based on SOFL specifications. The approach includes four steps: (1) deriving all the functional scenarios from a formal specification, (2) generating all the necessary program paths in a program, (3) establishing the mapping between the functional scenarios in the specification and the program paths as implemented functions in the program, and (4) reviewing all the program paths against their functional scenarios in the specification.

Keywords

data flow analysis; formal specification; object-oriented languages; object-oriented programming; program verification; software quality; software tools; SOFL specifications; formal specification; function-path; object-oriented languages; object-oriented programming; program functions; program paths; program review; program verification; software quality; software tool design; specification-based program; Automation; Error analysis; Formal specifications; Inspection; Java; Large-scale systems; Software design; Software quality; Software systems; Software tools;

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.33

Filename

1467874