您的位置： 专家智库 > >

董玉坤

作品数：69 被引量：85H指数：6
供职机构：中国石油大学（华东）更多>>
发文基金：国家自然科学基金山东省自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术文化科学医药卫生经济管理更多>>

合作作者

文献类型

  • 32篇期刊文章
  • 30篇专利
  • 2篇学位论文
  • 1篇会议论文

领域

  • 32篇自动化与计算...
  • 5篇文化科学
  • 1篇经济管理
  • 1篇医药卫生
  • 1篇理学

主题

  • 11篇内存
  • 9篇内存模型
  • 8篇数据流
  • 8篇数据流分析
  • 6篇图像
  • 6篇控制流
  • 5篇语法树
  • 5篇网络
  • 5篇C程序
  • 5篇抽象语法
  • 5篇抽象语法树
  • 4篇寻址
  • 4篇体型分类
  • 4篇流图
  • 4篇矩阵
  • 4篇控制流图
  • 4篇函数
  • 4篇函数调用
  • 3篇语法
  • 3篇语义

机构

  • 47篇中国石油大学...
  • 10篇北京邮电大学
  • 10篇黑龙江八一农...
  • 1篇东北石油大学
  • 1篇哈尔滨商业大...
  • 1篇山东科技大学
  • 1篇青岛大学

作者

  • 65篇董玉坤
  • 12篇庞善臣
  • 10篇张莉
  • 9篇金大海
  • 9篇宫云战
  • 8篇刘浩
  • 7篇王淑栋
  • 6篇黄俊飞
  • 6篇王雅文
  • 3篇肖明
  • 3篇李村合
  • 3篇张宇
  • 2篇于瑞华
  • 2篇张蕊
  • 2篇王珣
  • 1篇徐玲
  • 1篇泮思林
  • 1篇赵春霞
  • 1篇张素娟
  • 1篇邢颖

传媒

  • 5篇计算机工程与...
  • 3篇软件学报
  • 3篇计算机系统应...
  • 3篇黑龙江八一农...
  • 2篇计算机与数字...
  • 2篇科学技术与工...
  • 2篇办公自动化（...
  • 1篇佳木斯大学学...
  • 1篇黑龙江农业科...
  • 1篇微计算机应用
  • 1篇电子学报
  • 1篇计算机应用与...
  • 1篇实用医学杂志
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇农业网络信息
  • 1篇教育教学论坛
  • 1篇高教学刊
  • 1篇数学建模及其...
  • 1篇2008年O...

年份

  • 2篇2024
  • 7篇2023
  • 9篇2022
  • 7篇2021
  • 8篇2020
  • 3篇2019
  • 1篇2018
  • 2篇2017
  • 5篇2016
  • 1篇2015
  • 7篇2014
  • 1篇2013
  • 1篇2009
  • 2篇2008
  • 2篇2007
  • 2篇2006
  • 3篇2001
  • 1篇2000
  • 1篇1993
共 69 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
在IIS服务器上用ASP设计网上在线投票系统被引量：1
2001年
本文首先介绍了公共网关接口（CGI）的概念和特点，重点阐述ASP的运行机制和优势，给出了在IIS上运用ASP设计网上在线投票系统的设计思想和流程。
董玉坤陈颖齐瑛
关键词：CGIIISASP系统设计公共网关接口
空指针引用缺陷充分性检测技术研究
可信软件的相关研究是软件工程领域的一个焦点，如何在软件的开发过程或测试阶段中尽早的发现并消除掉软件缺陷，是构建可信软件的重要途径。软件代码中的缺陷是导致软件故障及漏洞的主要原因，其中静态分析技术是检测代码级缺陷的一种有效...
董玉坤
关键词：数据流分析
一种充分识别指针引用检测对象的方法
本发明涉及一种充分识别指针引用检测对象的方法，包括：对被分析函数进行词法分析和语法分析，生成被分析函数的抽象语法树；从所述抽象语法树上识别所述被分析函数内的指针引用表达式，根据所述指针引用表达式识别出被引用指针，并将被引...
王雅文董玉坤宫云战金大海黄俊飞
文献传递
面向卓越测试工程师培养的软件测试课程教学改革与实践被引量：2
2016年
本文针对软件测试课程培养的学生与卓越软件测试工程师要求的差距,分析了目前软件测试教学中存在的不足,提出了"方法—过程—工具—案例"四位一体的教学方法,旨在培养理论扎实、工程能力强的卓越软件测试工程师,以实现与软件测试行业的衔接。
董玉坤
关键词：软件测试教学改革
基于警报关联摘要的过程间警报关联分析
2022年
针对函数与函数之间存在警报间关联关系的问题,论文提出警报关联摘要来实现函数间分析,并利用该警报关联摘要实现过程间警报关联,通过该方法能够有效减轻人工判定警报的工作量。论文首先通过采用警报关联摘要实现函数调用的过程间分析,接着在调用点处进行警报关联摘要实例化得出警报对应的符号表达式及取值区间,分析警报间对应的符号表达式的逻辑关系得出关联关系,最后根据警报间的关联关系对警报进行判定。通过对5个实际C工程的测试结果表明,论文所提方法可以有效识别过程间警报关联关系,能够在一定程度上有效减轻人工判定警报的工作量。
张莉董玉坤刘浩尹文静
关键词：警报关联
一种充分检测空指针引用缺陷的方法
本发明公开了一种充分检测空指针引用缺陷的方法，包括：基于抽象语法树识别出被测应用的全部可寻址表达式；根据控制流图对被测应用进行保守的区间运算与指针分析并根据区间运算与指针分析的结果，生成函数摘要；根据所述函数摘要以及抽象...
金大海宫云战董玉坤王雅文黄俊飞
文献传递
一种基于程序切片的缺陷自动修复的修复位置确定方法
本发明提供了一种基于程序切片的缺陷自动修复的修复位置确定方法。首先，确定缺陷点的位置，即缺陷定位，将该缺陷点的位置初始化为缺陷的修复开始位置，并把该缺陷点作为程序切片的兴趣点N。之后，进行缺陷程序的抽象语法树的重建，收集...
庞善臣张莉董玉坤尹文静王淑玉
文献传递
程序依赖图引导修复模板的空指针引用自动修复方法
本发明公开一种程序依赖图引导修复模板的空指针引用自动修复方法，本方法利用程序依赖图充分了解语句间复杂的依赖关系，从而准确选择缺陷修复位置，针对不同情况的空指针引用制定不同的修复模板进行修复。该方法包括：A、通过程序依赖图...
王珣孙玉雪董玉坤唐道龙位欣欣张宇
融合注意力机制的人体部位细分类方法
2024年
针对传统人体部位体型分类方法费时费力、成本较高的问题,设计一种融合注意力机制的体型分类网络(Attention Body Classification Net,A_BCN)。该网络由弱监督的注意力学习和数据增强两个模块组成,其中:弱监督的注意力学习模块通过注意力机制获得注意力图;数据增强模块通过注意力图指导图像的数据增强,包括注意力裁剪、注意力丢弃和注意力平均。将增强后的图像重新输入到网络中得到特征图,将得到的特征图和注意力图融合进行分类。在后续自制的人体图像数据集中,该算法准确率为90.52%,提高了分类准确率并节省了成本。
王淑栋路洪翠董玉坤
关键词：体型分类
一种基于符号化函数摘要的静态分析方法及系统
本发明公开了一种基于符号化函数摘要的静态分析方法，该方法包括：利用RSTVL模型，描述当前函数的控制流图的节点的变量的存储状态；确定函数的当前节点为非最后节点且当前节点存在函数调用时，将被当前函数调用的函数的函数摘要进行...
宫云战金大海黄俊飞王雅文董玉坤
文献传递
全选 清除 导出
共7页<1234567>
聚类工具0