您的位置： 专家智库 > >

国家自然科学基金(61202080)

作品数：8 被引量：22H指数：3
相关作者：王雅文宫云战邢颖金大海肖庆更多>>
相关机构：北京邮电大学中国科学院辽宁工程技术大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 8篇期刊文章
  • 6篇会议论文

领域

  • 13篇自动化与计算...
  • 1篇理学

主题

  • 5篇测试用例
  • 4篇测试用例生成
  • 3篇软件测试
  • 3篇BASED_...
  • 3篇METHOD
  • 2篇约束满足问题
  • 2篇DYNAMI...
  • 2篇ED
  • 2篇GENERA...
  • 1篇多线程
  • 1篇异常处理
  • 1篇软件可测试性
  • 1篇上下文
  • 1篇上下文环境
  • 1篇爬山法
  • 1篇启发式规则
  • 1篇自动生成
  • 1篇踪迹
  • 1篇文件缓存
  • 1篇系统性能

机构

  • 7篇北京邮电大学
  • 3篇中国科学院
  • 1篇辽宁工程技术...
  • 1篇装甲兵工程学...
  • 1篇中国联通

作者

  • 5篇王雅文
  • 4篇宫云战
  • 2篇金大海
  • 2篇邢颖
  • 1篇肖庆
  • 1篇张海龙
  • 1篇王前
  • 1篇张大林
  • 1篇杨学红
  • 1篇闫鑫

传媒

  • 3篇软件
  • 2篇中国科学：信...
  • 1篇计算机辅助设...
  • 1篇北京邮电大学...
  • 1篇The Jo...

年份

  • 2篇2017
  • 8篇2014
  • 4篇2013
共 8 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
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
文献传递
基于区间必然集的测试用例生成方法被引量：2
2013年
针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.
王雅文宫云战肖庆
关键词：测试用例上下文环境
A method to facilitate automatic test cases generation based on inverse functions
In the area of automatic test cases generation,it is challenging to satisfy constraints of complex expressions...
W.XiongJ.F.HuangX.Z.ZhangY.Z.Gong
文献传递
基于踪迹挖掘的自动缺陷警报分类方法
2014年
缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.
张大林金大海宫云战张海龙杨学红
关键词：踪迹
基于缺陷检测难度的测试用例检错能力模型
2017年
在经典的变异评分计算过程中,因为不考虑被播种软件缺陷的检测难度而使得变异评分的可信性受到质疑.因此提出一种基于缺陷检测难度评价测试用例集合的方法.以logistic回归为基础,利用经验回归方程建立缺陷的识别概率与缺陷检测难度之间的数量关系.借助关系曲线下的面积,变异评分被重新定义.新定义的变异评分不但不受缺陷样本的检测难度影响,而且规避了因等价变异体的出现而使得经典变异评分的计算不准确的问题.
谭立力王雅文邢颖王前
关键词：软件可测试性LOGISTIC回归
基于缓存估算模型的代码测试系统性能优化方法被引量：4
2013年
为了解决代码测试系统测试C项目的时间开销较大这一问题,本文提出了一种基于缓存估算模型的性能优化方法。该方法向代码测试系统中引入了缓存技术,并且建立了缓存规模估算模型。不相似的C项目应用该模型计算出的缓存规模是不一样的。使用缓存规模估算模型后,代码测试系统文件缓存的规模能够随着C项目的改变而发生改变,具有动态变化的能力。缓存估算模型已在系统中实现,对4个开源C项目的测试结果表明:该优化方法能有效地提高代码测试系统测试C项目时的时间性能。
徐教显王雅文
关键词：软件测试文件缓存
基于Linux平台的单元测试用例执行框架被引量：12
2013年
测试用例执行框架是代码测试系统(Code Testing System CTS)的重要组成部分,用于执行测试用例,捕获插装结果。在CTS系统从Windows平台向Linux平台移植的过程中,测试用例执行框架遇到了线程调用和控制不兼容,异常捕获失败以及代码编译不通过等问题。本文通过使用Linux平台上常用的Pthread线程库,解决线程调用问题,通过设计并实现异常栈解决C语言异常捕获失败的问题,通过解析被测单元所在C语言工程的makefile文件,提取出编译需要的头文件及链接共享库或静态链接库需要的链接选项,解决测试用例执行框架编译失败的问题。通过解决上述问题,CTS的测试用例执行框架能够在Linux平台上正常运行。
金凯峰王雅文
关键词：软件测试多线程异常处理
结构体对象的赋值运算方法研究
2013年
随着计算机技术的飞速发展,软件的覆盖面越来越广,软件质量的保证成为了一个越来越重要的环节。结构体在程序设计语音中被广泛使用,在静态代码检测的时,对结构体变量进行区间运算的时候不能给出其明确的区间信息,会对其相关运算的判断精度造成影响,本文介绍了一种对结构体赋值运算的区间计算方法。首先,从抽象语法树中识别结构体变量节点,其次为他们建立抽象内存模型,再次根据控制流图节点在其进行赋值运算的时候对它的子成员变量进行运算。
闫鑫金大海宫云战
关键词：软件测试控制流图
基于分支限界搜索框架的测试用例自动生成被引量：4
2014年
作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和爬山法进行了有机的整合,分支限界作为全局搜索算法,而爬山法作为局部搜索算法,发挥各自的优势来对测试用例的解空间进行搜索.
邢颖宫云战王雅文张旭舟
关键词：测试用例生成约束满足问题分支限界爬山法
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
文献传递
全选 清除 导出
共2页<12>
聚类工具0