补充资料：专家系统验证与确证

　　
　　专家系统验证与确证
　　expert system verification and validation

　　时使用专家系统、已有系统和非自动化方法，并比较结果;⑧尽早开始确证测试，甚至仅当某个功能的一个子集被实现时，也要进行确证测试，以便尽早发现错误并改正;⑨当知识库被加工时，保持系统性能的详细信息，并与知识库加工前的系统性能相比较，若性能受到严重影响，则重新进行高层设计，如修改子问题的结构等。 规范的验证与确证方法对于提高专家系统的可接受性是必要的。它们可与开发过程的许多步骤并行进行，而且验证与确证很容易适应重复原型开发方法。zhuanjla xitong yanzheng yu quezheng专家系统验证与确证(exp吧rt system verifi-cation and validation)验证专家系统在设计中遵循技术规范，符合设计指标，并确保所开发的专家系统能满足用户要求的过程。验证与确证在软件工程中有着明确的意义，验证是确定在某一阶段开发的软件产品是否满足预先规定的规格要求的过程，主要由软件开发者完成;确证是在开发结束后评价软件以确保它能满足用户要求的过程，主要由用户完成。 验证主要帮助开发者解决如下问题:是否已建造了一个正确的专家系统?该系统是否能够解决用户的问题?该过程与编码(推理机、界面)、知识和元知识有关。包括:验证推理机、验证知识库、验证系统运行(或工作)状况。若专家系统的知识库中包含事实和规则，则还需要认可每个事实、每条规则;检测推导出的事实集合的性质;检测规则集合的性质;检测每条规则及整个规则集的运行状况。 验证贯穿整个专家系统开发的始终，包括如下步骤: (1)验证高层设计是否能处理需求说明中的每一项目以及所提出的分解是否合理; (2)对每一主要成分，验证详细设计是否实现了高层设计中所描述的目标; (3)对每一程序单元，验证代码是否按正确风格编写，是否与详细设计一致; (4)验证代码的编译没有错误，且按详细设计中所描述的执行(白盒测试)。 确证是一种黑盒测试，它主要帮助用户解决如下问题:软件开发者提供的产品是否正确?是否能够真正解决用户所提出的问题?通过确证，用户能够确认产品的可用性、能力、性能和可靠性。确证一个专家系统涉及的间题包括:确证什么;反驳什么;用什么来确证;什么时候确证;如何控制确证的代价;如何控制偏见;如何处理多个结果。确证的方法很多，分为定性方法和定量方法。定性方法主要有:①表面确证;②预测确证;③Turing测试;④领域测试;⑤子系统确证;⑥敏感性分析;⑦可视相互作用。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。