软件分析与测试

分布式系统

长期从事大数据系统软件质量保障技术研究，基于软件测试与验证方法，为数据库系统（如图数据库系统、关系型数据库系统、向量数据库系统等）、分布式大数据系统（流式大数据处理系统、大规模图数据计算引擎等）提出一系列缺陷检测和性能优化方法，为构建高可靠、高性能的大数据系统软件提供有力支撑。相关研究成果在ICSE、ISSTA、ICDE、VLDB等软件工程和数据库领域国际知名会议/期刊发表论文15篇；在14个知名数据库系统中，检测到200余项缺陷。欢迎对软件分析与测试感兴趣的同学与我联系。

个人主页：Yingying Zheng (郑莹莹)

   

2019.09至2024.06   中国科学院软件研究所   博士   软件工程

2014.09至2017.06   中国科学院软件研究所   硕士   软件工程

2010.09至2014.07   吉林大学                 学士   软件工程

   

2019.09至2024.06   中国科学院软件研究所   博士   软件工程

2014.09至2017.06   中国科学院软件研究所   硕士   软件工程

2010.09至2014.07   吉林大学                 学士   软件工程

2025.10至今     中国科学院软件研究所   高级工程师

2020.09至2025.10   中国科学院软件研究所   工程师

2017.07至2020.09   中国科学院软件研究所    助理工程师