期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
采用Clang/LLVM的C++源代码覆盖率分析插装方法
被引量:
3
1
作者
李树芳
安金霞
+1 位作者
刘洋
陈良
《计算机科学》
CSCD
北大核心
2017年第11期191-194,共4页
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/L...
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,在运行时采集覆盖率信息并进行统计分析,输出覆盖率分析报告。实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求。
展开更多
关键词
c
++
clang
代码插装
覆盖率分析
在线阅读
下载PDF
职称材料
代码自动插装技术的研究与实现
被引量:
15
2
作者
晏华
袁海东
尹立孟
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2002年第1期62-66,共5页
介绍了代码插装技术的应用背景比较了手工和自动两种代码插装方式重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性和思路提出在编译预处理和编译阶段之间增加一个CPU无关的编译预处理文件且具有代码自动插装功能的语法词...
介绍了代码插装技术的应用背景比较了手工和自动两种代码插装方式重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性和思路提出在编译预处理和编译阶段之间增加一个CPU无关的编译预处理文件且具有代码自动插装功能的语法词法分析阶段的一种最佳实现方案给出了一个简单原型的实现
展开更多
关键词
覆盖测试
代码插装
软件工程
软件测试
在线阅读
下载PDF
职称材料
基于路径覆盖插桩的可执行代码测试工具实现
被引量:
4
3
作者
王轶
蒋同海
+1 位作者
董军
周喜
《计算机工程》
CAS
CSCD
2012年第5期35-37,40,共4页
为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证...
为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证和性能分析,结果表明,该策略能够有效减少插桩点数量,降低插桩对被测程序时间特性的影响。
展开更多
关键词
动态分析
单元测试
程序插桩
可执行代码
覆盖率分析
路径跟踪
在线阅读
下载PDF
职称材料
基于插桩技术的程序谱构建方法
被引量:
4
4
作者
王克朝
李兵
+1 位作者
王甜甜
陈京浩
《科学技术与工程》
北大核心
2014年第18期89-93,共5页
为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序...
为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。
展开更多
关键词
程序谱
源代码插桩
程序分析
覆盖测试
软件错误定位
在线阅读
下载PDF
职称材料
题名
采用Clang/LLVM的C++源代码覆盖率分析插装方法
被引量:
3
1
作者
李树芳
安金霞
刘洋
陈良
机构
中国酒泉卫星发射中心
出处
《计算机科学》
CSCD
北大核心
2017年第11期191-194,共4页
文摘
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,在运行时采集覆盖率信息并进行统计分析,输出覆盖率分析报告。实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求。
关键词
c
++
clang
代码插装
覆盖率分析
Keywords
c++
,
clang
,
code instrumentation
,
coverage analysis
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
代码自动插装技术的研究与实现
被引量:
15
2
作者
晏华
袁海东
尹立孟
机构
电子科技大学计算机科学与工程学院
北京科银京成技术有限公司成都研发中心
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2002年第1期62-66,共5页
文摘
介绍了代码插装技术的应用背景比较了手工和自动两种代码插装方式重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性和思路提出在编译预处理和编译阶段之间增加一个CPU无关的编译预处理文件且具有代码自动插装功能的语法词法分析阶段的一种最佳实现方案给出了一个简单原型的实现
关键词
覆盖测试
代码插装
软件工程
软件测试
Keywords
coverage
test
code instrumentation
c
ompile
lexi
c
al
analysis
syntax
analysis
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于路径覆盖插桩的可执行代码测试工具实现
被引量:
4
3
作者
王轶
蒋同海
董军
周喜
机构
中国科学院研究生院
中国科学院新疆理化技术研究所
出处
《计算机工程》
CAS
CSCD
2012年第5期35-37,40,共4页
基金
新疆维吾尔自治区重大专项基金资助项目(200732143-1)
电子信息产业发展基金资助项目([2009]453)
文摘
为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证和性能分析,结果表明,该策略能够有效减少插桩点数量,降低插桩对被测程序时间特性的影响。
关键词
动态分析
单元测试
程序插桩
可执行代码
覆盖率分析
路径跟踪
Keywords
dynami
c
analysis
unit test
program
instrumentation
exe
c
utable
code
coverage
rate
analysis
path tra
c
king
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于插桩技术的程序谱构建方法
被引量:
4
4
作者
王克朝
李兵
王甜甜
陈京浩
机构
哈尔滨学院软件学院
哈尔滨工业大学计算机科学与技术学院
重庆市公安局网络安全保卫总队
出处
《科学技术与工程》
北大核心
2014年第18期89-93,共5页
基金
国家自然科学基金(61202092
61173021)
+5 种基金
高等学校博士学科点专项科研基金(20112302120052)
中央高校基本科研业务费专项资金(HIT.NSRIF.201178)
哈尔滨科技创新人才专项资金(RC2013QN010001)
黑龙江省高教学会"十二五"重点规划课题项目(HGJXHB1110957)
黑龙江省普通高校青年学术骨干项目(12546037)
黑龙江省大学生创新创业项目资助
文摘
为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。
关键词
程序谱
源代码插桩
程序分析
覆盖测试
软件错误定位
Keywords
program spe
c
trum sour
c
e
code instrumentation
program
analysis
coverage
testing software fault lo
c
alization
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
采用Clang/LLVM的C++源代码覆盖率分析插装方法
李树芳
安金霞
刘洋
陈良
《计算机科学》
CSCD
北大核心
2017
3
在线阅读
下载PDF
职称材料
2
代码自动插装技术的研究与实现
晏华
袁海东
尹立孟
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2002
15
在线阅读
下载PDF
职称材料
3
基于路径覆盖插桩的可执行代码测试工具实现
王轶
蒋同海
董军
周喜
《计算机工程》
CAS
CSCD
2012
4
在线阅读
下载PDF
职称材料
4
基于插桩技术的程序谱构建方法
王克朝
李兵
王甜甜
陈京浩
《科学技术与工程》
北大核心
2014
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部