-
题名软件故障定位技术进展
被引量：22
- 1
-
-
作者
鞠小林
姜淑娟
张艳梅
董国伟
-
机构
中国矿业大学计算机科学与技术学院
中国信息安全测评中心
南通大学计算机科学与技术学院
-
出处
《计算机科学与探索》
CSCD
2012年第6期481-494,共14页
-
基金
国家自然科学基金Nos.90818021
60970032
+2 种基金
61100047
江苏省自然科学基金No.BK2008124
江苏省研究生培养创新工程项目No.CX10B_157Z~~
-
文摘
故障定位是调试过程中一项耗时费力的工作。为了降低调试成本,并辅助开发人员定位和修复软件故障,软件故障定位技术通过审查源代码、分析测试过程的软件行为和测试结果来定位包含故障的代码片段。综述了近期故障定位领域相关成就,分类介绍了各种代表性的故障定位方法的基本原理和建模技术,讨论了这些故障定位技术的贡献以及它们之间的主要区别,给出了常用的故障定位效果基准测试集和度量方法,展望了故障定位技术的研究方向。
-
关键词
程序分析
软件调试
故障诊断
故障定位
定位度量
-
Keywords
program analysis
software debugging
fault diagnosis
fault localization
localization metrics
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名图解法的CAD实现途径
被引量：3
- 2
-
-
作者
张磊
徐昌贵
聂学俊
-
机构
北京工商大学机械自动化学院
-
出处
《工程图学学报》
CSCD
北大核心
2005年第6期164-167,共4页
-
文摘
传统图解法通常采用手工绘图解决空间几何问题,作图结果不精确。采用计算机辅助设计方法可以求解图解法中的度量、定位问题,通过建立空间几何元素的精确几何模型,利用AutoCAD软件的辅助设计功能得到空间几何问题的精确结果。
-
关键词
工程图学
图解法
计算机辅助设计
定位及度量问题
-
Keywords
engineering graphics
graphic solution
CAD
metric and position problem
-
分类号
TB23
[一般工业技术—工程设计测绘]
-
