1972年生,19984月于东南大学计算机科学与工程系获硕士学位并留校任教。20113月于东南大学计算机科学与工程学院在职获得博士学位。

目前的主要研究领域为基于模型的可信软件开发方法,主要研究方向为基于证明的程序开发(Certified Programming,或Proof-Carrying Code),同时关注软件规格说明的一致性、完整性、易用性问题。

曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目。曾在国内外学术杂志和会议上发表论文20余篇,7次获得省部级科技进步奖和教育部提名国家科学技术奖。

曾承担“程序设计语言原理”、“并发程序设计”等研究生课程和“编译原理”、“软件体系结构”等本科生课程的教学工作。

 

研究生招生

l  研究领域:基于模型的可信软件设计方法。

l  研究方向1:带证明的程序设计(Certified Programming)。

l  研究目的:一次性得到完全正确的程序,根本解决程序正确性问题。

l  使用工具:定理证明辅助工具Coq

l  应用目标:安全攸关的嵌入式系统。

l  典型应用:巴黎14号无人驾驶地铁,一次成功。98年投运至今,版本仍是1.0,从未出错。

l  方向特点:数学、逻辑与工程的紧密结合。如果你对从根本上解决程序正确性问题有兴趣,对数学和逻辑有兴趣,欢迎你在此方向和我共同研究!

l  研究方向2:受限自然语言与形式化描述相互转换的软件规格说明开发与验证环境。

l  研究目的:开发便于阅读和使用的软件规格说明。

l  应用目标:嵌入式系统的软件规格说明描述。

l  涉及领域:受限自然语言、本体、软件规格说明语言。此方向由张志政老师和我共同指导。

报考我的研究生请尽早与我联系,以便双方充分了解,也有利于考生熟悉研究领域。

 

科研项目

[1]基于反模式自动检测的代码质量分析与重构. 国家自然基金面上项目(61472175). 2015-2018. 参加

[2]本体匹配中的参数和策略调谐问题研究. 国家自然基金面上项目(61472077).2015-2018. 参加

[3]面向软件可信性演进的软件测试技术研究.国家自然科学基金重大研究计划(90818027).2009–2012.参加

[4]基于程序切片的软件测试优化技术.国家自然科学基金(60803007).2009-2011.参加

[5]高可信软件的测试与评估.国家自然科学基金重点项目(60633010).2007-2010.参加

[6]网络计算环境下的Web应用软件测试模型及相关技术研究.国家自然科学基金(90412003).2004-2006.参加

[7]软件设计模式的形式化描述及程序代码识别技术研究.江苏省自然科学基金面上项目(BK2006094).2006-2008.负责

[8]基于Agent的邮件特征提取及其在垃圾邮件识别中的应用研究. 国家自然科学基金(60503020).2006-2008.参加

[9]软件测试技术与工具研究.江苏省计算机信息处理技术重点实验室开放基金(KJS02009).2004-2005.负责

[10]高维稀疏矩阵降维方法的理论研究与应用.国家自然科学基金(60303024).2004-2004.参加

 

获奖

[1]      软件分析测试与算法优化的模型、方法与技术,江苏省科技进步奖,一等奖

[2]      软件质量保证支撑系统SQAS,湖北省科学技术进步一等奖

[3]      软件分析度量与测试的基础理论与方法,教育部提名国家科学技术奖(自然科学奖),二等奖

[4]      程序分析与测试技术研究,教育部提名国家科学技术奖(科技进步奖),二等奖

[5]      嵌入式软件测试支撑系统ETS,江苏省科学技术进步二等奖

[6]      Ada逆向工程与软件维护支撑系统ARMS,江苏省科学技术进步三等奖

[7]      Ada程序分析与理解系统APAUS,江苏省科学技术进步二等奖

 

论文

[1]  Yuming Zhou, Yibiao Yang, Baowen Xu, Hareton Leung, Xiaoyu Zhou: Source code size estimation approaches for object-oriented systems from UML class diagrams: A comparative study. Information & Software Technology 56(2): 220-237 (2014)

[2]  Ju Qian, Xiaoyu Zhou: Inferring weak references for fixing Java memory leaks. ICSM 2012: 571-574.

[3]  Wentao Ma, Xiaoyu Zhou, Xiaofang Qi, Ju Qian, Lei Xu, Rui Yang. Identification of Design Patterns Using Dependence Analysis. International Conference on Software Engineering and Knowledge Engineering (Seke 2012). SEKE 2012: 289-292.

[4]  Binxian Tao, Ju Qian and Xiaoyu Zhou. Side-Effect Analysis with Fast Escape Filter. the ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012). SOAP@PLDI 2012: 15-20

[5]  王璐璐,李必信,周晓宇. 一种有效的全路径剖析方法. 软件学报,2012.6.

[6]  周晓宇,钱巨,陈林,徐宝文.基于形态分析识别设计模式中的集中管理式聚集.软件学报. 2010,21(11):27252737.

[7]  Xiaofang Qi; Xiaoyu Zhou; Xiaojing Xu; Yingzhou Zhang; Slicing Concurrent Programs Based on Program Reachability Graphs. In: Conference of the 10th International Conference on Quality Software (QSIC), 2010: 248 253.

[8]  尹恒,周晓宇.一种恢复状态模式的状态转换图的方法.计算机与数字工程.2010,38(1):71-73.

[9]  周晓宇, 徐宝文. 一个设计模式自动识别技术研究框架. 计算机科学. 2009, 36(5):124-128.

[10]ZHOU Xiaoyu; QIAN Ju; CHEN Lin; XU Baowen. Automatic Identification of Use Cases from Codes: A User's Goal Driven Approach. Wuhan University Journal of Natural Sciences. 2009, Vol.14 No.5, 409-414.

[11]Ju Qian, Baowen Xu, Xiaoyu Zhou, Lin Chen, Liang Shi. Dependence analysis for C programs with combinability of dataflow facts under consideration. Wuhan University Journal of Natural Sciences, 2009, Volume 14, Number 4. 321-326.

[12]Lin Chen, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou: A Constraint Based Bug Checking Approach for Python. In: The 33rd Annual IEEE International Computer Software and Applications Conference(COMPSAC),2009,Volume 2: 306-311.

[13]张楠,周晓宇,陈林.基于惩罚函数的演化测试优化方法研究.计算机与数字工程.200904.

[14]余超,周天琳,周晓宇,陈林,徐宝文.TPython:一种扩充的Python语言.计算机与数字工程, 2009 05.

[15]李亚军,徐宝文,周晓宇.基于AST的克隆序列与克隆类识别. 东南大学学报:自然科学版. 2008,38(2),228-232.

[16]曹璟, 徐宝文, 周晓宇, 钱巨, 杨彬. 基于面向方面调用图的AspectJ动态通知编织优化.软件学报.2008, 19(9):2218-2227.

[17]陈林,徐宝文,周晓宇,曹璟. 一种基于类型推导的泛型Java程序重构方法. 电子学报(增刊) v 36, 2007: 185-191.

[18]姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报.18卷第4.2007: 832-841.

[19]戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并法程序依赖分析方法.电子学报,Vol(35) No(2),2007: 287-291

[20]Xiaoyu Zhou, Tianlin Zhou, Ju Qian, Baowen Xu, Yanxiang He. Identifying Use Case Relations From Codes. The Ninth IASTED International Conference on Software Engineering and Applications. Phoenix, Arizona, USA, November, 2005.

[21]Xiaoyu Zhou, Baowen Xu, Liang Shi, Lin Chen. Express Calculation Decomposition with Extended Aspect-oriented Programming Language. Journal of Electronics and Computer Science. Vol. 7, No. 1, Summer 2005. ISSN 1229-425X. pp: 89-100.

[22]Liang Shi, Baowen Xu, Lin Chen, Xiaoyu Zhou. SQAS: A Platform for Software Analysis and Testing. Journal of Electronics & Computer Science. Vol. 7, No. 1, Summer 2005. pp37-45.

[23]周晓宇,李慎之,戚晓芳,徐宝文. 2002. 数据挖掘技术初探. 小型微型计算机系统,200223(3):342-346.

[24]管杰,周晓宇,陈振强,卢虹,徐宝文,C++程序分析测试辅助系统CATER的设计与实现,软件学报,200213(增刊):259-264.

[25]徐宝文, 陈振强, 周晓宇. 基于依赖性分析的面向对象Ada95程序切片. 软件学报, 2001, 12(增刊), 208-213.

[26]张卫丰, 徐宝文, 周晓宇. 一种改进的参考文献检索中的相关性技术. 软件学报, 2001, 12(增刊), 317-322.

[27]张卫丰, 徐宝文, 周晓宇, 李东, 许蕾. Web搜索引擎综述. 计算机科学, 2001, 28(9), 24-28.

[28]张卫丰, 徐宝文, 周晓宇, 许蕾, 李东. 元搜索引擎综述. 计算机科学, 2001, 28(8), 36-41.

[29]Zhang Weifeng, Xu Baowen, Zhou Xiaoyu, Huang H. Scheduling in a Meta Search Engine by Genetic Algorithm. Wuhan University Journal of Natural Sciences, 6(1-2), Mar. 2001, 541-546

[30]  张卫丰,徐宝文,陈振强,周晓宇,基于Web的参考文献搜索模型研究,南京大学学报(自然科学)Computer Issue, 2000, 36(10), 602-606.