代码插装

作品数:18被引量:72H指数:5
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:姚砺安金霞李树芳陈艳徐晓峰更多>>
相关机构:上海交通大学西安交通大学东华大学中国科学技术大学更多>>
相关期刊:《安徽大学学报(自然科学版)》《山东师范大学学报(自然科学版)》《声学与电子工程》《电子科技大学学报》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”国家科技重大专项更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
采用Clang/LLVM的C++源代码覆盖率分析插装方法被引量:3
《计算机科学》2017年第11期191-194,共4页李树芳 安金霞 刘洋 陈良 
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/L...
关键词:C++ Clang 代码插装 覆盖率分析 
嵌入式航天软件汇编代码覆盖测试方案被引量:3
《航天控制》2017年第5期68-73,共6页马云云 张弛 王金波 瞿跃龙 
载人航天国家重大专项(Y6140511RN)
从插桩策略、覆盖率收集方法 2个方面设计实现了一种汇编代码覆盖测试方案,解决了嵌入式航天软件汇编代码覆盖测试没有工具支持的问题。针对嵌入式系统资源紧张、时序相关性强的特点,在研究汇编语言指令结构的基础上,制定了一套基于比...
关键词:覆盖测试 软件测试 嵌入式软件 代码插装 
采用C++代码插装的实时软件内存错误分析被引量:4
《计算机科学与探索》2014年第6期704-711,共8页李树芳 陈霞 安金霞 陈东升 
国家自然科学基金No.60970022~~
在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通...
关键词:实时软件 内存错误 内存泄漏 代码插装 
基于代码插装的缓冲区溢出漏洞定位技术被引量:2
《计算机工程》2012年第9期138-140,共3页史胜利 
为准确快速地找到缓冲区溢出漏洞点,提出一种通过代码插装对二进制文件中的缓冲区溢出漏洞自动定位的方法。使用PIN提供的函数编写程序分析工具,在程序执行过程中记录所需的信息。当检测到内存访问错误异常时,判别破坏内存的情况,获取...
关键词:漏洞定位 代码插装 返回地址 函数指针 异常 缓冲区溢出 
基于全局支配图算法的覆盖测试方法
《计算机工程》2010年第19期70-71,74,共3页于炳霞 谷青范 
目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序...
关键词:覆盖测试 全局支配图算法 测试用例 程序流图 代码插装 
基于超级块支配图插装的软件测试工具设计与实现被引量:4
《计算机应用研究》2010年第3期923-927,共5页徐晓峰 陈艳 李伊飏 林晓鹏 郭东辉 
国家自然科学基金资助项目(60753001);国家教育部新世纪人才计划基金资助项目
通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对C语言的软件自动测试工具(SAT),介绍了该工具中词法语法分析器、静态分析器、代...
关键词:代码插装 覆盖测试 超级块支配图 
基于符号化执行的Fuzzing测试方法被引量:5
《计算机工程》2009年第21期33-35,共3页陈建敏 舒辉 熊小兵 
设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据。提出一种改进的污点分析机制,...
关键词:FUZZING测试 代码插装 符号化执行 污点分析 
TESTBED在某型高炮火控软件测试中的应用被引量:3
《测试技术学报》2009年第2期123-128,共6页陈策 赵春霞 赵绍彩 
总装备部型号研制资助项目(AESTC070020)
研究了黑盒功能测试和结构覆盖测试,定义了各种覆盖率指标及指出其适用范围,根据覆盖率准则的包含关系,提出了装备定型中关键软件的测试策略;针对某型高炮系统的组成与特点,设计和搭建了其火控软件配置项测试的仿真测试平台;介绍了TEST...
关键词:嵌入式软件 软件测试 代码插装 覆盖率分析 火控系统 
一种Linux下动态内存泄漏检测技术的实现被引量:1
《信息技术》2007年第9期29-32,共4页刘明 戎蒙恬 郭芬 程曼丽 
内存泄漏是软件开发中经常遇到的问题。在使用C/C++开发的大型软件中,内存泄漏往往很难发现。现介绍了一种基于动态代码插装技术的内存泄漏检测器的实现方法。该方法在实践中证明简单易用,对软件运行期内的影响较低。
关键词:内存泄漏 代码插装 共享库注射 ptrace系统调用 
嵌入式软件覆盖测试工具的研究被引量:7
《计算机测量与控制》2007年第9期1238-1240,1258,共4页乔文军 万晓冬 
随着嵌入式系统的复杂性不断提高,嵌入式软件测试变得越来越重要;通过对ARM系统软件进行深入的研究,提出了一种应用于ARM嵌入式软件系统的覆盖测试工具的设计原理、系统模型及组成模块,分别就各个模块的具体设计进行了详细说明,着重探...
关键词:覆盖测试 嵌入式软件 代码插装 
检索报告 对象比较 聚类工具 使用帮助 返回顶部