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