溯因逻辑在软件质量改进中的应用

来源 :中山大学 | 被引量 : 0次 | 上传用户:greenboy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
溯因逻辑是从已知现象寻找最优解释的由果溯因的推理方法.在软件质量改进过程中,无论是在从过程参数到导致发现过程中存在的问题的应用中,还是在作为质量改进的重要组成部分的缺陷原因查找过程中,都是从搜集的数据到引起观察现象的原因的推理过程,其回溯式的推理方法正好与溯因逻辑类似,因而也适用溯因逻辑对其进行推理.该文讨论了溯因逻辑在软件质量改进中的应用,还对缺陷原因查找过程中使用meta程序实现自动化查找的可能性进行了初步的探讨,认为尽管还存在一些需要解决的困难,但这种方法仍然是可行的,并且是有效的.
其他文献
随着Internet技术的飞速发展,网络互联和信息共享成为信息时代总的发展趋势。Internet已经成为大部分信息系统运行的平台,电子商务、电子政务甚至是很多军事信息都通过Internet
该文首先具体分析了GIS系统的发展现状,讨论了目前WebGIS常规采用的体系结构,指出了其中存在的主要问题,并从解决问题的角度引出了对GML的论述,进一步探讨了GML的来源及发展
网络拥塞一直是长期困扰Internet的难题,近年来虽然人们先后提出了多种卓有成效的算法,但网络拥塞问题仍然远未曾解决,使得拥塞控制一直是网络研究领域的热点之一.在拥塞控制
我们在进行"广东工业大学继续教育学院网络管理信息系统"的项目研发过程中遇到了这样的问题:学生通过外网查询成绩,教师通过外网录入成绩到内网.在外网防火墙等防护机制都失
随着半导体制造工艺水平的快速提高和应用需求的持续增长,系统芯片集成的功能部件数量不断增加,片上通信压力相应增大,对片上互连结构设计提出了更高的要求。本文基于PKUnity86
信息技术应用的普及以及计算机网络的飞速发展导致了计算机支持的协同工作的诞生。经过近二十年的发展,CSCW的应用却处在一个颇为尴尬的境地:一方面人们对于协同技术的需求越来
高层体系结构(HLA)作为新一代分布式交互仿真协议,主要解决分布式仿真应用系统的互操作性和可重用性,从而缩短系统开发周期,减少开发成本,降低大型系统的项目风险.联邦开发执
高速缓存是弥补处理器和内存之间的性能差距的重要方式。改善数据的局部性,可以更有效地利用高速缓存,进一步提升处理器的性能。运行时刻从堆中分配的数据的布局对程序性能有很
该文在分析现有各种企业诊断方法的优缺点的基础上,面向企业的生产经营管理过程,提出了一套综合运用了传统人工企业诊断方法、基于知识企业诊断方法以及原有基于模型企业诊断
该文概述了机器人足球比赛的发展历史和研究动向,然后通过列举实例来说明全自主足球机器人发展现状及其关键技术.由哈工大计算机学院自主设计开发的HIT-Ⅱ型全自主足球机器人