删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
东南大学软件学院研究生导师简介-周晓宇
东南大学 免费考研网/2013-12-06
1972年生。1998年起在东南大学计算机科学与工程系任教,主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。
曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目,工作涉及程序分析与切片技术研究、白盒测试工具研制、软件性能分析工具研制、编码规范制定、编码风格检查及程序错误侦测技术研究等方面。目前主要从事与用例、设计模式、软件体系结构有关的逆向工程与再工程研究。曾在国内外学术杂志和会议上发表论文20余篇,7次获得省部级奖励。
曾承担“程序设计语言原理”、“并发程序设计”等研究生课程和“编译原理”、“模糊数学”等本科生课程的教学工作。自98年起参与历次“全国程序设计语言发展与教学学术会议”的主办工作。
科研项目
[1]面向软件可信性演进的软件测试技术研究.国家自然科学基金重大研究计划(90818027).2009–2012.参加
[2]基于程序切片的软件测试优化技术.国家自然科学基金(60803007).2009-2011.参加
[3]高可信软件的测试与评估.国家自然科学基金重点项目(60633010).2007-2010.参加
[4]网络计算环境下的Web应用软件测试模型及相关技术研究.国家自然科学基金(90412003).2004-2006.参加
[5]软件设计模式的形式化描述及程序代码识别技术研究.江苏省自然科学基金面上项目(BK2006094).2006-2008.负责
[6]基于Agent的邮件特征提取及其在垃圾邮件识别中的应用研究.国家自然科学基金(60503020).2006-2008.参加
[7]软件测试技术与工具研究.江苏省计算机信息处理技术重点实验室开放基金(KJS02009).2004-2005.负责
[8]高维稀疏矩阵降维方法的理论研究与应用.国家自然科学基金(60303024).2004-2004.参加
获奖
[1]软件分析测试与算法优化的模型、方法与技术,江苏省科技进步奖,一等奖,2007年
[2]软件质量保证支撑系统SQAS,湖北省科学技术进步一等奖,2005年
[3]软件分析度量与测试的基础理论与方法,教育部提名国家科学技术奖(自然科学奖),二等奖,2005年
[4]程序分析与测试技术研究,教育部提名国家科学技术奖(科技进步奖),二等奖,2004年
[5]嵌入式软件测试支撑系统ETS,江苏省科学技术进步二等奖,2003年
[6]Ada逆向工程与软件维护支撑系统ARMS,江苏省科学技术进步三等奖,2001年
[7]Ada程序分析与理解系统APAUS,江苏省科学技术进步二等奖,1998年
论文
[1]WentaoMa,XiaoyuZhou,XiaofangQi,JuQian,LeiXu,RuiYang.IdentificationofDesignPatternsUsingDependenceAnalysis.InternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(Seke2012).Accepted.
[2]BinxianTao,JuQianandXiaoyuZhou.Side-EffectAnalysiswithFastEscapeFilter.theACMSIGPLANInternationalWorkshopontheStateOftheArtinJavaProgramAnalysis(SOAP2012).Accepted.
[3]王璐璐,李必信,周晓宇.一种有效的全路径剖析方法.软件学报,2012.6期.
[4]周晓宇,钱巨,陈林,徐宝文.基于形态分析识别设计模式中的集中管理式聚集.软件学报.2010,21(11):2725−2737.
[5]XiaofangQi;XiaoyuZhou;XiaojingXu;YingzhouZhang;SlicingConcurrentProgramsBasedonProgramReachabilityGraphs.In:Conferenceofthe10thInternationalConferenceonQualitySoftware(QSIC),2010:248–253.
[6]尹恒,周晓宇.一种恢复状态模式的状态转换图的方法.计算机与数字工程.2010,38(1):71-73.
[7]周晓宇,徐宝文.一个设计模式自动识别技术研究框架.计算机科学.2009,36(5):124-128.
[8]ZHOUXiaoyu;QIANJu;CHENLin;XUBaowen.AutomaticIdentificationofUseCasesfromCodes:AUser'sGoalDrivenApproach.WuhanUniversityJournalofNaturalSciences.2009,Vol.14No.5,409-414.
[9]JuQian,BaowenXu,XiaoyuZhou,LinChen,LiangShi.DependenceanalysisforCprogramswithcombinabilityofdataflowfactsunderconsideration.WuhanUniversityJournalofNaturalSciences,2009,Volume14,Number4.321-326.
[10]LinChen,BaowenXu,TianlinZhou,XiaoyuZhou:AConstraintBasedBugCheckingApproachforPython.In:The33rdAnnualIEEEInternationalComputerSoftwareandApplicationsConference(COMPSAC),2009,Volume2:306-311.
[11]张楠,周晓宇,陈林.基于惩罚函数的演化测试优化方法研究.计算机与数字工程.2009年04期.
[12]余超,周天琳,周晓宇,陈林,徐宝文.TPython:一种扩充的Python语言.计算机与数字工程,2009年05期.
[13]李亚军,徐宝文,周晓宇.基于AST的克隆序列与克隆类识别.东南大学学报:自然科学版.2008,38(2),228-232.
[14]曹璟,徐宝文,周晓宇,钱巨,杨彬.基于面向方面调用图的AspectJ动态通知编织优化.软件学报.2008,19(9):2218-2227.
[15]陈林,徐宝文,周晓宇,曹璟.一种基于类型推导的泛型Java程序重构方法.电子学报(增刊)v36,2007:185-191.
[16]姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报.第18卷第4期.2007:832-841.
[17]戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并法程序依赖分析方法.电子学报,Vol(35)No(2),2007:287-291
[18]XiaoyuZhou,TianlinZhou,JuQian,BaowenXu,YanxiangHe.IdentifyingUseCaseRelationsFromCodes.TheNinthIASTEDInternationalConferenceonSoftwareEngineeringandApplications.Phoenix,Arizona,USA,November,2005.
[19]XiaoyuZhou,BaowenXu,LiangShi,LinChen.ExpressCalculationDecompositionwithExtendedAspect-orientedProgrammingLanguage.JournalofElectronicsandComputerScience.Vol.7,No.1,Summer2005.ISSN1229-425X.pp:89-100.
[20]LiangShi,BaowenXu,LinChen,XiaoyuZhou.SQAS:APlatformforSoftwareAnalysisandTesting.JournalofElectronics&ComputerScience.Vol.7,No.1,Summer2005.pp37-45.
[21]周晓宇,李慎之,戚晓芳,徐宝文.2002.数据挖掘技术初探.小型微型计算机系统,2002,23(3):342-346.
[22]管杰,周晓宇,陈振强,卢虹,徐宝文,C++程序分析测试辅助系统CATER的设计与实现,软件学报,2002,13(增刊):259-264.
[23]徐宝文,陈振强,周晓宇.基于依赖性分析的面向对象Ada95程序切片.软件学报,2001,12(增刊),208-213.
[24]张卫丰,徐宝文,周晓宇.一种改进的参考文献检索中的相关性技术.软件学报,2001,12(增刊),317-322.
[25]张卫丰,徐宝文,周晓宇,李东,许蕾.Web搜索引擎综述.计算机科学,2001,28(9),24-28.
[26]张卫丰,徐宝文,周晓宇,许蕾,李东.元搜索引擎综述.计算机科学,2001,28(8),36-41.
[27]ZhangWeifeng,XuBaowen,ZhouXiaoyu,HuangH.SchedulinginaMetaSearchEnginebyGeneticAlgorithm.WuhanUniversityJournalofNaturalSciences,6(1-2),Mar.2001,541-546
[28]张卫丰,徐宝文,陈振强,周晓宇,基于Web的参考文献搜索模型研究,南京大学学报(自然科学)ComputerIssue,2000,36(10),602-606.
会议文集
[1]徐宝文主编,孟小峰、于戈、周晓宇、周天琳副主编.Web信息系统及其应用.电子工业出版社.2004年10月
[2]徐宝文主编,陈陵、周晓宇副主编.程序设计语言与教学进展.电子工业出版社.2003年3月
[3]徐宝文、周晓宇、蔡家楣主编.程序设计语言及其教学.电子工业出版社.2001
[4]徐宝文、郑国梁、周晓宇主编.程序设计语言研究与教学.电子工业出版社.1998
相关话题/软件
东南大学软件学院研究生培养概况
东南大学软件学院研究生培养概况一、前言东南大学软件学院是经国家教育部和原国家计委首批批准成立的国家示范性软件学院 ...东南大学通知公告 东南大学 2013-12-06东南大学软件学院(苏州)全日制单证研究生报到相关信息
欢迎来到东南大学软件学院(苏州),美丽的苏州独墅湖高教区一定是你们学习、生活、美好愿 ...东南大学通知公告 东南大学 2013-12-06关于2014届东南大学推荐免试研究生软件学院候选者综合排名结果的公示
关于2014届东南大学推荐免试研究生软件学院候选者综合排名结果的公示 公示时间:2013年9月25日~9月30日 软件学院2013.9.252010级 ...东南大学复试录取 东南大学 2013-12-06东南大学软件工程领域2013年(春)在职研究生拟录取名单-2013.6
东南大学软件工程领域2013年(春)在职研究生拟录取名单已公布,详见附件(应届考生必须在2013年7月前取得本科毕业证书,否则不 ...东南大学复试录取 东南大学 2013-12-062013年软件工程领域应届单证研究生关于免试、自主命题考试相关信息
2013年软件工程领域应届单证研究生 关于免试、自主命题考试相关 ...东南大学复试录取 东南大学 2013-12-062013年东南大学软件工程专业硕士研究生(双证)第一批拟录取名单
2013年东南大学软件工程专业硕士研究生(双证)第一批拟录取名单2013年东南大学软件工程专业硕士研究生(双证)第一批拟录取名单 ...东南大学复试录取 东南大学 2013-12-06东南大学软件学院2013年硕士研究生复试相关信息
各位考生: 我院已陆续向申请调剂到我院、并符合我院相关调剂条件的考生发出了复试通知和复试细则(通过邮件发出),请各位 ...东南大学复试录取 东南大学 2013-12-06东南大学软件学院2013年硕士研究生复试录取工作细则
东南大学软件学院2013年硕士研究生复试录取工作细则 根据东南大学2013年硕士研究生复试录取工作办法,结合具体情 ...东南大学复试录取 东南大学 2013-12-06东南大学2013年软件工程领域应届单证研究生招生简章
东 南 大 学 软 件 学 院2013年软件工程领域应届单证研究生招生简章 东南大学软件学院是教育部首批批准的35所国家示范性软件学院 ...东南大学招生简章 东南大学 2013-12-06东南大学软件工程硕士(单证)入学考试 《数据结构》考试大纲
东南大学软件工程硕士(单证)入学考试《数据结构》考试大纲 一、考试目的和要求本课程考试的目的主要是考查考生对《数据结构》 ...东南大学考研资料 东南大学 2013-12-06