Dragon Star - Software Engineering

National Natural Science Foundation of China Dragon Star 2010 Lecture Series

国家自然科学基金委员会龙星计划2010年课程

Software Engineering Course Overview

软件工程课程介绍

一、关于龙星计划 (History of Dragon Star)

近几年我国经济得到了持续发展，我国已加入WTO。这意味着我国不 仅在产业，而且在科学技术等方面要面临全球一体化的严峻挑战。在这激烈的竞争中，优秀人才是取得胜利的关键因素（在信息领 域显得更为突出）。我们高兴的看到，海外一批中国留学生现已学有所成，在诸多信息科学前沿领域做出了重大贡献。"龙星计划"就是要组织一批在美 国学术界已有成就、有一定地位的原中国留学生，不定期回国就某一领域，在中国各地大学，系统地讲授一门美国研究生课程（每门课程15-30课时）。同 时，就所讲课程的学术领域、有关课题与国内科学家及研究生共同讨论研究。撰写综述文章，并将其在《计算机科学技术学报（英）》上发 表。这对提高我国科研水平和培养优秀人才都将起重要作用。

  1. 龙星计划委员会负责讲学和交流活动及具体学术领域的确定、主讲和主要交流人员 和承办单位的选择以及把握学术方向等。委员会的秘书工作和日常服务。由设在中国科学院计算技术研究所的龙星计划办公室负责。
    • 龙星计划委员会每年征求授课教授和承办单位，公布下一年的学术交流领域（包 括研究生课程、研究课题）。由各大学提出申请后由龙星计划委员会进行选择。确定后，报送基金委审批。
    • 龙星计划委员会每年评估学术交流活动情况，为下年活动安排作参考。
  2. 每年组织6-12人次回国讲学、短期工作。每次讲授一门研究生课程，计15-30小时。组织听 众人数由讲课者与承办大学商定。学员免收学费，食宿自理。
  3. 承办单位负责组织听众及提供各种信息，以保证课程的圆满成功;负责给课程提供必要的 会议设备、场地等;负责给讲课者提供市内多方面的服务（如交通、住宿等）信息。
  4. 国家自然科学基金委员会根据龙星计划办公室的申请，为龙星计划的实施提供资 助，包括讲课者的旅费、住宿费及部分龙星计划运作经费。

二、软件工程(2010年 龙星计划)课程摘要 Software Engineering Course Outline

  • 课程名称 Course Name： 软件工程 Software Engineering
  • 教者 Instructor：谢涛 助理教授（2010年8月中起副教授）， 美国北卡罗来纳州立大学， xie@csc.ncsu.edu
  • Tao Xie, Assistant Professor (to be a tenured Associate Professor effective mid-August 2010), North Carolina State University, USA.
  • 地点 Location：上海交通大学 Shanghai Jiaotong University
  • 时间 Time： 7月19-23 July 19-23
  • 承办单位 Host：上海交通大学 Shanghai Jiaotong University
  • 联系人 Contact：赵建军 Jianjun Zhao，zhao-jj@cs.sjtu.edu.cn，021-34204620

三、主讲人简历 Instructor Bio

Tao Xie is an Assistant Professor (to be a tenured Associate Professor effective mid-August 2010) in the Department of Computer Science of the College of Engineering at North Carolina State University. He received his Ph.D. in Computer Science from the University of Washington in 2005, advised by David Notkin. Before that, he received an M.S. in Computer Science from the University of Washington in 2002, an M.S. in Computer Science from Peking University in 2000, advised by Hong Mei, and a B.S. in Computer Science from Fudan University in 1997. His research interests are in software engineering, focusing on automated software testing and mining software engineering data. He leads the Automated Software Engineering Research Group at North Carolina State University.

Besides doing research, he has contributed to understanding the software engineering research community. He has served as a member of the ACM History Committee and the ACM SIGSOFT history liaison in the SIGSOFT Executive Committee. He received a National Science Foundation Faculty Early Career Development (CAREER) Award in 2009. He received 2008 and 2009 IBM Faculty Awards and a 2008 IBM Jazz Innovation Award. He received the 2010 NC State University Sigma Xi Faculty Research Award. He received the ASE 2009 Best Paper Award and an ACM SIGSOFT Distinguished Paper Award. His research has been supported by NSF, NIST, ARO, IBM, Microsoft Research, and ABB Research. He was Program Committee Co-Chair of 2009 IEEE International Conference on Software Maintenance (ICSM) and will be Program Committee Co-Chair of 2011 International Working Conference on Mining Software Repositories (MSR). He has served on program committees of various conferences, including ICSE, ASE, ISSTA, and WWW.

四、课程摘要 Course Abstract

Software systems are becoming increasingly complex and there is a growing awareness that software testing and analysis, important areas within software engineering, are needed to deal with this growing complexity. This course explores foundational concepts and practical techniques and tools for testing and analysis of software and assuring its quality. Topics focus on testing and analysis of code, but will also cover analysis of software models and their use in testing and analysis. Topics cover software testing and analysis at the unit, module, subsystem, and system levels, automatic techniques for generating and validating test data, as well as testing and analysis techniques for different types of software systems. Students will have opportunities to improve software testing and analysis skills based on advanced industrial tools (such as Microsoft Research Pex and Code Contracts) and conduct research in software testing and analysis. Students will also learn research skills such as assessing research contributions, selecting research problems, carrying out research development, and writing research papers (http://people.engr.ncsu.edu/txie/advice/).

五、报名事项 Registration

龙星计划委员会通过的E-mail会议及与教者和承办单位协商, 2010年课程表已经确定， 即日起开始报名。不详事宜可向各单位联系人查询或查看网页http://dragonstar.ict.ac.cn/。该网页随时更新，请予关注。

每一门课程接受学员30-50人,有兴趣者请参见课程申请办 法填写申请表（见http://dragonstar.ict.ac.cn/DS_application_course.htm），填好申请表请发Email或传真到

龙星计划办公室:

联 系 人：刘芳

通信地址：北京2704信箱

邮政编码：100190

电 话：010-62601145

传 真：010-62560019

E-mail: dragonstar@ict.ac.cn