Object model verification using knowledge base approach

Pao Yue-kong Library Electronic Theses Database

Object model verification using knowledge base approach

 

Author: Lee, Wai-kit Ricky
Title: Object model verification using knowledge base approach
Degree: M.Sc.
Year: 1999
Subject: Computer software -- Verification
Object-oriented methods (Computer science)
Expert systems (Computer science)
Hong Kong Polytechnic University -- Dissertations
Department: Multi-disciplinary Studies
Dept. of Computing
Pages: vi, 71 leaves : ill. ; 30 cm
Language: English
InnoPac Record: http://library.polyu.edu.hk/record=b1479173
URI: http://theses.lib.polyu.edu.hk/handle/200/1143
Abstract: This report presents a knowledge-based verification approach to verify the object models. It is quite different to the recent verification approaches. It allows us to reuse previous verification experience to performing future verification work. It also allows the object model to be specified using simple language. The simple specification language resolves the problem of low readability in specification language found in other verification approaches like algebraic verification approach. With the above features, analyst can have their focus on the model specification rather than the specification language and verification method used in the approach. Verification now becomes an automated black box process in the knowledge-based approach. With the new approach, verification effort and the resource required can be much reduced and it facilitates those under limited verification resource to have a nearly complete verification process. The original verification process also can be speed up through the knowledge-based approach. A knowledge-based object model verification system (KBOVS) was built to show how past verification experience could be used for future verification. Resource library cases were used to see how the system put to work. Evaluation on the execution time to see the effect when either many rules were defined or many specifications were inputted. We also show how KBOVS benefits the analysts by comparing it against other common verification approaches.

Files in this item

Files Size Format
b14791730.pdf 2.410Mb PDF
Copyright Undertaking
As a bona fide Library user, I declare that:
  1. I will abide by the rules and legal ordinances governing copyright regarding the use of the Database.
  2. I will use the Database for the purpose of my research or private study only and not for circulation or further reproduction or any other purpose.
  3. I agree to indemnify and hold the University harmless from and against any loss, damage, cost, liability or expenses arising from copyright infringement or unauthorized usage.
By downloading any item(s) listed above, you acknowledge that you have read and understood the copyright undertaking as stated above, and agree to be bound by all of its terms.

     

Quick Search

Browse

More Information