A New Verification Framework of Object-Oriented Design Specification for Small Scale Software

Eun Mi KIM  Shinji KUSUMOTO  Tohru KIKUNO  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E80-D   No.1   pp.51-56
Publication Date: 1997/01/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Issue on Fault-Tolerant Computing)
Category: Verification
Keyword: 
safety,  correctness,  object-oriented design,  design review,  

Full Text: PDF(525.7KB)>>
Buy this Article




Summary: 
In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. At first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design review method which aims at detecting faults in the design specification by using three kinds of information tables. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety. Then, by comparing the items on three tables, the verifiers review a given design specification and detect faults in it. Finally, using a small example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design review method.