期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
利用领域知识修复软件缺陷
原文传递
导出
摘要
软件缺陷修复技术以自动或者半自动修复软件缺陷为目标,是近年来研究界关注的热点。但是,由于软件规约不完备问题,自动缺陷修复技术常常难以给出令人满意的修复方案。在最新的研究中,研究人员从获取和利用领域知识的角度进行探索,揭示了解决这个问题的一个可能途径。
作者
杜莹
出处
《科技纵览》
2016年第3期58-59,共2页
IEEE Spectrum
关键词
软件缺陷
自动修复
知识
利用
修复技术
软件规约
修复方案
研究人员
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
程烨,高建华.
基于有穷自动机的面向对象软件规约的测试[J]
.计算机工程,2007,33(5):59-61.
被引量:1
2
刘振宇,王恒.
基于形式化方法的测试驱动开发研究[J]
.计算机工程与设计,2008,29(15):3944-3946.
被引量:6
3
刘剑,李彤.
一种并发软件规约方法的构架[J]
.计算机科学,2000,27(7):85-87.
4
朱连章,张茗淇.
基于有限自动机的面向对象软件规约测试[J]
.计算机工程与设计,2007,28(5):1005-1006.
被引量:2
5
文静,顾勋梅.
一种度量软件需求的功能点方法[J]
.微电子学与计算机,2011,28(10):75-78.
被引量:3
6
王昌晶,薛锦云,左正康.
SRLtoRadl生成系统及其范畴论语义[J]
.电子学报,2014,42(1):137-143.
被引量:11
7
李智,金芝.
从用户需求到软件规约:一种问题变换的方法[J]
.软件学报,2013,24(5):961-976.
被引量:8
8
明仲.
结合UML和RAISE的软件开发方法研究[J]
.计算机工程,2001,27(4):23-25.
被引量:2
9
蔡琼,李兴国,丁帅.
可信软件实时性测试用例集生成方法研究[J]
.计算机应用研究,2009,26(6):2344-2346.
被引量:2
10
苗德成,奚建清,贾连印,刘勇.
一种形式语言代数模型[J]
.华南理工大学学报(自然科学版),2011,39(10):74-78.
被引量:8
科技纵览
2016年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部