OpenAIR @ RGU >
Design and Technology >
Computing >
Journal articles (Computing) >

Please use this identifier to cite or link to this item:
This item has been viewed 2 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
ijhcs96.pdf197.88 kBAdobe PDFView/Open
Title: Refinement complements verification and validation
Authors: Craw, Susan
Keywords: Knowledge based systems
Verification tools
Validation tools
Consistency checking
Automated refinement tools
V & V tools
Issue Date: Feb-1996
Publisher: Elsevier
Citation: CRAW, S., 1996. Refinement complements verification and validation. International Journal of Human Computer Studies, 44 (2), pp. 245-256
Abstract: Knowledge based systems are being applied in ever increasing numbers. The development of knowledge acquisition tools has eased the “Knowledge Acquisition Bottleneck”. More recently there has been a demand for mechanisms to assure the quality of knowledge based systems. Checking the contents of the knowledge base and the performance of the knowledge based systems at various stages throughout its life cycle is an important component of quality assurance. Hence, the demand now is for verification and validation tools. However, traditionally, verification and validation have identified possible faults in the knowledge base. In contrast, this paper advocates the use of knowledge refinement to correct identified faults in parallel with the ongoing verification and validation, thus easing the progress towards correct knowledge based systems. An automated refinement tool is described which uses the output from verification and validation tools to assemble evidence from which the refinement process can propose repairs. It is hoped that automated refinement in parallel with validation and verification may ease the “Knowledge V &V Bottleneck”.
ISSN: 1071-5819
Appears in Collections:Journal articles (Computing)

All items in OpenAIR are protected by copyright, with all rights reserved.


   Disclaimer | Freedom of Information | Privacy Statement |Copyright ©2012 Robert Gordon University, Garthdee House, Garthdee Road, Aberdeen, AB10 7QB, Scotland, UK: a Scottish charity, registration No. SC013781