张大林

博士、副教授、博士生导师

基本信息

办公电话:010-51683811; 18518129296 电子邮件: dalin@bjtu.edu.cn
通讯地址:逸夫西703A 邮编:100044

教育背景

张大林,1983年生,籍贯内蒙古,博士,副教授,博士生导师。2014年7月毕业于北京邮电大学,获计算机科学与技术专业工学博士学位,并于同年7月来北京交通大学从事教学科研工作。2016至2017年在普渡大学(美国)电子与计算机工程系从事博士后研究。

研究方向

  • 软件工程理论与技术
  • 人工智能与大数据
  • 软件服务工程
  • 智能交通领域软件工程
  • 软件工程
  • 软件工程应用

招生专业

  • 软件工程硕士
  • 软件工程博士

专业方向

人工智能与软件工程、软件与系统安全、程序生成

教学工作

本科课程: 高级程序设计训练、C语言程序设计、WEB前端开发技术、软件质量保证与测试技术 

研究生课程:嵌入式软件测试、软件工程形式化方法 、经验软件工程(博)

在读学生

2020级 博士

郭超群 

2020级 硕士

吕  倩 (软件工程,保研,河北工程大学) 达日罕(软件工程,保研,北京交通大学) 傅京鹏(软件工程,保研,河南大学) 杨明睿(计算机科学与技术,保研,郑州大学) 张哲玮(计算机科学与技术,中国石油大学(北京))

张   雯(软件工程,辽宁大学) 李   娜(软件工程,大连大学) 刘   娟(软件工程,中国矿业大学)

2019级 

陈书悦 李雨欣  郝梓腾 刘进伟 张瑞丰 杨本艳 

科研项目

  • 北京交通大学: 北京地铁消息中台方案论证与标准编制, 2021-2022
  • 北京交通大学: 粮食数量质量高并发数据采集相关软件功能检测, 2021-2021
  • 北京交通大学: 面向智慧城市的服务资源知识图谱匹配研究, 2021-2022
  • 基本科研业务费自由申报项目: 基于主动学习与缺陷预测的高速铁路关键软件缺陷检测, 2021-2023
  • 北京交通大学: 代码缺陷检测系统 DTS 工具检测精度测试, 2021-2021
  • 北京交通大学: 中国国家铁路集团有限公司信息技术系统维保-TX-CTC项目技术服务, 2021-2021
  • 北京交通大学: 弓网燃弧识别监控系统开发, 2021-2021
  • 北京交通大学: 协议软件建模、分析、验证、测试方案, 2021-2022
  • 北京交通大学: 关系图谱预测模型测试项目, 2021-2021
  • 基本科研业务费人才基金: 基于逐点卷积神经网络的离散紧耦合选择模型研究, 2021-2023
  • 其它(科技处): 纯电动道路运输车辆运行安全风险特征与致因分析, 2020-2021
  • 北京交通大学: 综合感知预警系统系统测试, 2020-2021
  • 北京交通大学: 软件缺陷自动确认系统测试, 2020-2021
  • 其它: 基于超宽带技术的精确定位模组模型开发及验证, 2020-2021
  • 国家重点研发计划-任务: 互联网+政务大数据透明管理与智能服务平台, 2019-2022
  • 国家重点研发计划-任务: 智能运动感知技术与辅助训练系统, 2019-2022
  • 北京交通大学: 低密度铁路CTC系统显示规范及功能测试, 2020-2020
  • 北京交通大学: 铁总2019年度信息技术系统维保技术-TX-WB专项技术服务, 2019-2020
  • 北京交通大学: 河北省TOCC张家口分中心公交客流监测与交通感知预报系统研发, 2020-2021
  • 北京交通大学: 国家重点研发计划课题《城市轨道系统安全保障技术》(2016YFB1200402)综合感知预警系统和综合安全保障平台系统示范工程综合测试, 2019-2020
  • 北京交通大学: 米攀线CTC系统功能规范性测试, 2019-2020
  • 北京交通大学: 城市综合管廊智能运行维护管理系统, 2018-2019
  • 国家自然科学基金"青年基金": 面向系统自动化开发的高铁列控系统建模验证和安全性预测方法研究, 2019-2021
  • 其他部市(2020.10起仅限省部级科技计划\基金\专项): 铁路交通事故调查现状分析及方式方法研究, 2016-2017
  • 北京交通大学: 缺陷检测系统DTS中IP聚类功能测试, 2016-2018
  • 北京交通大学: CTS预处理和动态执行等模块功能性测试, 2016-2018
  • 科技部“科技支撑”: 面向高铁列车高效生产的新一代认知型制造执行系统研究与应用示范, 2015-2017
  • 北京交通大学: 基于3S技术的应急指挥应用系统测试, 2015-2016
  • 科技部“863”: 纵向预研基金-863计划-KWB211002534, 2015-2017
  • 铁路总公司(原铁道部): 铁路运营安全关键技术研究-高速铁路列控系统安全风险分析方法及技术研究, 2015-2016
  • 北京交通大学: 服务质量测试仪——缺陷检测系统DTS, 2015-2018
  • 北京交通大学: 服务质量测试仪---代码测试系统CTS, 2016-2018
  • 国家自然科学基金"青年基金": 基于抽象语义切片和后向求精分析的静态分析警报自动确认研究, 2016-2018
  • 北京交通大学: 多媒体会议系统测试, 2015-2018
  • 基本科研业务费: 轨道交通列车控制系统信息安全测试平台研究, 2015-2015
  • 基本科研业务费人才基金: 列车运行控制系统自动化设计、分析和实现技术研究, 2015-2018
  • 北京交通大学: 基于抽象内存模型的复杂类型测试用例生成方法研究---C代码测试系统测试, 2015-2018
  • 北京交通大学: GSM-R基站子系统同步标准研究及测试, 2015-2016
  • 2011计划: 轨道交通安全协同创新中心-王化深团队建设项目, 2015-2016
  • 基本科研业务费人才基金: 面向轨道交通的软件静态缺陷检测系统优化研究, 2014-2016

论文/期刊

  • Lyu Q, Zhang D, Da R, Zhang H. ReFuzz: A Remedy for Saturation in Coverage-Guided Fuzzing. Electronics. 2021; 10(16):1921. https://doi.org/10.3390/electronics10161921
  • D. Zhang, Y. Peng, Y. Zhang, D. Wu, H. Wang and H. Zhang, "Train Time Delay Prediction for High-Speed Train Dispatching Based on Spatio-Temporal Graph Convolutional Network," in IEEE Transactions on Intelligent Transportation Systems, doi: 10.1109/TITS.2021.3097064.
  • Wang, Y., Liu, J., Zhang, D., & Qiu, X. (2021, February). Reasoning about recursive tree traversals. In Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 47-61).
  • Mohammed, S., Arabnia, H. R., Qu, X., Zhang, D., Kim, T. H., & Zhao, J. (2020). IEEE Access Special Section Editorial: Big Data Technology and Applications in Intelligent Transportation. IEEE Access, 8, 201331-201344.
  • Sun, Y. and D. Zhang, Diagnosis and Analysis of Diabetic Retinopathy based on Electronic Health Records. IEEE Access, 2019.
  • Sun, Y., et al., Hyperparameter Importance Analysis based on N-RReliefF Algorithm. International Journal of Computers, Communications & Control, 2019. 14(4).
  • Sun, Y. and D. Zhang, Machine Learning Techniques for Screening and Diagnosis of Diabetes: a Survey. Tehnički vjesnik, 2019. 26(3): p. 872-880.
  • Wang, Y., et al., Reasoning About Recursive Tree Traversals. arXiv preprint arXiv:1910.09521, 2019.
  • Zhang, D. and X. Qiu. Applying GIS and multilayered interactive cellular automata to high-speed train control system modeling. in 2018 7th International Conference on Computers Communications and Control (ICCCC). 2018: IEEE.
  • Zhang, J., Q. Xue and D. Zhang, Mining usage profile to improve web performance testing. International Journal of Services Operations and Informatics, 2018. 9(3): p. 189-206.
  • Li, H., et al., Research on building software usage model based on UML model. International Journal of System Assurance Engineering and Management, 2018. 9(3): p. 675-683.
  • Zhang, Y., et al. Survey of Directed Fuzzy Technology. in 2018 IEEE 9th International Conference on Software Engineering and Service Science (ICSESS). 2018: IEEE.
  • Zhang, Y. and D. Zhang, An Attitude Determination Method for Comprehensive Inspection Vehicle Based on Track Profile Registration. Periodica Polytechnica Transportation Engineering, 2017. 45(4): p. 181-185.
  • Zhang, D., High-speed Train Control System Big Data Analysis Based on Fuzzy RDF Model and Uncertain Reasoning. International Journal of Computers, Communications & Control, 2017. 12(4).
  • Zhang, D., J. Sui and Y. Gong, Large scale software test data generation based on collective constraint and weighted combination method. Tehniki vjesnik, 2017. 24(4): p. 1041-1049.
  • Zhang, D., et al. A hybrid static analysis refinement approach within internetware environment. in Proceedings of the 7th Asia-Pacific Symposium on Internetware. 2015: ACM.
  • Xiao, Y., D. Jin and D. Zhang. A Method of Tainted Data Detection Based on Static Code Analysis. in 2015 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering. 2015: Atlantis Press.
  • Liu, Y., et al. Design and implementation of a data-oriented business process management system. in 2015 4th International Conference on Computer Science and Network Technology (ICCSNT). 2015: IEEE.
  • Liu, Y., et al. Heterogeneous sensors access middleware platform based on OSGI. in 2015 4th International Conference on Computer Science and Network Technology (ICCSNT). 2015: IEEE.
  •  Liu, Y., D. Jin and D. Zhang. Log System Based on Software Testing System Design And Implementation. in 2015 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering. 2015: Atlantis Press.
  • Zhang, D., et al., Research of alarm correlations based on static defect detection. Tehnički vjesnik, 2015. 22(2): p. 311-318.
  • Wu, T., et al. Static Analysis Refinement on Defect Path Segment. in 13th National Conference on Embedded System Technology. 2015: Springer, Singapore.
  • Chen, Y., et al. The design of warehouse security monitoring system based on collaborative linkage of multi-sensor. in 2015 4th International Conference on Computer Science and Network Technology (ICCSNT). 2015: IEEE.
  • ZHANG, D., et al., The method of automatic defect warnings classi cation based on trace mining. SCIENTIA SINICA Informationis, 2014. 44(1): p. 91-107.
  • 张大林等, 基于缺陷关联的静态分析优化. 软件学报, 2014. 25(2): 386-399.
  • Zhang, H., et al. Automatically Mining High Level Patterns of Software Faults within Methods. in 2013 13th International Conference on Quality Software. 2013: IEEE.
  • Zhang, D., et al. Automatically mining similar warnings and warning combinations. in 2013 10th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD). 2013: IEEE.
  • Zhang, D., et al. Diagnosis-oriented alarm correlations. in 2013 20th Asia-Pacific Software Engineering Conference (APSEC). 2013: IEEE.
  • Zhang, D., et al. Improving the accuracy of static analysis based on state partition. in 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 2013: IEEE.
  • 张大林等, 基于踪迹挖掘的自动缺陷警报分类方法. SCIENCE CHINA Mathematics, 2011. 54(54): 1561.

专著/译著

  • 源代码分析,2017,科学出版社

获奖与荣誉

2016年 北京交通大学优秀教学成果二等奖

社会兼职

1、期刊特邀主编

EURASIP Journal on Wireless Communications and NetworkingSCIInternational Journal of Open Source Software and Processes (EI)Journal International Journal of Computers and ApplicationsEI

IEEE ACCESS(SCIMULTIMEDIA TOOLS AND APPLICATIONSThe International Journal for the Computer and Telecommunications Industry

2、期刊编委:

IJOSSPJournal of Cybernetics and Information Technologies

3、期刊审稿人

软件学报、计算机学报、中国科学:信息科学、Technical GazetteFuture Generation Computer Systems、IEEE ACCESS、International Journal of Modelling and Simulation、International Journal for RF Technologies: Research and Applications等期刊。

4、CCF软件工程专委会委员