Font Size: a A A

Design And Implementation Of Visual Object-Oriented Formal Analysis Auxiliary Tool-VOOFA

Posted on:2004-03-24Degree:MasterType:Thesis
Country:ChinaCandidate:X H XiongFull Text:PDF
GTID:2168360092493501Subject:Computer applications
Abstract/Summary:PDF Full Text Request
Comparing to the traditional Procedure-Oriented software development technology ,Object-Oriented technology has two strongpoints. Firstly, it basically solve the inconsistency between the structure of problem domain and of solution space. Secondly, it is more suitable for developing and maintaining a large-scale system. Therefore Object-Oriented technology has become the mainstream of software development method since late in the last century.In order to help user doing OOA&OOD and strengehen his comprehension of object and its usage ,we view class of Object-Oriented as a set ,view object of a class as an element of the set and then express them in mathematical formulas. Based on these mathematical formulas,we describe and deduce a series of axioms,theorems,formulas,algorithms and design principles, Which can be used not only as theory knowledge for studying Object-Oriented analysis and design but also as a tool and guiding principle for Object-Oriented Database design, Object-Oriented formalization analysis and design,the automatization of test and evaluation.Compared with the research of OOA,OOD& OOP research on Object-Oriented Metrics is deficient. Software metrics is in short of a theory basis .What's more ,some metrics can't operate well. By the study of general feature of Object-Oriented technology and the reference of the result of Object-Oriented formal logic analysis,we give a set of Object-Oriented metric standards ,which are performed well and in different level (Class level and System level) .Finally we implement a visual Object-Oriented Analysis Auxiliary tool.The tool can support persistent object in Object-Oriented system and the alalysis of relation between objects. User can not only easily save the state of object but also give some analysis and evluation of objects' relation by the tool. Reducing the work of user and improve the efficency and quality of product is the aim we are pursuing for. We also provide a reusable C++ Class(Persistent Object) which can implement the persistent object.
Keywords/Search Tags:Object-Oriented.Class invariants, State space, Object-Oriented Metrics, Persistent Object
PDF Full Text Request
Related items