Title
Development of a methodology to validate large expert systems: structured based validation versus input-output validation
Abstract
Expert systems, like other pieces of software, need to be validated before they can be released. to the customer. Conventional software has been traditionally validated by the execution and evaluation of test cases. Test cases are typically generated by listing possible inputs to the system. If this list covers all possible inputs, then the set of test cases is said to be exhaustive. Large expert systems may contain hundreds or thousands of rules with hundreds or thousands of input parameters. The possible combination of all these parameters may be an extremely high number. This makes exhaustive testing impractical and often impossible. It is for these reasons that it is necessary to develop an efficient method to validate large expert systems. This thesis attempts to describe a new, structured-based procedure for the validation of expert systems. The results obtained while attempting to implement this methodology are also discussed. This paper focuses on testing a sample expert system using a set of test cases created with the new proposed algorithms and the traditional exhaustive set.
Notes
This item is only available in print in the UCF Libraries. If this is your thesis or dissertation, you can help us make it available online for use by researchers around the world by downloading and filling out the Internet Distribution Consent Agreement. You may also contact the project coordinator Kerri Bottorff for more information.
Thesis Completion
1994
Semester
Summer
Degree
Bachelor of Science (B.S.)
College
College of Engineering
Degree Program
Electrical and Computer Engineering
Subjects
Dissertations, Academic -- Engineering;Engineering -- Dissertations, Academic
Format
Identifier
DP0021428
Language
English
Access Status
Open Access
Length of Campus-only Access
None
Document Type
Honors in the Major Thesis
Recommended Citation
Penafiel, Cesar R., "Development of a methodology to validate large expert systems: structured based validation versus input-output validation" (1994). HIM 1990-2015. 44.
http://stars.library.ucf.edu/honorstheses1990-2015/44