孫昌愛

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 APPT’03, 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） ^[1]