研究方向数据与知识工程计算机技术（专业学位）软件工程（专业学位）人工智能技术（专业学位）"科研项目北京交通大学：Comware V7 WAN XML插件开发项目二期，2013-08-01--2013-10-31，10.0万元，参加北京交通大学：Comware V7 WAN XML插件开发项目，2013-04-23--2013-07-26，10.25万元，主持科技部“科技支撑”：基于Mesh网络井下可视化无线救灾通讯技术与装备，2013-01-01--2017-12-31，892.0万元，参加北京交通大学：WLAN V7 AP管理框架一期，2012-11-12--2013-07-29，20.5万元，参加北京交通大学：WLAN RRM抗干扰研究，2012-08-01--2012-12-31，10.0万元，参加北京交通大学：自动化测试环境开发，2011-04-30--2011-07-30，12.0万元，参加国家自然科学基金“面上”：基于动态Mesh网络的流媒体P2P QoS传输机制研究，2011-01-01--2013-12-31，35.0万元，参加基本科研业务费：可信平台模块应用编程接口的形式化分析和自动验证，2009-12-01--2012-12-31，6.0万元，参加财政部：食品豆产品加工企业资料信息数据库建设，2009-10-12--2010-10-31，5.0万元，参加红果园：闭环仿真-1，2008-08-15--2010-08-15，17.0万元，参加科技部“863”：基于网格的铁路货运信息综合应用系统，2007-01-01--2010-12-31，144.2万元，参加北京交通大学：专业运输统计管理信息系统，2006-10-01--2007-12-30，8.0万元，参加铁道部科技司：铁路信息系统应用与技术研究-铁路计算机应用系统测试关键技术研究，2007-01-01--2008-12-31，30.0万元，参加红果园：信息交换平台关键技术研发，2005-07-01--2006-06-30，100.0万元，参加校科技基金：客运专线动车组信息化标准及关键技术研究，2006-01-01--2007-12-31，22.0万元，参加科技部“863”：软件开发公共技术支撑体系的若干关键技术研究和系统集成，2004-10-01--2005-10-01，80.0万元，参加科技部“863”：孵化器技术平台研究，2004-07-01--2005-10-01，100.0万元，参加"
近期论文
论文/期刊 1)Sun Wenhui, Liu Feng, Dai Gang, Li Honghui, “Modeling Session Initiation Protocol with Extended Finite State Machines”, The International Conference on Parallel and Distributed Computing, Applications and Technologies，2007，Adelaide, Australia，IEEE Press 2) Sun Wenhui, Dai Gang, Li Honghui, Zhang Jinyu, Liu Feng, “Formal Analysis of the VPN Service Management System”, The International Conference on Parallel and Distributed Computing, Applications and Technologies，2007，Adelaide, Australia，IEEE Press 3）Sun Wenhui, Liu Feng, Zhang Jinyu, Dai Gang “Modeling web service compositions with CSP”，The Sixth International Conference on Distributed Computing and Applications for business, engineering and sciences，2007 4）孙文辉，刘峰，戴钢，张晋豫 “面向服务的服务等级协议管理机制”,“计算机科学”专刊，第六届全国软件与应用学术会议(NASAC2007) 5)Sun Wenhui, Liu Feng, Zhang Jinyu “Develop a telecommunication service system using service-oriented architecture” The Second IEEE International Symposium on Service-Oriented Applications, Integration and Collaboration (SOAIC-2006) Oct.24-26, Shanghai,IEEE Press 6)Sun Wenhui, Zhang Jinyu, Liu Feng “WS-SLA: A Framework for web services oriented service level agreements” the 10th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2006), IEEE Press, 2006 7）孙文辉，刘峰，徐悦 “基于设计模式的综合网络管理应用” 南京大学学报 2005.6(专刊) 8) 孙文辉, 刘峰, 戴钢, 张晋豫 “基于XML数据库的信用信息交换平台的设计与实现”, “计算机应用与软件”2009. 9）赵慧娟，孙文辉 “基于符号执行的单元测试研究与应用” 《计算机应用与软件》 2012 10）赵慧娟，孙文辉 “基于退火遗传算法的单元测试方法” 《计算机工程》 2013 11）宋玉婷，孙文辉 “基于JML的标记-清扫垃圾收集验证” 《计算机应用与软件》 2014 12）刘誉臻，孙文辉，张震宇 “程序覆盖进行错误自动定位方法的在线实验平台” 《小型微型计算机系统》 2016 13）张瑜，孙文辉 “基于流分析与归纳不变式结合的German协议验证” 《计算机系统应用》 2017 14）王琦，孙文辉 “基于程序变异分析的软件错误定位” 《计算机工程》 2017
