孙昌爱的个人简介
孙昌爱，男，汉族，1974年生，博士，教授，博士生导师，现为北京科技大学计算机与通信工程学院教授软件工程系主任。
人物经历
1993.09―1997.07，北京科技大学信息工程学院，计算机及应用，本科生
1997.09―2002.12，北京航空航天大学计算机学院，计算机软件与理论，博士生（硕博连读）
2007.09―2009.04，北京交通大学计算机与信息技术学院，讲师
2009.05―2010.12，北京科技大学信息工程学院，副教授
2011.01―2014.06，北京科技大学计算机与通信工程学院，副教授
2014.07―现在，北京科技大学计算机与通信工程学院，教授
2003.03―2003.07，香港理工大学计算机系，助理研究员
2003.10―2003.12，美国SUN工程研究院（北京），访问学者
2004.03―2006.05，澳大利亚斯文本大学信息与通信技术学院，博士后
2006.05―2007.05，荷兰格罗宁根大学数学与自然科学学院，博士后
2012.06―2012.07，德国帕德博恩大学与荷兰格罗宁根大学，访问学者
2013.03―2014.03，美国普渡大学计算机系，访问学者（国家留学基金委全额公派）
研究方向
长期从事软件工程方向的研究与教学，研究兴趣包括软件测试，程序分析与调试、服务计算。
主要成就
主持完成了国家自然科学基金
北京市自然科学基金
教育部博士点基金
教育部留学人员科研启动基金
计算机科学国家重点实验室开放课题基金
中央高校基本科研业务费资助项目等近十项课题，
参与完成了欧盟第六框架计划项目
澳大利亚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）。
教学科研
本科课程软件工程
软件测试
C++程序设计
研究生课程高等软件工程
软件测试
科研方向软件测试
服务计算
程序分析
软件体系结构
社会兼职
IEEE高级会员；
ACM会员；
IBM Academic Initiative Member；
中国计算机学会高级会员；
中国计算机学会软件工程专委委员；
中国计算机学会服务计算专委委员；
中国计算机学会YOCSEF委员；
中国计算机学会学术工作委员会通讯委员；
北京科技大学计算机与通信工程教学委员会委员；
北京市海淀区科委专家；
教育部留学回国人员科研启动基金评审专家；
北京市自然科学基金评审专家；
国家自然科学基金评审专家；
山东烟台科技局评审专家；
国际期刊IEICE Transactions on Information and Systems专辑编委(Associate Editor) (2009)；
国际期刊International Journal on Intelligent Information Processing (JNIT)编委(Editor Board Member)；
第一届IEEE可信计算国际研讨会(TrustCom 2008), 程序委员会主席, 2008；
第八届亚太服务计算大会(APSCC 2014), RTTSBS Track程序委员会主席, 2014；
第十二届IEEE普适智能与计算国际会议(UIC 2015), 程序委员会主席, 2015；
第八届IEEE面向服务的计算与应用 (SOCA 2015), 研讨会主席, 2015；
TrustCom 2015等40多个国际会议或全国学术会议程序委员会委员（Program Committee）
《IEEE Transactions on Services Computing》、《IEEE Transactions on Parallel and Distributed Systems》、《IEEE Transactions on System, Man and Cybernetics》、《Journal of Systems and Software》(Elsevier)、《Service Oriented Computing and Applications》(Springer)、《Journal of Supercomputing》(Springer)、《International Journal of Web Services Research》、《Journal of Network and Computer Applications》（Elsevier）、《Information Systems Frontier》 (Springer)、《Neural Computing & Applications》（Springer）、《Computer and Electronic Engineering》(Elsevier)、《International Journal of Computer Mathematics》(Taylor & Francis)等SCI检索国际期刊审稿人；
《计算机学报》、《软件学报》、《计算机科学》、《小型微型计算机系统》等期刊审稿人；
ASIAN2004, APSEC2004, QSIC2005, APSEC2005, ASWEC2006, TSOA 2007, REFS 2008, ICYCS 2008, TrustCom 2008, COMPSAC 2012等国际会议审稿。
发表论著
（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 on Web Service Research (JWSR), 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 (3): 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）孙昌爱, 王冠. MujavaX:一个支持非均匀分布的变异生成系统. 计算机研究与发展, 2014, 51(4) : 874-881 (EI).
（13）孙昌爱, 赵敏, 何啸. 一种面向Web服务的综合可信性度量模型. 北京科技大学学报, 2014, 36(4): 543-550. (EI).
（14）孙昌爱, 薛铁恒,胡长军.VxBPELEngine:一种变化驱动的适应性服务组装引擎. 计算机学报, 2013, 36(12): 2441~2454 (EI).
（15）孙昌爱，程庆顺. 基于故障的布尔表达式测试技术综述. 计算机科学, 2013, 40(3):16-23
（16） 孙昌爱. 基于约束的软件失效域识别与特征分析, 软件学报, 2012, 23(7): 1688-1701.（EI）
（17） 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)
（18） 孙昌爱,金茂忠,刘超,靳若明，程序执行时间的静态预估技术与可视化分析方法，软件学报，2003, 14(1):68-75 (EI)
（19） 孙昌爱, 金茂忠,刘超，软件体系结构研究综述，软件学报，2002, 13(7):1228-1237 (软件学报高被引论文)(EI)
（20） 孙昌爱,金茂忠,刘超,田丽丛,一种基于UML的面向对象需求分析方法，航空学报, 2003, 24(1):75-78.(EI)
（21） 张楣, 刘超, 孙昌爱，基于UML活动图的测试测试用例自动生成技术研究，北京航空航天大学学报，2001, 27(4):433-437.(EI)
（22） 孙昌爱, 刘超, 金茂忠，一种有效的程序结构图的布图算法，北京航空航天大学学报, 2000, 26(6):1305-1309.(EI)
（23）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)
（24）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)
（25） 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.
（26） 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.
（27） 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)
（28） 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)
（29） 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%)
（30） 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)
（31） 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%)
（32） 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%)）
（33） 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%)
（34） 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.
（35） 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)
（36） 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%)
（37） 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)
（38） 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.
（39） 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 APPTu201903, Xiamen, China, Sept.17-19, 2003, Lecture Notes in Computer Science (LNCS) 2834, Springer, pp536-545 (SCI,ISTP)
（40） 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)
科研业绩
作为主要研究人员，完成了欧盟第六框架计划项目（511680）、澳大利亚ARC Discovery项目（DP0345147; DP0558597）、香港理工大学资助项目（H.61.37.ZJ80）、国家自然科学基金项目（60073005）、国家863计划项目（863-306-ZD02-03-07; 2001AA113162; 2001AA110244）、九五科技攻关项目(98-760-01-01; 98-760-01-02 )、十五国防预研项目(413150601)等海内外软件工程方向研究项目近二十项。
作为课题负责人，主持完成了国家自然科学基金项目(青年基金)（60903003）、北京市自然科学基金项目(面上)（4112037）、教育部博士点基金(新教师基金)（200800041051）、教育部留学人员科研启动基金课题（教外司留[2008]890号）、计算机科学国家重点实验室开放课题基金（SYSKF1105）、十二五国家科技支撑计划子课题（2011BAK08B04）、中央高校基本科研业务费资助项目(FRF-SD-12-015A)、中荷科技主题对话国际交流项目（中方负责人）、北京科技大学第六批教育教学研究基金(面上项目)(JY2010G09)、北京交通大学人才基金（2007RC099）、北京交通大学计算机与信息技术学院教改项目、横向项目等。
作为课题负责人，目前主持国家自然科学基金项目(面上)（61370061）、北京市优秀人才培养计划资助项目( 2012D009006000002)、北京科技大学2015年度本科教育教学改革与研究面上项目 (JG2015M23)
获奖专利
北京科技大学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/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）
申请国家发明专利4项（排名1）
登记软件著作权12项（排名1）
