Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor | Multi-disciplinary Studies | en_US |
| dc.contributor | Department of Computing | en_US |
| dc.creator | Lee, Wai-kit Ricky | - |
| dc.identifier.uri | https://theses.lib.polyu.edu.hk/handle/200/1143 | - |
| dc.language | English | en_US |
| dc.publisher | Hong Kong Polytechnic University | - |
| dc.rights | All rights reserved | en_US |
| dc.title | Object model verification using knowledge base approach | en_US |
| dcterms.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. | en_US |
| dcterms.extent | vi, 71 leaves : ill. ; 30 cm | en_US |
| dcterms.isPartOf | PolyU Electronic Theses | en_US |
| dcterms.issued | 1999 | en_US |
| dcterms.educationalLevel | All Master | en_US |
| dcterms.educationalLevel | M.Sc. | en_US |
| dcterms.LCSH | Computer software -- Verification | en_US |
| dcterms.LCSH | Object-oriented methods (Computer science) | en_US |
| dcterms.LCSH | Expert systems (Computer science) | en_US |
| dcterms.LCSH | Hong Kong Polytechnic University -- Dissertations | en_US |
| dcterms.accessRights | restricted access | en_US |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| b14791730.pdf | For All Users (off-campus access for PolyU Staff & Students only) | 2.35 MB | Adobe PDF | View/Open |
Copyright Undertaking
As a bona fide Library user, I declare that:
- I will abide by the rules and legal ordinances governing copyright regarding the use of the Database.
- 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.
- 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.
Please use this identifier to cite or link to this item:
https://theses.lib.polyu.edu.hk/handle/200/1143