▶▶▶ 国家自然科学基金

面向真实错误程序的高阶变异错误定位技术研究 2020-2022

基于深度强化学习的软件持续集成测试优化技术研究 2019-2021

面向软件回归测试用例集优化的混合进化方法研究 2018-2020

Web 应用软件安全测试用例集 Memetic 演化生成方法研究 2017-2020

状态模型切片及测试技术研究 2015-2018

基于 GPGPU 的软件回归测试用例多目标预优化 2012-2015

含复杂数据和过程调用的 EFSM 模型测试生成研究及生成效率关键因素分析 2011-2013

新型状态模型切片关键技术研究 2010-2012

基于规范和程序输入域分析的软件测试数据生成方法 2005-2007


▶▶▶ 省部级课题

基于方法消息序列的面向对象软件集成测试技术研究 北京市自然科学基金项目 2007-2009

基于最优化技术的自适应非数值型软件测试数据自动生成方法研究 教育部科学技术重点项目 2007-2009

国家文物局重点科研基地运行评估规则及评估指标修订 国家文物局 2019-2020

第一次全国可移动文物普查结项评估 国家文物局 2016

中央地方共建国家博物馆运行评估试点实施方案编制工作 国家文物局 2013

博物馆陈列展示适宜技术研究 国家文物局 2012


▶▶▶ 企事业重大合作课题

在役输油泵组性能监测与故障诊断技术研究开发 2019-2020

重大设备运行数据采集与服务状态管理平台研究与开发 2019-2022

软件安全性分析与设计工具研发 2019-2020

山西省文博信息化建设规划 2019

京津冀科技资源元数据规范研究 2017

装备质量管理工具方法集成应用研究 2016-2017