孙昌爱
Sun Changai

系 所：
|计算机科学与技术系|

职 称：
教授  博士生导师

职 务：
计算机科学与技术系 系主任

办公地点：
机电楼520

办公电话：


电子邮箱：
casun@ustb.edu.cn



本科课程：
软件工程 软件测试 C++程序设计

研究生课程：
软件测试 高等软件工程

科研方向：
软件测试 服务计算 程序分析与调试

学术与社会兼职：
?IEEE会员； ?ACM会员； ?IBM Academic Initiative Member； ?中国计算机学会高级会员； ?中国计算机学会软件工程专委委员； ?中国计算机学会服务计算专委委员； ?中国计算机学会YOCSEF委员； ?中国计算机学会学术工作委员会通讯委员； ?北京科技大学计算机与通信工程教学委员会委员； ?北京市海淀区科委专家； ?教育部留学回国人员科研启动基金评审专家； ?北京市自然科学基金评审专家； ?国家自然科学基金评审专家； ?山东烟台科技局评审专家； ?国际期刊IEICE T




简历
1974年生，江苏盐城人，博士，教授，博士生导师。现为北京科技大学计算机与通信工程学院软件工程系主任。长期从事软件工程方向的研究与教学，研究兴趣包括软件测试，程序分析与调试、服务计算。主持完成了国家自然科学基金、北京市自然科学基金、教育部博士点基金、教育部留学人员科研启动基金、计算机科学国家重点实验室开放课题基金、中央高校基本科研业务费资助项目等近十项课题，参与完成了欧盟第六框架计划项目、澳大利亚ARC Discovery项目、国家863计划项目、九五科技攻关项目、十五国防预研项目等近二十项课题，主持完成了两项教育教学研究课题。以第一作者或通讯作者在《ACM Transactions on the Web》、《IEEE Transactions on Services Computing》、《Journal of Systems and Software》、《Information and Software Technology》、《Software: Practice and Experience》、《Software Quality Journal》、《The Computer Journal》、《Frontiers of Computer Science》、《International Journal of Web Services Research》、《International Journal of High Performance Computing and Networking》、《Lecture Notes in Computer Science》、《Journal of Software》、ICWS、COMPSAC、ICSR、QSIC、SEKE、APSEC、APSCC、ASWEC、TOOLS、CIT、TrustCom、APWeb、《计算机学报》、《软件学报》、《计算机研究与发展》等国内外重要学术刊物与国际会议论文集上发表学术论文70余篇，发表的论文被引1200余次，SCI/EI收录50余篇次。出版译著3部、登记计算机软件著作权12项、申请国家发明专利4项 (已授权2项)。入选北京市优秀人才培养计划（2012）。
教育背景：
•1997.09—2002.12，北京航空航天大学计算机学院，计算机软件与理论，博士生（硕博连读）
•1993.09—1997.07，北京科技大学信息工程学院，计算机及应用，本科生
工作经历：
•2014.07—现在，北京科技大学计算机与通信工程学院，教授
•2011.01—2014.06，北京科技大学计算机与通信工程学院，副教授
•2009.05—2010.12，北京科技大学信息工程学院，副教授
•2007.09—2009.04，北京交通大学计算机与信息技术学院，讲师
海外留学经历：
•2013.03—2014.03，美国普渡大学计算机系，访问（国家留学基金委全额公派）
•2012.06—2012.07，德国帕德博恩大学与荷兰格罗宁根大学，访问
•2006.05—2007.05，荷兰格罗宁根大学数学与自然科学学院，博士后
•2004.03—2006.05，澳大利亚斯文本大学信息与通信技术学院，博士后
•2003.10—2003.12，美国SUN工程研究院（北京），访问
•2003.03—2003.07，香港理工大学计算机系，助理研究员


代表性论文
国际期刊论文(12篇):
[1]Chang-ai Sun, Xing Zhang, Yan Shang, Marco Aiello. Integrating Transactions into BPEL Service Compositions: An Aspect-based Approach. ACM Transactions on the Web, ACM Press, May 2015, 2015, 9(2): 9:1~9:31, (SCI, EI)
[2]Chang-ai Sun, Elie el Khoury, Marco Aiello. “Transaction Management in Service-Oriented Systems: Requirements and a Proposal”, IEEE Transactions on Services Computing, 2011, 4(2):167-180. (SCI, EI)
[3]Chang-ai Sun, Yan Zhao, Lin Pan, Xiao He, Dave Towey. A Transformation-based Approach to Testing Concurrent Programs using UML Activity Diagrams, Software: Practice and Experience, 26 pages, DOI: 10.1002/spe.2324 (SCI, EI)
[4]Chang-ai Sun, Yi Meng Zhai, Huai Liu. Evaluating and Comparing Fault-based Testing Strategies for General Boolean Specifications: A Series of Experiments. The Computer Journal, Oxford University Press, 2015, 58 (5): 1199-1213. (SCI, EI).
[5]Chang-ai Sun, Guan Wang, Zuoyi Wang. A property-based testing framework for encryption programs. Frontiers of Computer Science, Springer, 2014, 8(3):478-489. (SCI, EI).
[6]Chang-ai Sun, Yi Meng Zhai, Yan Shang, Zhenyu Zhang. BPELDebuger: An effective BPEL-specific fault localization framework. Information and Software Technology. Elsevier, 2013, 55(12): 2140-2153. (SCI, EI)
[7]Chang-ai Sun, Guan Wang, Baohong Mu, Huai Liu, Zhaoshun Wang, T.Y. Chen. “A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles”, International Journal of Web Services Research, 2012, 9(1): 51-73. (SCI, EI)
[8]Chang-ai Sun. “A Constraint-oriented Test Suite Reduction Method for Conservative Regression Testing”, Journal of Software, Academy Publisher, 2011, 6(2):314-321. (EI)
[9]Chang-ai Sun, Rowan Rossing, Marco Sinnema, Marco Aiello. “Modeling and managing variability of Web service-based systems”, Journal of Systems and Software, Elsevier, 2010, 83 (7): 502-516. (SCI, EI)
[10]Michiel Koning, Chang-ai Sun*, Marco Sinnema, Paris Avgeriou. “VxBPEL: Supporting Web Service Variability in BPEL”, Information and Software Technology, Elsevier, 2009, 51(2): 258-269. (*通讯作者)(SCI, EI)
[11]T.Y. Chen, M.F. Lau, K.Y. Sim, Chang-ai Sun (Alphabetically). “On Detecting Faults for Boolean Expressions”, Software Quality Journal, Springer, 2009, 17(3):245-261. (SCI)
[12]Chang-ai Sun, Guan Wang, Qin Wen, Dave Towey, T.Y. Chen. MT4WS: An Automated Metamorphic Testing System for Web Services. International Journal of High Performance Computing and Networking, Inderscience Publisher, in press, (http://www.inderscience.com/info/ingeneral/forthcoming.php?jcode=ijhpcn) (EI)
部分国际会议论文(20篇)：
[13]Xiao He, Yanmei Fu, Chang-ai Sun, Zhiyi Ma, Weizhong Shao. Towards Model-Driven Variability-Based Flexible Service Compositions, Proceedings of 39th Annual IEEE International Computer Software and Application Conference (COMPSAC 2015), IEEE Computer Society, July 1- 5, 2015.(EI, ISTP)
[14]Chang-ai Sun, Pan Wang, Xin Zhang, Marco Aiello. VxBPEL_ODE: A Variability Enhanced Service Composition Engine. In W. Han et al. (Eds): Proceedings of APWeb 2014 Workshops, LNCS 8710, Springer, pp.69-81. (EI, ISTP)
[15]Chang-ai Sun, Yan Shang, Yan Zhao, T.Y. Chen. Scenario-Oriented Testing for BPEL Service Compositions, Proceedings of 12th International Conference on Quality Software (QSIC 2012), IEEE Computer Society, pp.171-174. (EI, ISTP)
[16]Chang-ai Sun, Yi Meng Zhai, Yan Shang, Zhenyu Zhang. Toward Effectively Locating Integration-Level Faults in BPEL programs, Proceedings of 12th International Conference on Quality Software (QSIC 2012), IEEE Computer Society, pp.17-20.(EI, ISTP)
[17]Chang-ai Sun, Guan Wang, Kai-Yuan Cai, T.Y. Chen. Distribution-aware Mutation Analysis, Proceedings of 9th IEEE International Workshop on Software Cybernetics (IWSC 2012), collocated with COMPSAC 2012, IEEE Computer Society, pp.170-175. (EI)
[18]Chang-ai Sun, Guan Wang, Kai-Yuan Cai, T.Y. Chen. Towards Dynamic Random Testing for Web Services, Proceedings of 36th Annual IEEE International Computer Software and Application Conference (COMPSAC 2012), IEEE Computer Society, pp.164-169. (EI, ISTP)
[19]Chang-ai Sun, Guan Wang, Baohong Mu, Huai Liu, Zhaoshun Wang, T.Y. Chen. “Metamorphic Testing for Web Services: Framework and Case Study”. Proceedings of the 9th International Conference on Web Services (ICWS 2011), Research Track, IEEE Computer Society, pp.283-290. (EI)
[20]Chang-ai Sun, Tieheng Xue, Marco Aiello. “ValySeC: A Variability Analysis Tool for Adaptive Service Compositions using VxBPEL”. Proceedings of 5th IEEE Asia-Pacific Services Computing Conference (APSCC 2010), IEEE Computer Society, pp.307-314. (EI)
[21]Chang-ai Sun. “Towards Transaction-based Reliable Service Compositions”, Proceedings of 33rd Annual IEEE International Computer Software and Application Conference (COMPSAC 2009), IEEE Computer Society, pp.216-221 (EI, ISTP)
[22]Chang-ai Sun, Baobao Zhang, Jin Li. “TSGen: A UML Activity Diagram-based Test Scenario Generation Tool”, Proceedings of the 2009 IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2009), pp.853-858 (EI)
[23]Chang-ai Sun. “A Transformation-based Approach to Generating Scenario-oriented Test Cases from UML Activity Diagrams for Concurrent Applications”, Proceedings of 32nd IEEE Annual International Computer Software and Application Conference (COMPSAC 2008), IEEE Computer Society, pp.160-167 (EI, ISTP)
[24]Chang-ai Sun, Marco Aiello. “Towards Variable Service Compositions using VxBPEL”, Proceedings of the 10th International Conference on Software Reuse (ICSR 2008). Lecture Notes in Computer Science (LNCS) 5030, Springer, pp.257-261. (EI, ISTP)
[25]Chang-ai Sun, Marco Aiello. “Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems”, Proceedings of first IEEE International Workshop on Requirements Engineering For Services (REFS 2007) in conjunction with COMPSAC 2007, IEEE Computer Society, pp.461-466. (EI, ISTP)
[26]F.-C. Kuo, K.Y. Sim, Chang-ai Sun, S.F. Tang, Z.Q. Zhou (Alphabetically). “Enhanced Random Testing for Programs with High Dimensional Input Domains”, Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007). 2007, pp.135-140. (EI)
[27]Chang-ai Sun, Y.W. Dong, K.Y. Sim, R. Lai, T.Y. Chen, “Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions”, Proceedings of 6th IEEE International Conference on Computer and Information Technology (CIT 2006), IEEE Computer Society, 2006 (EI)
[28]Chang-ai Sun, An incremental and practical approach to enable the component run-time evolution, Proceedings of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), IEEE Computer Society, pp.603-610 (EI, ISTP)
[29]Chang-ai Sun, Jun Zhou, Jiannong Cao, Mao-zhong Jin, Chao Liu, ReArchJBs: a Tool for Automated Software Architecture Recovery of JavaBeans-based Applications, Proceedings of 16th Australian Conference on Software Engineering (ASWEC 2005), IEEE Computer Society, pp.270-280 (EI, ISTP)
[30]Chang-ai Sun, K.Y. Sim, T.H. Tse, T.Y. Chen, An Empirical Evaluation and Analysis of the Fault-Detection Capability of MUMCUT for General Boolean Expressions, Proceedings of International Computer Symposium (ICS 2004), pp.926-932.
[31]Chang-ai Sun, Jiannong Cao, Mao-zhong Jin, Chao Liu, Michael R. LYU, Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML, LNCS 2834, Springer, pp.536-545 (SCI)
[32]Chang-ai Sun, Chao Liu, Mao-zhong Jin, Mei Zhang, Architecture framework for software test tool, Proceedings of the 36th International Conference on Technology of Object-Oriented Language and System (TOOLS-Asia'00), IEEE Computer Society, pp.40-47 (EI, ISTP)
部分国内期刊论文(15篇):
[33]孙昌爱, 王冠. MujavaX:一个支持非均匀分布的变异生成系统. 计算机研究与发展, 2014, 51(4) : 874-881 (EI).
[34]孙昌爱, 赵敏, 何啸. 一种面向Web服务的综合可信性度量模型. 北京科技大学学报, 2014, 36(4): 543-550. (EI).
[35]孙昌爱, 薛铁恒,胡长军.VxBPELEngine:一种变化驱动的适应性服务组装引擎. 计算机学报, 2013, 36(12): 2441~2454 (EI).
[36]孙昌爱，程庆顺. 基于故障的布尔表达式测试技术综述. 计算机科学, 2013, 40(3):16-23
[37]孙昌爱. 基于约束的软件失效域识别与特征分析. 软件学报, 2012, 23(7): 1688-1701.（EI）
[38]孙昌爱, 尚岩, 李飞. 事务感知的Web服务开发框架. 计算机科学, 2011, 38(10): 6-11, 47 (专刊)
[39]孙昌爱, 赵敏. 开源软件的可复用性和可维护性度量实例研究. 计算机科学, 2010, 37(11):66-71(专刊)
[40]陈宗岳, 郭斐菁, 孙昌爱*. 失效区域紧致性对适应性随机测试的性能影响(英文). 软件学报, 2006, 17（12）：2438-2449. (*通讯作者) (EI)
[41]孙昌爱, 金茂忠, 刘超, 靳若明. 程序执行时间的静态预估技术与可视化分析方法. 软件学报, 2003, 14(1):68-75 (EI)
[42]孙昌爱, 金茂忠, 刘超, 田丽丛.一种基于UML的面向对象需求分析方法. 航空学报, 2003, 24(1):75-78.(EI)
[43]孙昌爱, 金茂忠, 刘超. 软件体系结构研究综述. 软件学报, 2002, 13(7):1228-1237. (EI) (软件学报高被引论文)
[44]张楣, 刘超, 孙昌爱. 基于UML活动图的测试测试用例自动生成技术研究. 北京航空航天大学学报，2001, 27(4):433-437.(EI)
[45]孙昌爱, 金茂忠.基于程序插装的动态测试技术实现. 小型微型计算机系统，2001, 22(12):1475-1479. (EI)
[46]孙昌爱, 刘超, 金茂忠. 一种有效的程序结构图的布图算法. 北京航空航天大学学报, 2000, 26(6):1305-1309.(EI)
[47]孙昌爱, 靳若明, 刘超, 金茂忠. 实时嵌入式软件的测试技术. 小型微型计算机系统, 2000, 21(9):920-924.(EI)
教育教学研究论文(4篇)：
[48]孙昌爱, 王昭顺, 王成耀. 基于专题报告的研究性教学：实践、评价与建议，计算机教育，2011年，第23期，总第155期, 100-105.(封面文章)
[49]孙昌爱，面向创新型计算机专业人才培养的研究生课程教学改革与探索，计算机教育，2010年11月, 第21期, 总第129期, 37-40. (封面文章)
[50]孙昌爱, 于双元，吴尽昭. 拓宽基础, 强化实践, 程序设计语言类课程教学的探索与实践，计算机教育，2009年10月, 第20期, 总第104期, 116-118.(全国计算机教育优秀论文二等奖)
[51]孙昌爱，骆四铭, 适用于软件工程技术的高质量教辅并重的小班教学模式，《计算机教育》，2008年, 20期, 25-28.(全国计算机教育优秀论文二等奖)


科研业绩
•作为主要研究人员，完成了欧盟第六框架计划项目（511680）、澳大利亚ARC Discovery项目（DP**; DP**）、香港理工大学资助项目（H.61.37.ZJ80）、国家自然科学基金项目（**）、国家863计划项目（863-306-ZD02-03-07; 2001AA113162; 2001AA110244）、九五科技攻关项目(98-760-01-01; 98-760-01-02 )、十五国防预研项目()等海内外软件工程方向研究项目近二十项。
•作为课题负责人，主持完成了国家自然科学基金项目(青年基金)（**）、北京市自然科学基金项目(面上)（**）、教育部博士点基金(新教师基金)（1）、教育部留学人员科研启动基金课题（教外司留[2008]890号）、计算机科学国家重点实验室开放课题基金（SYSKF1105）、十二五国家科技支撑计划子课题（2011BAK08B04）、中央高校基本科研业务费资助项目(FRF-SD-12-015A)、中荷科技主题对话国际交流项目（中方负责人）、北京科技大学第六批教育教学研究基金(面上项目)(JY2010G09)、北京交通大学人才基金（2007RC099）、北京交通大学计算机与信息技术学院教改项目、横向项目等。
•作为课题负责人，目前主持国家自然科学基金项目(面上)（**）、北京市优秀人才培养计划资助项目( 2012D)、北京科技大学2015年度本科教育教学改革与研究面上项目 (JG2015M23) 。
课题组已经毕业的研究生均就业于知名IT企业，如微软、百度、阿里巴巴、华为、联想研究院、搜狗等。课题组与美国、荷兰、澳大利亚、德国、英国、香港等多所著名高校保持密切的学术联系，毕业生有机会推荐前往相关合作教授课题组攻读博士学位。
欢迎有志于软件测试与服务计算方向研究的同学报考/保送我的研究生！欢迎年轻的软件工程或服务计算方向的博士、博士后加盟我的课题组！


获得奖励/专利
•北京科技大学26届教育教学成果奖二等奖，2015年1月(排名1)
•Author of 25 Most Cited Information and Software Technology Papers since 2009. Elsevier, 2014年8月
•北京科技大学2014年度“就业工作贡献奖”，2014年11月
•中国计算机学会“第二届全国软件研究成果原型竞赛”三等奖，2014年11月
•北京科技大学“本科生科技创新指导奖”，2014年1月
•北京科技大学25届教育教学成果奖一等奖，2012 (排名1)
•北京科技大学25届教育教学成果奖二等奖，2012 (排名3)
•北京科技大学第五届“研究生教育奖”，2011年
•北京科技大学计算机与通信工程学院“优秀班主任”，2011年
•北京科技大学研究生课程教学免检课堂“面向对象的软件工程”，2010年
•教育部高等学校计算机科学与技术教学指导委员会“全国计算机教育优秀论文”二等奖，2009年
•《计算机教育》杂志迎百期“十佳论文”，2009年
•北京交通大学计算机与信息技术学院“青年教师教学基本功比赛”一等奖，2009年
•北京交通大学“第七届青年教师教学基本功比赛”三等奖，2009年
•教育部高等学校计算机科学与技术教学指导委员会“全国计算机教育优秀论文”二等奖，2008年
•入选美国Marquis Who's Who in the World，2007-
•软件学报“高被引论文作者”，2006-
•申请国家发明专利4项目（已授权2项）
•登记计算机软件著作权12项
•指导研究生中：4人获“北京科技大学优秀硕士论文”；3人获计算机与通信工程学院“学术之星”称号；5人获国家研究生奖学金；1人获“北京市优秀毕业生”称号
•指导本科生科技创新项目获“2013年中国大学生iCan物联网创新创业大赛北京赛区一等奖”1次、“2013年全国物联网大赛三等奖”1次