标题：孙昌爱
概述
男，1974年生。现为北京科技大学计算机与通信工程学院副  孙昌爱教授，软件工程系常务副主任、硕士生导师。2002年12月，在北京航空航天大学获计算机软件与理论博士学位（硕博连读）；1997年7月，在北京科技大学获计算机及应用学士学位。2003年3月至2003年7月，任香港理工大学计算机系助理研究员；2004年3月至2006年5月，任澳大利亚斯文本大学信息与通信技术学院博士后研究员；2006年5月至2007年5月，任荷兰格罗宁根大学数学与自然科学学院博士后研究员；2007年9月至2009年4月，任北京交通大学计算机与信息技术学院讲师。2003年10月至2003年12月，在美国SUN工程研究院（北京）访问研究；2012年6月至2012年7月，应邀在德国帕德博恩大学（University of Paderborn）与荷兰格罗宁根大学（University of Groningen）从事学术访问研究。 
本科课程：
软件工程
研究生课程：
高等软件工程
软件测试 
科研方向：
软件测试
服务计算
程序分析
软件体系结构 
学术与社会兼职：
IEEE会员（2002-）
ACM会员（2010-）
IBM Academic Initiative Member（2008-）
中国计算机学会高级会员（2009-）
中国计算机学会软件工程专委委员（2010-）
中国计算机学会服务计算专委委员（2011-）
中国计算机学会YOCSEF委员（2009-）
北京市海淀区科委专家（2010-）
教育部留学回国人员科研启动基金评审专家（2011-）
编委(Associate Editor), 国际期刊IEICE Transactions on Information and Systems专辑(2009)
编委(Editor Board Member), 国际期刊International Journal on Intelligent Information Processing (JNIT)
程序委员会主席, 第一届IEEE可信计算国际研讨会(TrustCom 2008) , 2008.
TrustCom 2012、REFS2012等近20个国际会议程序委员会委员（Program Committee）
国际期刊《Journal of Supercomputing》(Springer)、《Service Oriented Computing and Applications》(Springer)、《Journal of Network and Computer Applications》（Elsevier）、《Information Systems Frontier》(Springer)、《IEEE Transactions on System, Man and Cybernetics》审稿人
计算机学报审稿人
国际会议ASIAN2004, APSEC2004, QSIC2005, APSEC2005, ASWEC2006, TSOA 2007, REFS 2008, ICYCS 2008, TrustCom 2008等审稿人 
代表性论文论著
以第一作者或通讯作者在《IEEE Transactions on Services Computing》、《Information and Software Technology》、《Journal of Systems and Software》、《Software Quality Journal》、 《International Journal on Web Services Research》、《Lecture Notes in Computer Science》、《Journal of Software》、《ICWS》、《COMPSAC》、《SEKE》、《APSEC》、《ICSR》、《TOOLS》、《软件学报》等国内外重要学术刊物和国际会议论文集上发表学术论文50余篇。发表的论文被引1000余次，SCI/EI/ISTP收录40余篇次。出版译著3部、完成研究报告10余篇。
部分代表性学术论文：
（1） 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 on Web Service Research (JWSR), 2012, 9(1): 51-73. (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. “A Constraint-oriented Test Suite Reduction Method for Conservative Regression Testing”, Journal of Software, Academy Publisher, 2011, 6(2):314-321. (EI)
（4） 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 (3): 502-516. (SCI, EI)
（5） 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)
（6） 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)
（7） 孙昌爱. 基于约束的软件失效域识别与特征分析, 软件学报, 2012, 23(7): 1688-1701.（EI）
（8） T.Y. Chen，F.-C. Kuo，Chang-ai Sun*. The Impact of the Compactness of Failure Regions on the Performance of Adaptive Random Testing, 软件学报, 2006, 17（12）：2438-2449. (*通讯作者) (EI)
（9） 孙昌爱,金茂忠,刘超,靳若明，程序执行时间的静态预估技术与可视化分析方法，软件学报，2003, 14(1):68-75 (EI)
（10） 孙昌爱, 金茂忠,刘超，软件体系结构研究综述，软件学报，2002, 13(7):1228-1237 (软件学报高被引论文)(EI)
（11） 孙昌爱,金茂忠,刘超,田丽丛,一种基于UML的面向对象需求分析方法，航空学报, 2003, 24(1):75-78.(EI)
（12） 张楣, 刘超, 孙昌爱，基于UML活动图的测试测试用例自动生成技术研究，北京航空航天大学学报，2001, 27(4):433-437.(EI)
（13） 孙昌爱, 刘超, 金茂忠，一种有效的程序结构图的布图算法，北京航空航天大学学报, 2000, 26(6):1305-1309.(EI)
（14） 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, July 16-July 20, 2012, Izmir, Turkey.
（15） 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 36th Annual IEEE International Computer Software and Application Conference (COMPSAC 2012), IEEE Computer Society, July 16-July 20, 2012, Izmir, Turkey.
（16） 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 (IEEE ICWS 2011), Research Track, IEEE Computer Society, Washington D.C., USA, 2011, pp.283-290 (Accept rate: 13%) (EI)
（17） Chang-ai Sun, Tieheng Xue, Marco Aiello. “ValySeC: A Variability Analysis Tool for Adaptive Service Compositions using VxBPEL”. Proceedings of 2010 IEEE Asia-Pacific Services Computing Conference (APSCC 2010), IEEE Computer Society, Hangzhou, China, 2010, pp.307-314. (EI)
（18） 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, July 20-July 24, 2009, Seattle Washington, USA. pp.216-221. (EI, ISTP)(Accept rate: 20%)
（19） 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), Vancouver, Canada, 2009, pp853-858. (EI)
（20） 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, 2008, Turku, Finland. pp160-167. (EI, ISTP)(Accept rate: 20%)
（21） 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, Beijing, China, 2008, pp257-261. (EI, ISTP)（(Accept rate: 25%)）
（22） 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 the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), IEEE Computer Society Press, Beijing, China, 2007, pp461-466. (EI, ISTP)(Accept rate: 20%)
（23） F.-C. Kuo, K.Y. Sim, Chang-ai Sun, S.F. Tang, Z.Q. Zhou (Alphabetical). “Enhanced Random Testing for Programs with High Dimensional Input Domains”, Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007). Boston, USA, 2007, pp135-140.
（24） 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, Seoul, Korea, 2006.(EI)
（25） 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, Taipei, Taiwan, Dec 15-17 2005, pp603-610 (EI， ISTP)(Accept rate: 28%)
（26） 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), Brisbane, Australia, March 29- April 1 2005, IEEE Computer Society, pp270-280 (EI, ISTP)
（27） 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), Taipei, Taiwan, Dec.15-17, 2004, pp926-932.
（28） 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, Proceedings of APPT’03, Xiamen, China, Sept.17-19, 2003, Lecture Notes in Computer Science (LNCS) 2834, Springer, pp536-545 (SCI,ISTP)
（29） 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), Xi'an, China, 2000, IEEE Computer Society, pp40-47 (EI, ISTP) 
科研业绩
长期从事软件工程方向的研究与实践，研究兴趣包括软件测试、程序分析、软件体系结构、服务计算。作为主要研究人员，完成欧盟第六框架计划项目、澳大利亚ARC Discovery项目、香港理工大学资助项目、国家自然科学基金项目、国家863计划重点项目、九五科技攻关项目、十五国防预研项目等海内外软件工程方向研究项目近二十项。主持完成教育部留学人员科研启动基金课题1项、教育部博士点基金(新教师基金)1项、北京交通大学人才基金1项、北京交通大学计算机与信息技术学院教改项目1项。
目前主持国家自然科学基金项目(青年基金)1项、北京市自然科学基金项目(面上)1项、中央高校基本科研业务费资助项目1项、中国科学院软件研究所计算机科学国家重点实验室开放课题基金1项、十二五国家科技支撑计划子课题1项、北京科技大学第六批教育教学研究基金(面上项目)等共6项，参加教育部博士点基金课题1项。 
获得奖励 / 专利
北京科技大学25届教育教学成果奖一等奖，2012 (排名1/5)
北京科技大学25届教育教学成果奖二等奖，2012 (排名3/5)
北京科技大学第五届“研究生教育奖”，2011（排名1）
北京科技大学计算机与通信工程学院“优秀班主任”，2011（排名1）
北京科技大学研究生课程教学免检课堂“面向对象的软件工程”，2010（排名1）
“2009年全国计算机教育优秀论文”二等奖，2009（排名1）（教育部高等学校计算机科学与技术教学指导委员会主办）
《计算机教育》杂志迎百期“十佳论文”，2009（排名1）（教育部高等学校计算机科学与技术教学指导委员会主办）
北京交通大学计算机与信息技术学院“青年教师教学基本功比赛”一等奖，2009（排名1）
北京交通大学“第七届青年教师教学基本功比赛”三等奖，2009（排名1）
“2008年英特尔杯全国计算机教育优秀论文”二等奖，2008（排名1）（教育部高等学校计算机科学与技术教学指导委员会）
入选美国Marquis Who's Who in the World，2007-（排名1）
软件学报“高被引论文作者”，2006-（排名1/3）
申请国家发明专利3项（排名1）
登记软件著作权3项（排名1） [1]