您的位置: 专家智库 > >

王雅文

作品数:124 被引量:148H指数:9
供职机构:北京邮电大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术自然科学总论更多>>

文献类型

  • 91篇专利
  • 27篇期刊文章
  • 5篇会议论文
  • 1篇学位论文

领域

  • 48篇自动化与计算...
  • 2篇自然科学总论

主题

  • 39篇控制流
  • 35篇软件测试
  • 25篇抽象语法
  • 24篇测试用例
  • 23篇语法树
  • 23篇抽象语法树
  • 18篇代码
  • 16篇语句
  • 12篇词法分析
  • 10篇源程序
  • 10篇状态机
  • 10篇流图
  • 10篇控制流图
  • 10篇函数
  • 9篇源代码
  • 9篇自动生成
  • 8篇语法
  • 8篇语法分析
  • 8篇函数调用
  • 8篇符号表

机构

  • 124篇北京邮电大学
  • 8篇装甲兵工程学...
  • 3篇中国科学院
  • 2篇桂林电子科技...
  • 1篇长春汽车工业...
  • 1篇辽宁工程技术...

作者

  • 124篇王雅文
  • 113篇宫云战
  • 86篇金大海
  • 70篇黄俊飞
  • 23篇杨朝红
  • 22篇肖庆
  • 8篇李峰
  • 8篇王前
  • 8篇王思岚
  • 8篇张大林
  • 7篇邢颖
  • 7篇周傲
  • 6篇陈俊亮
  • 6篇董玉坤
  • 6篇钱茛南
  • 5篇周虹伯
  • 5篇蔡敏
  • 5篇赵云山
  • 5篇姚欣洪
  • 4篇韩春晓

传媒

  • 5篇北京邮电大学...
  • 3篇计算机辅助设...
  • 3篇计算机测量与...
  • 2篇计算机研究与...
  • 2篇电子学报
  • 2篇清华大学学报...
  • 2篇计算机工程
  • 2篇软件
  • 1篇内蒙古大学学...
  • 1篇软件学报
  • 1篇北京化工大学...
  • 1篇郑州大学学报...
  • 1篇信息通信技术
  • 1篇中国科学:信...

年份

  • 5篇2024
  • 2篇2023
  • 3篇2022
  • 4篇2021
  • 1篇2020
  • 1篇2019
  • 5篇2018
  • 15篇2017
  • 11篇2016
  • 12篇2015
  • 16篇2014
  • 11篇2013
  • 12篇2012
  • 12篇2011
  • 5篇2010
  • 3篇2009
  • 5篇2008
  • 1篇2007
124 条 记 录,以下是 1-10
排序方式:
软件测试用例自动生成方法及系统
本发明提供一种软件测试用例自动生成方法,该方法包括:A.读取待测软件,对待测软件源程序进行词法分析、语法分析及语义分析,生成待测软件的抽象语法树和控制流图;B.通过遍历所生成的抽象语法树,对待测软件源程序进行预处理:识别...
宫云战杨朝红陈俊亮肖庆张威王雅文
文献传递
一种缺陷关联方法及装置
本发明公开了一种缺陷关联方法,包括:从缺陷报告中提取缺陷对应的代码块,根据所提取的代码块生成缺陷相关代码块序列信息库;获取所述缺陷相关代码块序列信息库的基本频繁子序列,并消除所述基本频繁子序列中不满足约束条件的频繁子序列...
金大海宫云战张大林黄俊飞王雅文
文献传递
基于缓存估算模型的代码测试系统性能优化方法被引量: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平台上正常运行。
金凯峰王雅文
关键词:软件测试多线程异常处理
用于包括多个函数测试模块的单元测试方法及装置
本发明公开了一种用于包括多个函数测试模块的单元测试方法及装置,为解决现有的单元测试中无法实现函数调用语句中函数错误的测试而设计。所述方法包括构建测试模块,所述测试模块包括两个以上有调用关系的函数;根据测试模块内程序的逻辑...
黄俊飞宫云战金大海王雅文李峰
文献传递
一种程序中不可达路径的静态检测方法
本发明公开一种程序中不可达路径的静态检测方法,该方法包括:A、对待测试程序的函数单元进行词法分析、语法分析及语义分析,生成函数的控制流图;B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要;C、在...
王雅文宫云战肖庆杨朝红金大海李青翠王思岚
文献传递
基于软件度量的集成测试序列生成方法被引量:2
2021年
为了确保软件产品能够按照设计预期正常工作,需要对其进行一系列测试。由于不同模块的重要性不尽相同,测试者对测试工程也有可能存在特殊的要求,如何帮助测试者提高效率是测试序列生成的主要问题。针对这些问题,设计并实现了:(1)结合自动化代码分析及软件度量等技术实现了函数模块重要性权值的自动计算;(2)在已有测试序列生成策略基础上进行优化,设计并实现了降低故障影响的动态测试序列优化技术及回归测试序列生成技术。通过对函数模块的细粒度建模以及多种测试序列自动生成策略相结合的方法,降低故障对测试进程影响,同时,提高了集成测试中回归测试的效率。
费克雄王雅文宫云战
关键词:软件测试
一种充分检测空指针引用缺陷的方法
本发明公开了一种充分检测空指针引用缺陷的方法,包括:基于抽象语法树识别出被测应用的全部可寻址表达式;根据控制流图对被测应用进行保守的区间运算与指针分析并根据区间运算与指针分析的结果,生成函数摘要;根据所述函数摘要以及抽象...
金大海宫云战董玉坤王雅文黄俊飞
文献传递
一种程序隐性约束提取方法及系统
本发明提供一种程序隐性约束提取方法及系统,包括:对于待测程序中的任一函数,将任一路径上的入口节点作为当前节点;获取当前节点与任一函数对应的抽象语法树上对应的当前语法节点,若当前语法节点包含目标变量,获取目标变量类型,根据...
宫云战张明哲王雅文金大海
文献传递
软件测试中循环代码的处理方法与系统
本发明公开了一种软件测试中循环代码的处理方法,先依据程序控制流图,查找被测代码的循环体,确定当前循环体的循环体前子路径,再确定当前循环体的所有单条子路径,组合所述单条子路径为组合子路径,所述循环体前子路径与所述组合子路径...
宫云战黄俊飞王雅文王强金大海
文献传递
共13页<12345678910>
聚类工具0