您的位置： 专家智库 > >

国家高技术研究发展计划(2012AA011201)

作品数：14 被引量：63H指数：6
相关作者：宫云战王雅文金大海黄俊飞王怀民更多>>
相关机构：北京邮电大学国防科学技术大学中国科学院更多>>
发文基金：国家高技术研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术电子电信文化科学更多>>

文献类型

  • 14篇期刊文章
  • 5篇会议论文

领域

  • 17篇自动化与计算...
  • 1篇电子电信
  • 1篇航空宇航科学...
  • 1篇文化科学

主题

  • 4篇测试用例
  • 3篇软件测试
  • 3篇METHOD
  • 2篇BASED_...
  • 2篇GENERA...
  • 2篇测试用例生成
  • 1篇代码
  • 1篇代码分析
  • 1篇代数
  • 1篇等价
  • 1篇等价变换
  • 1篇多目标
  • 1篇多目标优化
  • 1篇多目标优化问...
  • 1篇多线程
  • 1篇异常处理
  • 1篇隐私
  • 1篇隐私泄露
  • 1篇有向感知模型
  • 1篇约束满足问题

机构

  • 10篇北京邮电大学
  • 3篇国防科学技术...
  • 2篇中国科学院
  • 1篇河南科技大学
  • 1篇四川大学
  • 1篇中国人民解放...
  • 1篇中国石油大学...
  • 1篇装甲兵工程学...
  • 1篇斯威本科技大...

作者

  • 8篇宫云战
  • 4篇王雅文
  • 3篇金大海
  • 2篇邢颖
  • 2篇王怀民
  • 2篇黄俊飞
  • 1篇肖庆
  • 1篇李小勇
  • 1篇李小玲
  • 1篇尹刚
  • 1篇毛新军
  • 1篇毛晓光
  • 1篇丁博
  • 1篇董玉坤
  • 1篇杨红雨
  • 1篇于鹏洋
  • 1篇雷晏
  • 1篇李峰
  • 1篇闫鑫
  • 1篇钱茛南

传媒

  • 4篇软件
  • 3篇北京邮电大学...
  • 2篇计算机辅助设...
  • 1篇电子学报
  • 1篇计算机学报
  • 1篇电子科技大学...
  • 1篇后勤工程学院...
  • 1篇计算机教育

年份

  • 2篇2017
  • 1篇2016
  • 3篇2015
  • 8篇2014
  • 4篇2013
  • 1篇2012
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
Android应用隐私泄露静态代码分析被引量：10
2012年
Android平台的应用安全问题日益引起大家的重视,用户隐私泄漏显得尤其严重。本文从代码层面对常见的隐私信息读取以及泄露方式进行了研究并提出了相应的代码特征。提出了一种新的基于代码静态分析技术检测Android应用隐私泄露的方案。该方案基于DTS静态分析框架进行了改造,将隐私泄露作为一类缺陷模式,进而实现了检测Android应用的隐私泄露的系统,并进行了实验验证。
于鹏洋黄俊飞宫云战
关键词：计算机软件隐私泄露ANDROID应用
A method of stub generation for I/O functions in automatic test
Library functions and system calls have been major difficulties faced by automatic test.Input/output(I/O) func...
Y.W.YangY.W.WangY.Z.Gong
文献传递
自动测试用例生成中非四则运算的等价变换方法
2015年
C工程中的非四则运算在所有数值运算中出现的比例为23%.在使用搜索技术进行测试用例生成时,非四则运算的求解效率很低,因为非四则运算没有对应的区间运算法则以提高搜索效率.为此,提出一种等价变换方法,将非四则运算分解为多个四则运算,再应用四则运算的区间运算来提高整体的求解效率.实验表明,此方法能提高非四则运算的测试用例生成效率.
李峰黄俊飞宫云战
关键词：测试用例生成等价变换
基于缓存估算模型的代码测试系统性能优化方法被引量：4
2013年
为了解决代码测试系统测试C项目的时间开销较大这一问题,本文提出了一种基于缓存估算模型的性能优化方法。该方法向代码测试系统中引入了缓存技术,并且建立了缓存规模估算模型。不相似的C项目应用该模型计算出的缓存规模是不一样的。使用缓存规模估算模型后,代码测试系统文件缓存的规模能够随着C项目的改变而发生改变,具有动态变化的能力。缓存估算模型已在系统中实现,对4个开源C项目的测试结果表明:该优化方法能有效地提高代码测试系统测试C项目时的时间性能。
徐教显王雅文
关键词：软件测试文件缓存
基于Linux平台的单元测试用例执行框架被引量：11
2013年
测试用例执行框架是代码测试系统(Code Testing System CTS)的重要组成部分,用于执行测试用例,捕获插装结果。在CTS系统从Windows平台向Linux平台移植的过程中,测试用例执行框架遇到了线程调用和控制不兼容,异常捕获失败以及代码编译不通过等问题。本文通过使用Linux平台上常用的Pthread线程库,解决线程调用问题,通过设计并实现异常栈解决C语言异常捕获失败的问题,通过解析被测单元所在C语言工程的makefile文件,提取出编译需要的头文件及链接共享库或静态链接库需要的链接选项,解决测试用例执行框架编译失败的问题。通过解决上述问题,CTS的测试用例执行框架能够在Linux平台上正常运行。
金凯峰王雅文
关键词：软件测试多线程异常处理
基于区域内存模型的空指针引用缺陷检测被引量：8
2014年
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系;其次,给出了基于抽象语法树与函数摘要识别被引用指针方法;最后,结合基于RSTVL的数据流分析结果,将对被引用指针的检测转换为对相应区域的检测,给出了空指针引用缺陷检测的方法,通过函数摘要实现过程间的空指针引用缺陷检测.对比实验结果表明,本文方法在保证一定检测准确率的前提下,能够极大的减少空指针引用缺陷的漏报.
董玉坤宫云战金大海
关键词：内存模型
结构体对象的赋值运算方法研究
2013年
随着计算机技术的飞速发展,软件的覆盖面越来越广,软件质量的保证成为了一个越来越重要的环节。结构体在程序设计语音中被广泛使用,在静态代码检测的时,对结构体变量进行区间运算的时候不能给出其明确的区间信息,会对其相关运算的判断精度造成影响,本文介绍了一种对结构体赋值运算的区间计算方法。首先,从抽象语法树中识别结构体变量节点,其次为他们建立抽象内存模型,再次根据控制流图节点在其进行赋值运算的时候对它的子成员变量进行运算。
闫鑫金大海宫云战
关键词：软件测试控制流图
A mutation-based fault injection method for C program
Fault injection plays a critical role in the verification of software’s reliability.This paper presents a faul...
H.SongY.W.WangG.N.QianY.Z.Gong
文献传递
面向C语言的故障注入平台被引量：1
2016年
针对现有面向C语言的故障注入工具功能上的不足,基于程序变异技术设计并实现了一个面向C语言的故障注入平台.平台由故障注入、故障模型、批量执行和结果分析4个模块组成,可自动完成故障注入和执行的整个流程.使用实际开源项目中的程序和其他故障注入工具进行实验对比,结果表明,该平台可支持更多实际工程中的函数,可对实际工程进行获取故障检测率的实验,整体适用范围更广.
钱茛南宫云战王雅文邢颖
关键词：变异算子
基于区间必然集的测试用例生成方法被引量：2
2013年
针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.
王雅文宫云战肖庆
关键词：测试用例上下文环境
全选 清除 导出
共2页<12>
聚类工具0