DocumentCode :
38536
Title :
Incremental Lifecycle Validation of Knowledge-Based Systems Through CommonKADS
Author :
Batarseh, F.A. ; Gonzalez, A.J.
Author_Institution :
Intell. Syst. Lab., Univ. of Central Florida, Orlando, FL, USA
Volume :
43
Issue :
3
fYear :
2013
fDate :
May-13
Firstpage :
643
Lastpage :
654
Abstract :
This paper introduces an incremental validation method for knowledge-based systems (KBSs) based on a lifecycle model of system development. Although many validation methods have been proposed for KBSs, there remains a need for an incremental validation method based on a lifecycle model. Lifecycle models provide a formal framework for the developer that can be highly beneficial for the validation process. CommonKADS is the most commonly accepted of such lifecycle models. It offers a de facto standard for building KBSs. Moreover, the incremental validation method introduced in this paper is based on case testing and provides strict guidelines to selecting a set of test cases to validate the system. Most importantly, this validation method makes use of results of prior test cases to guide the use of later test cases in subsequent development iterations. This facilitates the definition of an efficient set of test cases that provides effective system coverage. The proposed incremental validation method is evaluated, and the results are reported.
Keywords :
knowledge based systems; program testing; program verification; CommonKADS; case testing; development iterations; incremental lifecycle validation; incremental validation method; knowledge-based systems; lifecycle model; test cases; Analytical models; Context modeling; Inspection; Knowledge based systems; Organizations; Software; Unified modeling language; Lifecycle; methods for SQA and V&V; test execution; validation;
fLanguage :
English
Journal_Title :
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
2168-2216
Type :
jour
DOI :
10.1109/TSMCA.2012.2211348
Filename :
6425495
Link To Document :
بازگشت