1993.09—1997.07，北京科技大學(xué)信息工程學(xué)院，計(jì)算機(jī)及應(yīng)用，本科生

1997.09—2002.12，北京航空航天大學(xué)計(jì)算機(jī)學(xué)院，計(jì)算機(jī)軟件與理論，博士生（碩博連讀）

2007.09—2009.04，北京交通大學(xué)計(jì)算機(jī)與信息技術(shù)學(xué)院，講師

2009.05—2010.12，北京科技大學(xué)信息工程學(xué)院，副教授

2011.01—2014.06，北京科技大學(xué)計(jì)算機(jī)與通信工程學(xué)院，副教授

2014.07—現(xiàn)在，北京科技大學(xué)計(jì)算機(jī)與通信工程學(xué)院，教授

2003.03—2003.07，香港理工大學(xué)計(jì)算機(jī)系，助理研究員

2003.10—2003.12，美國(guó)SUN工程研究院（北京），訪問(wèn)學(xué)者

2004.03—2006.05，澳大利亞斯文本大學(xué)信息與通信技術(shù)學(xué)院，博士后

2006.05—2007.05，荷蘭格羅寧根大學(xué)數(shù)學(xué)與自然科學(xué)學(xué)院，博士后

2012.06—2012.07，德國(guó)帕德博恩大學(xué)與荷蘭格羅寧根大學(xué)，訪問(wèn)學(xué)者

2013.03—2014.03，美國(guó)普渡大學(xué)計(jì)算機(jī)系，訪問(wèn)學(xué)者（國(guó)家留學(xué)基金委全額公派）

長(zhǎng)期從事軟件工程方向的研究與教學(xué)，研究興趣包括軟件測(cè)試，程序分析與調(diào)試、服務(wù)計(jì)算。

主持完成了國(guó)家自然科學(xué)基金

北京市自然科學(xué)基金

教育部博士點(diǎn)基金

教育部留學(xué)人員科研啟動(dòng)基金

計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室開(kāi)放課題基金

中央高校基本科研業(yè)務(wù)費(fèi)資助項(xiàng)目等近十項(xiàng)課題，

參與完成了歐盟第六框架計(jì)劃項(xiàng)目

澳大利亞ARC Discovery項(xiàng)目

國(guó)家863計(jì)劃項(xiàng)目

九五科技攻關(guān)項(xiàng)目

十五國(guó)防預(yù)研項(xiàng)目等近二十項(xiàng)課題，

主持完成了兩項(xiàng)教育教學(xué)研究課題。以第一作者或通訊作者在《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、《計(jì)算機(jī)學(xué)報(bào)》、《軟件學(xué)報(bào)》、《計(jì)算機(jī)研究與發(fā)展》等國(guó)內(nèi)外重要學(xué)術(shù)刊物與國(guó)際會(huì)議論文集上發(fā)表學(xué)術(shù)論文70余篇，發(fā)表的論文被引1200余次，SCI/EI收錄50余篇次。出版譯著3部、登記計(jì)算機(jī)軟件著作權(quán)12項(xiàng)、申請(qǐng)國(guó)家發(fā)明專利4項(xiàng) (已授權(quán)2項(xiàng))。入選北京市優(yōu)秀人才培養(yǎng)計(jì)劃（2012）。

軟件工程

軟件測(cè)試

C++程序設(shè)計(jì)

高等軟件工程

軟件測(cè)試

軟件測(cè)試

服務(wù)計(jì)算

程序分析

軟件體系結(jié)構(gòu)

IEEE高級(jí)會(huì)員；

ACM會(huì)員；

IBM Academic Initiative Member；

中國(guó)計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員；

中國(guó)計(jì)算機(jī)學(xué)會(huì)軟件工程專委委員；

中國(guó)計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算專委委員；

中國(guó)計(jì)算機(jī)學(xué)會(huì)YOCSEF委員；

中國(guó)計(jì)算機(jī)學(xué)會(huì)學(xué)術(shù)工作委員會(huì)通訊委員；

北京科技大學(xué)計(jì)算機(jī)與通信工程教學(xué)委員會(huì)委員；

北京市海淀區(qū)科委專家；

教育部留學(xué)回國(guó)人員科研啟動(dòng)基金評(píng)審專家；

北京市自然科學(xué)基金評(píng)審專家；

國(guó)家自然科學(xué)基金評(píng)審專家；

山東煙臺(tái)科技局評(píng)審專家；

國(guó)際期刊IEICE Transactions on Information and Systems專輯編委(Associate Editor) (2009)；

國(guó)際期刊International Journal on Intelligent Information Processing (JNIT)編委(Editor Board Member)；

第一屆IEEE可信計(jì)算國(guó)際研討會(huì)(TrustCom 2008), 程序委員會(huì)主席, 2008；

第八屆亞太服務(wù)計(jì)算大會(huì)(APSCC 2014), RTTSBS Track程序委員會(huì)主席, 2014；

第十二屆IEEE普適智能與計(jì)算國(guó)際會(huì)議(UIC 2015), 程序委員會(huì)主席, 2015；

第八屆IEEE面向服務(wù)的計(jì)算與應(yīng)用 (SOCA 2015), 研討會(huì)主席, 2015；

TrustCom 2015等40多個(gè)國(guó)際會(huì)議或全國(guó)學(xué)術(shù)會(huì)議程序委員會(huì)委員（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檢索國(guó)際期刊審稿人；

《計(jì)算機(jī)學(xué)報(bào)》、《軟件學(xué)報(bào)》、《計(jì)算機(jī)科學(xué)》、《小型微型計(jì)算機(jī)系統(tǒng)》等期刊審稿人；

ASIAN2004, APSEC2004, QSIC2005, APSEC2005, ASWEC2006, TSOA 2007, REFS 2008, ICYCS 2008, TrustCom 2008, COMPSAC 2012等國(guó)際會(huì)議審稿。

（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）孫昌愛(ài), 王冠. MujavaX:一個(gè)支持非均勻分布的變異生成系統(tǒng). 計(jì)算機(jī)研究與發(fā)展, 2014, 51(4) : 874-881 (EI).

（13）孫昌愛(ài), 趙敏, 何嘯. 一種面向Web服務(wù)的綜合可信性度量模型. 北京科技大學(xué)學(xué)報(bào), 2014, 36(4): 543-550. (EI).

（14）孫昌愛(ài), 薛鐵恒,胡長(zhǎng)軍.VxBPELEngine:一種變化驅(qū)動(dòng)的適應(yīng)性服務(wù)組裝引擎. 計(jì)算機(jī)學(xué)報(bào), 2013, 36(12): 2441~2454 (EI).

（15）孫昌愛(ài)，程慶順. 基于故障的布爾表達(dá)式測(cè)試技術(shù)綜述. 計(jì)算機(jī)科學(xué), 2013, 40(3):16-23

（16） 孫昌愛(ài). 基于約束的軟件失效域識(shí)別與特征分析, 軟件學(xué)報(bào), 2012, 23(7): 1688-1701.（EI）

（17） T.Y. Chen，F(xiàn).-C. Kuo，Chang-ai Sun*. The Impact of the Compactness of Failure Regions on the Performance of Adaptive Random Testing, 軟件學(xué)報(bào), 2006, 17（12）：2438-2449. (*通訊作者) (EI)

（18） 孫昌愛(ài),金茂忠,劉超,靳若明，程序執(zhí)行時(shí)間的靜態(tài)預(yù)估技術(shù)與可視化分析方法，軟件學(xué)報(bào)，2003, 14(1):68-75 (EI)

（19） 孫昌愛(ài), 金茂忠,劉超，軟件體系結(jié)構(gòu)研究綜述，軟件學(xué)報(bào)，2002, 13(7):1228-1237 (軟件學(xué)報(bào)高被引論文)(EI)

（20） 孫昌愛(ài),金茂忠,劉超,田麗叢,一種基于UML的面向?qū)ο笮枨蠓治龇椒�，航空學(xué)報(bào), 2003, 24(1):75-78.(EI)

（21） 張楣, 劉超, 孫昌愛(ài)，基于UML活動(dòng)圖的測(cè)試測(cè)試用例自動(dòng)生成技術(shù)研究，北京航空航天大學(xué)學(xué)報(bào)，2001, 27(4):433-437.(EI)

（22） 孫昌愛(ài), 劉超, 金茂忠，一種有效的程序結(jié)構(gòu)圖的布圖算法，北京航空航天大學(xué)學(xué)報(bào), 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)

作為主要研究人員，完成了歐盟第六框架計(jì)劃項(xiàng)目（511680）、澳大利亞ARC Discovery項(xiàng)目（DP0345147; DP0558597）、香港理工大學(xué)資助項(xiàng)目（H.61.37.ZJ80）、國(guó)家自然科學(xué)基金項(xiàng)目（60073005）、國(guó)家863計(jì)劃項(xiàng)目（863-306-ZD02-03-07; 2001AA113162; 2001AA110244）、九五科技攻關(guān)項(xiàng)目(98-760-01-01; 98-760-01-02 )、十五國(guó)防預(yù)研項(xiàng)目(413150601)等海內(nèi)外軟件工程方向研究項(xiàng)目近二十項(xiàng)。

作為課題負(fù)責(zé)人，主持完成了國(guó)家自然科學(xué)基金項(xiàng)目(青年基金)（60903003）、北京市自然科學(xué)基金項(xiàng)目(面上)（4112037）、教育部博士點(diǎn)基金(新教師基金)（200800041051）、教育部留學(xué)人員科研啟動(dòng)基金課題（教外司留[2008]890號(hào)）、計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室開(kāi)放課題基金（SYSKF1105）、十二五國(guó)家科技支撐計(jì)劃子課題（2011BAK08B04）、中央高�；�本科研業(yè)務(wù)費(fèi)資助項(xiàng)目(FRF-SD-12-015A)、中荷科技主題對(duì)話國(guó)際交流項(xiàng)目（中方負(fù)責(zé)人）、北京科技大學(xué)第六批教育教學(xué)研究基金(面上項(xiàng)目)(JY2010G09)、北京交通大學(xué)人才基金（2007RC099）、北京交通大學(xué)計(jì)算機(jī)與信息技術(shù)學(xué)院教改項(xiàng)目、橫向項(xiàng)目等。

作為課題負(fù)責(zé)人，目前主持國(guó)家自然科學(xué)基金項(xiàng)目(面上)（61370061）、北京市優(yōu)秀人才培養(yǎng)計(jì)劃資助項(xiàng)目( 2012D009006000002)、北京科技大學(xué)2015年度本科教育教學(xué)改革與研究面上項(xiàng)目 (JG2015M23)

北京科技大學(xué)26屆教育教學(xué)成果獎(jiǎng)二等獎(jiǎng)，2015年1月(排名1)

Author of 25 Most Cited Information and Software Technology Papers since 2009. Elsevier, 2014年8月

北京科技大學(xué)2014年度“就業(yè)工作貢獻(xiàn)獎(jiǎng)”，2014年11月

中國(guó)計(jì)算機(jī)學(xué)會(huì)“第二屆全國(guó)軟件研究成果原型競(jìng)賽”三等獎(jiǎng)，2014年11月

北京科技大學(xué)“本科生科技創(chuàng)新指導(dǎo)獎(jiǎng)”，2014年1月

北京科技大學(xué)25屆教育教學(xué)成果獎(jiǎng)一等獎(jiǎng)，2012 (排名1/5)

北京科技大學(xué)25屆教育教學(xué)成果獎(jiǎng)二等獎(jiǎng)，2012 (排名3/5)

北京科技大學(xué)第五屆“研究生教育獎(jiǎng)”，2011（排名1）

北京科技大學(xué)計(jì)算機(jī)與通信工程學(xué)院“優(yōu)秀班主任”，2011（排名1）

北京科技大學(xué)研究生課程教學(xué)免檢課堂“面向?qū)ο蟮能浖�工程”�?010（排名1）

“2009年全國(guó)計(jì)算機(jī)教育優(yōu)秀論文”二等獎(jiǎng)，2009（排名1）（教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)主辦）

《計(jì)算機(jī)教育》雜志迎百期“十佳論文”，2009（排名1）（教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)主辦）

北京交通大學(xué)計(jì)算機(jī)與信息技術(shù)學(xué)院“青年教師教學(xué)基本功比賽”一等獎(jiǎng)，2009（排名1）

北京交通大學(xué)“第七屆青年教師教學(xué)基本功比賽”三等獎(jiǎng)，2009（排名1）

“2008年英特爾杯全國(guó)計(jì)算機(jī)教育優(yōu)秀論文”二等獎(jiǎng)，2008（排名1）（教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)）

入選美國(guó)Marquis Who’s Who in the World，2007-（排名1）

軟件學(xué)報(bào)“高被引論文作者”，2006-（排名1/3）

申請(qǐng)國(guó)家發(fā)明專利4項(xiàng)（排名1）

登記軟件著作權(quán)12項(xiàng)（排名1）