您的位置： 专家智库 > >

王思岚

作品数：10 被引量：4H指数：1
供职机构：北京邮电大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术自然科学总论更多>>

合作作者

文献类型

  • 7篇专利
  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 5篇自动化与计算...
  • 1篇自然科学总论

主题

  • 5篇控制流
  • 4篇语法分析
  • 4篇软件测试
  • 4篇不可达路径
  • 4篇词法分析
  • 3篇循环语句
  • 3篇语句
  • 2篇调用函数
  • 2篇语法树
  • 2篇软件测试过程
  • 2篇重选
  • 2篇被覆
  • 2篇抽象语法
  • 2篇抽象语法树
  • 1篇代码
  • 1篇迭代
  • 1篇迭代计算
  • 1篇软件开发
  • 1篇数据流

机构

  • 10篇北京邮电大学

作者

  • 10篇王思岚
  • 9篇宫云战
  • 8篇王雅文
  • 5篇金大海
  • 3篇肖庆
  • 2篇赖思佳
  • 2篇韩春晓
  • 2篇周傲
  • 2篇杨朝红
  • 2篇谭立力
  • 2篇黄俊飞
  • 2篇李青翠
  • 1篇赵云山

传媒

  • 1篇清华大学学报...

年份

  • 2篇2014
  • 1篇2013
  • 4篇2012
  • 3篇2011
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种选取路径的方法及装置
本发明公开了一种选取路径的方法，包括：当确定为目标覆盖元素选取的初始路径为不可达路径，并且确定目标覆盖元素的重选路径为不可达路径时，利用保存的不可达路径为目标覆盖元素选出子路径，若检测出该子路径可达，则确定该子路径为目标...
宫云战王雅文王思岚黄俊飞金大海
文献传递
一种程序中不可达路径的静态检测方法
本发明公开一种程序中不可达路径的静态检测方法，该方法包括：A、对待测试程序的函数单元进行词法分析、语法分析及语义分析，生成函数的控制流图；B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要；C、在...
王雅文宫云战肖庆杨朝红金大海李青翠王思岚
一种程序中不可达路径的静态检测方法
本发明公开一种程序中不可达路径的静态检测方法，该方法包括：A、对待测试程序的函数单元进行词法分析、语法分析及语义分析，生成函数的控制流图；B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要；C、在...
王雅文宫云战肖庆杨朝红金大海李青翠王思岚
文献传递
循环语句中变量抽象取值的迭代求精方法
本发明提供了一种循环语句中变量抽象取值的迭代求精方法，所述方法包括：根据控制流图CFG进行数据流迭代，得到上次迭代区间LastDomain；根据循环头节点LoopHead的循环条件进行循环语句块的数据流迭代，得到本次迭代...
金大海宫云战赵云山肖庆王思岚
文献传递
基于覆盖率量化指标确定软件测试过程充分性的方法
本发明提供一种基于覆盖率量化指标确定软件测试过程充分性的方法，包括：A、对被测程序进行预编译、词法分析和语法分析，得到程序的抽象语法树、控制流图和函数之间的调用关系图，并根据用户测试需求，自动生成被测单元；B、根据覆盖准...
王雅文宫云战谭立力韩春晓王思岚周傲赖思佳
一种选取路径的方法及装置
本发明公开了一种选取路径的方法，包括：当确定为目标覆盖元素选取的初始路径为不可达路径，并且确定目标覆盖元素的重选路径为不可达路径时，利用保存的不可达路径为目标覆盖元素选出子路径，若检测出该子路径可达，则确定该子路径为目标...
宫云战王雅文王思岚黄俊飞金大海
单元覆盖测试中基于区间运算的路径选择被引量：3
2011年
单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆盖测试实验,单元平均覆盖率从46%提升到了70%,验证了该方法能有效地提高覆盖率。
王思岚王雅文宫云战
关键词：软件测试不可达路径
单元覆盖测试中基于区间运算的路径选择方法
单元覆盖测试的目标是达到尽可能高的覆盖率。根据覆盖准则选取目标覆盖元素，并针对目标覆盖元素选择路径，是单元覆盖测试中的一个重要步骤。本文为了提高单元自动覆盖测试的覆盖率，提出了一种面向目标覆盖元素的可达路径选择方法。该方...
王思岚王雅文宫云战
关键词：软件开发软件测试
基于覆盖率量化指标确定软件测试过程充分性的方法
本发明提供一种基于覆盖率量化指标确定软件测试过程充分性的方法，包括：A.对被测程序进行预编译、词法分析和语法分析，得到程序的抽象语法树、控制流图和函数之间的调用关系图，并根据用户测试需求，自动生成被测单元；B.根据覆盖准...
王雅文宫云战谭立力韩春晓王思岚周傲赖思佳
文献传递
单元测试中代码覆盖分析及路径选择技术的研究与应用
为了减少测试花费的代价,避免测试人员将自身错误强加到软件上,自动化测试受到了越来越多的关注。单元测试是最低级别的测试活动,能发现软件的大部分错误。单元自动测试通常根据测试路径来生成测试用例,用代码覆盖来衡量测试的充分性。...
王思岚
关键词：不可达路径
文献传递
全选 清除 导出
共1页<1>
聚类工具0