文档介绍：Verification and Validation of Rule-Based Expert Systems
by Suzanne Smith; Abraham Kandel
CRC Press, CRC Press LLC
084938902x 08/01/93
ISBN: Pub Date:
Search Tips Search this book:
Advanced Search
Preface
The Authors
Chapter 1—Introduction
I. Quality Assurance for Expert Systems
II. Background to Expert Systems
III. Conventional Software and Expert Systems
IV. A Preview of the Work
V. Organization of the Book
Chapter 2—The Production of Quality Software
I. Introduction
II. Definition of Quality Software
III. Attributes of Quality Software
IV. Approaches to Achieving Quality Software
A. Software Engineering Methodologies
B. Software Quality Assurance
C. Independent Verification and Validation
D. Software Reviews
E. Formal Proof of Correctness
F. Quality Metrics
G. Configuration Management
V. Application of Approaches
Chapter 3—Conventional Software Development
I. Introduction
II. Verification and Validation
III. Overview of Classic Life Cycle Process Model
A. Requirements Analysis and Definition Phase
B. Design Phase
C. Implementation Phase
D. Testing Phase
E. Maintenance Phase
IV. Results of Usage
V. Summary of Validation in Classic Life Cycle
A. Validation Testing
B. Validation Test Cases
C. Acceptance Criteria
D. Testing Documentation
E. Revalidation During Maintenance Phase
F. Validation Tools
Chapter 4—The Production of Quality Expert Systems
I. Introduction
II. Definition of Quality Expert Systems
III. Characteristics of Quality Expert Systems
IV. Approaches to Achieving Quality Expert Systems
Chapter 5—Expert System Development
I. Introduction
II. Verification and Validation
III. Overview of Expert System Process Models
A. Planning Phase
B. Knowledge Definition Phase
C. Knowledge Design Phase
D. Code and Checkout
E. Knowledge Verification
F. System Evaluation
IV. Results of Usage
V. Summary of Validation in Expert System Development
A. Val