姓名：董玉坤
性别：男

民族：汉
办公电话：

职务：软件工程系副主任
职称：讲师

电子邮箱：dongyk@upc.edu.cn

个人简介：董玉坤，博士，硕士生导师，讲师。2003年6月毕业于中国石油大学（华东）通信工程专业，获得工学学士学位；2006年6月毕业于中国石油大学（华东）计算机软件与理论专业，获得工学硕士学位并留校任教；2011年9至2014年10月在北京邮电大学计算机科学与技术专业学习，并获得工学博士学位。主要研究方向为软件测试、程序分析。先后主持或承担多项科研与教学项目，发表科研论文10余篇，获得省部级科研奖励2项，主编教材1部。
所在的网络服务与生物计算创新团队拥有宽敞独立的实验室、一流的软硬件科研平台、浓郁的科研氛围，并与清华大学、北京大学、同济大学、马德里理工大学、浪潮集团等国内外知名高校及IT企业建立了良好的合作关系。欢迎有志在软件测试、程序分析、软件安全方面深造的同学报考研究生。


研究领域
软件测试、程序分析、代码级缺陷检测
科研项目
主持的科研与教改项目：
1、山东省自然科学基金项目《代码级内存缺陷检测的充分性研究》（BS2015DX017）, 2015.07-2017.06；
2、中央高校基本科研业务经费资助项目《C程序代码级内存缺陷的充分性检测技术研究》（15CX02050A）, 2015.01-2016.12；
3、横向项目《站库消防自控系统抢维修技术研究----消防智慧管理平台开发与应用》2018.12-2020.02；
4、中国石油大学（华东）教改项目《基于OBE工程教育理念的软件工程核心课程教学改革》（QN201616）, 2016.10-2018.9。

论文及著作
1、董玉坤, 金大海等. 基于区域内存模型的C程序静态分析, 软件学报, 2014
2、董玉坤, 宫云战等. 基于区域内存模型的空指针引用缺陷检测, 电子学报, 2014
3、Yukun Dong. A sound abstract memory model for static analysis of C programs. International Journal of Computational Science and Engineering. 2018.
4、Yukun Dong. Detecting all potential null dereferences based on points-to property sound analysis. International Journal of Computers and Applications. 2018
5、董玉坤. 基于符号约束集的条件表达式数据流分析. 科学技术与工程, 2018.
6、董玉坤. C程序非法计算缺陷的静态检测, 计算机工程与应用, 2016
7、董玉坤. 基于属性可靠分析的空指针引用缺陷检测, 计算机工程与应用, 2016
8、董玉坤, 李村合. 基于UML协作图的集成测试序列生成方法, 计算机工程与应用, 2007
9、董玉坤, 李村合. 基于Struts的Web程序分析与测试, 微计算机应用, 2007
10、Yukun Dong. Fully detection of illegal memory access defects, CISIS 2016
11、Yukun Dong. Fully detection of illegal value use defects, INCOS 2016
12、Yukun Dong. RSTVL: A sound memory model for static analysis of C programs, ICAICE 2015
13、Yukun Dong. Symbolic Procedure Summary Using Region-based Symbolic Three-Valued Logic, Journal of Computer, 2014
14、Yukun Dong. An Approach for Identifying Detecting Objects of Null Dereference, Journal of Software, 2014
15、Yukun Dong. An Approach to Fully Recognizing Addressable Expression, QSIC 2013
16、董玉坤. 大学课堂中“假性边缘人”现象及解决对策, 中国石油大学学报（社会科学版），2017
17、董玉坤. 基于OBE模式的软件测试课程教学改革研究，课程教育研究 2017
18、董玉坤. “软件测试”课程教学现状分析, 课程教育研究 2015
19、董玉坤. 面向卓越测试工程师培养的软件测试课程教学改革与实践, 教育教学论坛 2016
20、中国石油大学（华东）规划教材，《软件测试技术》，中国石油大学出版社，2017（排名：2/2）
21、专利：一种充分识别指针引用检测对象的方法 专利号：ZL9.7（排名2/5）
22、专利：一种充分检测空指针引用缺陷的方法 专利号：9.0（排名：3/5）
23、专利：一种基于符号化函数摘要的静态分析方法及系统 专利号：2.1（排名：5/5）

获得荣誉
1、中国产学研合作促进会，创新成果奖,二等奖，知识驱动的油气开采智能生产关键技术，2018（排名4/10）
2、中国石油和化学工业联合会，科技进步奖,三等奖, 大数据环境下油气开采智能生产关键技术，2018（排名4/15）
3、中国石油大学（华东）教学成果一等奖（排名：4/9），2017
4、中国石油大学（华东）教学成果二等奖（排名：3/7），2015
5、中国石油大学（华东）优秀教师，2015；
6、中国石油大学（华东）优秀班主任，2015；
7、山东省优秀学士学位论文指导教师，2011