您的位置： 专家智库 > >

李飞宇

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

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇代码
  • 2篇语法树
  • 2篇源代码
  • 2篇自动生成
  • 2篇漏洞
  • 2篇控制流
  • 2篇符号表
  • 2篇安全漏洞
  • 2篇测试数据
  • 2篇程序源代码
  • 2篇抽象语法
  • 2篇抽象语法树
  • 2篇词法
  • 1篇指针别名
  • 1篇软件测试
  • 1篇数据自动生成
  • 1篇自动生成方法
  • 1篇别名
  • 1篇测试数据自动...

机构

  • 4篇北京邮电大学

作者

  • 4篇李飞宇
  • 3篇宫云战
  • 2篇金大海
  • 2篇肖庆
  • 2篇陈俊亮
  • 2篇杨朝红
  • 1篇刘传昌
  • 1篇王雅文

传媒

  • 1篇计算机辅助设...

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
  • 1篇2009
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种基于安全漏洞缺陷模式的检测方法
本发明公开了一种基于安全漏洞缺陷模式的检测方法，包括：读取被测程序源代码文件进行预处理，解析安全漏洞模式对应的安全漏洞状态机描述文件；再对被测程序代码进行词法、语法分析，构造出被测程序的抽象语法树；根据抽象语法树构造控制...
宫云战刘传昌陈俊亮杨朝红肖庆金大海李飞宇
文献传递
基于内存建模的复杂结构类型测试数据自动生成方法被引量：2
2012年
针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UATS,通过实验证明了该方法的可行性.
李飞宇宫云战王雅文
关键词：别名
基于内存建模的测试数据自动生成方法研究
软件测试是保证软件质量和提高软件可靠性的主要手段，其关键和核心问题之一是测试数据的生成。测试数据自动生成技术可以降低软件的开发成本，大大提高软件测试的效率，是当今软件测试自动化领域的一个研究重点。结构测试是一种重要的软件...
李飞宇
关键词：软件测试指针别名
一种基于安全漏洞缺陷模式的检测方法
本发明公开了一种基于安全漏洞缺陷模式的检测方法，包括：读取被测程序源代码文件进行预处理，解析安全漏洞模式对应的安全漏洞状态机描述文件；再对被测程序代码进行词法、语法分析，构造出被测程序的抽象语法树；根据抽象语法树构造控制...
宫云战陈俊亮杨朝红肖庆金大海李飞宇
文献传递
全选 清除 导出
共1页<1>
聚类工具0