1974年生，江苏盐城人，博士，教授，博士生导师。现为kaiyun体育登录网页入口计算机系主任、软件与安全研究所所长，曾任董事长助理、软件工程系主任、计算机系副主任。长期从事软件工程方向的研究与教学，研究兴趣包括软件测试，程序分析与调试、服务计算。主持完成了国家自然科学基金、北京市自然科学基金、航空科学基金、教育部博士点基金、教育部留学人员科研启动基金、计算机科学国家重点实验室开放课题基金、中央高校基本科研业务费资助项目等二十余项课题，参与完成了欧盟第六框架计划项目、澳大利亚ARC Discovery项目、国家863计划项目、九五科技攻关项目、十五国防预研项目等二十余项课题，主持完成了两项教育教学研究课题。以第一作者或通讯作者在ACM Transactions on Software Engineering and Methodology、IEEE Transactions on Software Engineering、IEEE Transactions on Computers、IEEE Transactions on Services Computing、ACM Transactions on the Web、IEEE Transactions on Reliability、Journal of Systems and Software、Information and Software Technology、Software: Practice and Experience、Software Quality Journal、The Computer Journal、Science China: Information Sciences、Frontiers of Computer Science、International Journal of Web Services Research、International Journal of Web and Grid Services、Lecture Notes in Computer Science、ICSOC、 ICWS、COMPSAC、ICSR、QSIC、SEKE、APSEC、APSCC、ASWEC、TOOLS、CIT、TrustCom、APWeb、中国科学、计算机学报、软件学报、计算机研究与发展等国内外重要学术刊物与国际会议论文集上发表学术论文100余篇，发表的论文被引2000余次，SCI/EI收录100余篇次。出版译著3部、登记计算机软件著作权24项、申请国家发明专利13项 (已授权8项)。入选北京市优秀人才培养计划（2012）。

教育背景：

• 1997.09—2002.12，北京航空航天大学计算机公司，计算机软件与理论，博士生（硕博连读）

• 1993.09—1997.07，kaiyun体育登录网页入口信息工程公司，计算机及应用，本科生

工作经历：

• 2014.07—现在，  kaiyun体育登录网页入口，教授

• 2011.01—2014.06，kaiyun体育登录网页入口，副教授

• 2009.05—2010.12，kaiyun体育登录网页入口信息工程公司，副教授

• 2007.09—2009.04，北京交通大学计算机与信息技术公司，讲师

海外留学经历：

• 2017.01—2017.02，澳大利亚斯文本大学软件与电子工程公司，访问教授

• 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，香港理工大学计算机系，助理研究员

部分国际期刊论文[限20篇]:

[1]Chang-ai Sun, Hepeng Dai, Huai Liu, T.Y. Chen. Feedback-Directed Metamorphic Testing, ACM Transactions on Software Engineering and Methodology, in press (http://dx.doi.org/10.1145/3533314) (CCF A)

[2]Chang-ai Sun, An Fu, Pak Poon, Huai Liu, Xiaoyuan Xie, T. Y. Chen. METRIC+: A Metamorphic Relation Identification Technique Based on Input plus Output Domains, IEEE Transactions on Software Engineering, 2021, 47(9):1765-1786.（CCF A, 中科院1区, 影响因子: 6.226）

[3]Chang-ai Sun, Hepeng Dai, Huai Liu, T.Y. Chen, Kai-Yuan Cai. Adaptive Partition Testing, IEEE Transactions on Computers, 2019, 68(2):157-169.（CCF A, 中科院2区）

[4]Chang-ai Sun, Hepeng Dai, Guan Wang, Dave Towey, T.Y. Chen, and Kai-Yuan Cai. Dynamic Random Testing of Web Services: A Methodology and Evaluation. IEEE Transactions on Services Computing, 2022, 15(2):736-751.（CCF B, 中科院1区, 影响因子: 11.019）

[5]Chang-ai Sun, An Fu, Xinling Guo T. Y. Chen. ReMuSSE: A Redundant Mutant Identification Technique based on Selective Symbolic Execution, IEEE Transactions on Reliability, 2022, 71(1): 415-428.（CCF B, 中科院1区，影响因子：5.883）

[6]Chang-ai Sun, Baoli Liu, An Fu, Yiqiang Liu, Huai Liu. Path-Directed Source Test Case Generation and Prioritization in Metamorphic Testing. Journal of Systems and Software，Elsevier, 2022, 183: 111091:1-111091:14. (CCF B, 2区).

[7]Chang-ai Sun, Yan Zhao, Lin Pan, Huai Liu, T.Y. Chen. Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach, IEEE Transactions on Services Computing, 2018, 11(4):616-629. (CCF B, 中科院1区)

[8]Chang-ai Sun, Yufeng Ran, Caiyun Zhen, Huai Liu, Dave Towey, Xiangyu Zhang. Fault localization for WS-BPEL program based on Predicate Switching and Program Slicing, Journal of Systems and Software, Elsevier, 2018, 135:191-204. (CCF B, 中科院2区)

[9]Chang-ai Sun, Feifei Xue, Huai Liu, Xiangyu Zhang. A Path-aware Approach to Mutant Reduction in Mutation Testing, Information and Software Technology, Elsevier, 2017, 81(1):65-81. (CCF B, 中科院2区)

[10]Chang-ai Sun, Lin Pan, Qiaoling Wang, Huai Liu, Xiangyu Zhang. An Empirical Study on Mutation Testing of WS-BPEL Programs, The Computer Journal, Oxford University Press, 2017, 60(1):143-158. (CCF B)

[11]Dave Towey, Yunwei Dong, Chang-ai Sun, T.Y. Chen, Metamorphic Testing as a Test Case Selection Strategy, Science China: Information Sciences, 2016, 59(5):050108:1-050108:2. (CCF B)

[12]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, 2016, 46(4):551–576. (CCF B)

[13]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. (CCF B)

[14]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. (CCF B)

[15]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. (CCF C)

[16]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. (CCF B)

[17]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. (CCF B)

[18]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. (CCF B)

[19]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. (*通讯作者) (CCF B)

[20]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. (CCF C)

部分国际会议论文[限20篇]：

[1] Zhen Wang, Chang-ai Sun, Marco Aiello. Context-aware IoT Service Recommendation: A Deep Collaborative Filtering–based Approach, Proceedings of 29th IEEE International Conference on Web Services (IEEE ICWS 2022), IEEE Computer Society, July 11-16, 2022, Barcelona, Spain, pp.150-159. (CCF B, Regular paper, Research Track, Acceptance Rate: 14%).

[2]Zhen Wang, Chang-ai Sun, Marco Aiello. Lightweight and Context-aware Modeling of Microservice-based Internet of Things, Proceedings of 28th IEEE International Conference on Web Services (IEEE ICWS 2021), IEEE Computer Society, pp.282-292. (CCF B, Regular paper,  Research Track, Acceptance Rate:23.7%)

[3]Hepeng Dai, Chang-ai Sun, Huai Liu. DeepController: Feedback-Directed Fuzzing for Deep Learning Systems, Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering (SEKE 2022) , the KSIR Virtual Conference Center, Pittsburgh, USA, July 1 to 10, 2022, pp.531-536. (CCF C, Regular Paper, Research Track)

[4]Chang-ai Sun, Jin Wang, Zhenxian Liu, Yanbo Han. A Variability-Enabling and Model-Driven Approach towards Adaptive Microservice-based Systems, Proceedings of 45th IEEE International Conference on Computers Software and Applications (COMPSAC 2021), IEEE Computer Society, pp.968-973. (CCF C)

[5]Chang-ai Sun, Jing Wang, Jing Guo, Zhen Wang, Li Duan. A Microservice-based Reconfigurable Migration Technique for IoT Systems. Proceedings of ICSOC 2019 Workshops, LNCS 12019, Springer, October 28-30, 2019, Toulouse, France, pp. 142~155. (CCF B)

[6]Chang-ai Sun, Meng Li, Jingting Jia, Jun Han. Constraint-based Model-driven Testing of Web Services for Conformance Improvement, Proceedings of the 16th International Conference on Service Oriented Computing (ICSOC 2018), LNCS, Springer, November 12-15, 2018, Hangzhou, China, pp.543-559. ( CCF B, Research Track, Regular paper, Accept rate: 14.65%, 40/273)

[7]Chang-ai Sun, Jingting Jia, Huai Liu, Xiangyu Zhang. A Lightweight Program Dependence based Approach to Concurrent Mutation Analysis. Proceedings of 42nd IEEE International Computer Conference on Computers, Software, and Applications (COMPSAC 2018), IEEE Computer Society, July 23-27, 2018, Tokyo Japan, pp.116-125.(CCF C, Research Track, Regular paper, Accept Rate: 24%, 63/250)

[8]Yang Zhang, Li Duan, Chang-ai Sun, Junliang Chen. Cross-Layer Security Solution for Publish/Subscribe-based IoT Services Communication Infrastructure, Proceedings of IEEE 24th  International Conference on Web Services (IEEE ICWS 2017), IEEE Computer Society, June 25-30, 2017, Honolulu, Hawaii, USA, pp.580-587. (CCF B, Research Track, Regular paper)

[9] Chang-ai Sun, Cuiyang Fan, Zhen Wang, Huai Liu. dμReg: A Path-Aware Mutation Analysis Guided Approach to Regression Testing, Proceeding of 12th IEEE/ACM International Workshop on Automation of Software Testing (AST 2017), in conjunction with 39th International Conference on Software Engineering (ICSE 2017), IEEE Press, Buenos Aires, Argentina, May 20-28, 2017, pp.59-64. (CCF A)

[10]Chang-ai Sun, Yiqiang Liu, Zuoyi Wang, W.K. Chan. μMT: A Data Mutation Directed Metamorphic Relation Acquisition Methodology, Proceeding of the First International Workshop on Metamorphic Testing (MET 2016), in conjunction with 38th International Conference on Software Engineering (ICSE 2016), IEEE Computer Society, May 14-22, 2016, pp.12-18. (CCF A)

[11]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. (CCF C)

[12]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. (CCF C)

[13]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. (CCF B)

[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, pp.164-169. (CCF C)

[15]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), IEEE Computer Society, pp.283-290. (CCF B, Full Paper, Research Track)

[16]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. (CCF C)

[17]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. (CCF C)

[18]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. (CCF C)

[19]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. (CCF B)

[20]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. (CCF C)

部分国内期刊论文[限20篇]:

[1]代贺鹏, 孙昌爱, 金慧, 肖明俊. 面向深度学习系统的模糊测试技术研究进展，软件学报，2022, 刊出中(DOI:10.13328/j.cnki.jos.006679). (CCF A)

[2]孙昌爱, 卫新洁, 刘镇贤, 宫云战. DFSampling:一种数据流分析指导的变异体精简策略，软件学报, 2022, 33(9):3407-3421. (CCF A)

[3]孙昌爱, 耿宁, 代贺鹏, 顾友达. CMuJava:一个面向Java 程序并发变异体生成系统，软件学报，2022, 33(2):397-409. (CCF A)

[4]孙昌爱, 张守峰, 朱维忠. 一种基于变异分析的 BPEL程序故障定位技术，计算机科学, 2021, 48(1):301-307. (CCF NCSC 2020最佳论文) (CCF B)

[5]蔡开元, 孙昌爱, 聂长海. 软件可靠性评估的控制论观点，中国科学:信息科学, 2019, 49(11): 1528-1531. (CCF A)

[6]孙昌爱, 郭新玲, 张翔宇, 陈宗岳. 一种基于数据流分析的冗余变异体识别技术, 计算机学报, 2019, 42(1):44-60. (CCF A)

[7]孙昌爱, 王真, 潘琳. 面向WS-BPEL程序的变异测试优化技术, 计算机研究与发展, 2019, 56(4):895-905. (CCF A)

[8]孙昌爱, 张在兴, 张鑫. 一种基于可变性模型的可复用与可定制SaaS软件开发方法. 软件学报, 2018, 29(11):3435-3454. (CCF A)

[9]孙昌爱, 王冠. MujavaX:一个支持非均匀分布的变异生成系统. 计算机研究与发展, 2014, 51(4) : 874-881. (CCF A)

[10]孙昌爱, 薛铁恒, 胡长军.VxBPELEngine:一种变化驱动的适应性服务组装引擎. 计算机学报, 2013, 36(12): 2441~2454. (CCF A)

[11]孙昌爱，程庆顺. 基于故障的布尔表达式测试技术综述. 计算机科学, 2013, 40(3):16-23. (CCF B)

[12]孙昌爱. 基于约束的软件失效域识别与特征分析. 软件学报, 2012, 23(7): 1688-1701.（CCF A）

[13]孙昌爱, 尚岩, 李飞. 事务感知的Web服务开发框架. 计算机科学, 2011, 38(10): 6-11, 47. (CCF B)

[14]孙昌爱, 赵敏. 开源软件的可复用性和可维护性度量实例研究. 计算机科学, 2010, 37(11):66-71. (CCF B)

[15]陈宗岳, 郭斐菁, 孙昌爱*. 失效区域紧致性对适应性随机测试的性能影响(英文). 软件学报, 2006, 17（12）：2438-2449. (*通讯作者) (CCF A)

[16]孙昌爱, 金茂忠, 刘超, 靳若明. 程序执行时间的静态预估技术与可视化分析方法. 软件学报, 2003, 14(1):68-75. (CCF A)

[17]孙昌爱, 金茂忠, 刘超, 田丽丛. 一种基于UML的面向对象需求分析方法. 航空学报, 2003, 24(1):75-78. (EI)

[18]孙昌爱, 金茂忠, 刘超. 软件体系结构研究综述. 软件学报, 2002, 13(7):1228-1237. (CCF A) (软件学报高被引论文)

[19]孙昌爱, 金茂忠.基于程序插装的动态测试技术实现. 小型微型计算机系统，2001, 22(12):1475-1479. (CCF B)

[20]孙昌爱, 刘超, 金茂忠. 一种有效的程序结构图的布图算法. 北京航空航天大学学报, 2000, 26(6):1305-1309. (EI)

教育教学研究论文：

[1]孙昌爱. 案例实施与工具应用相结合的软件工程动手能力培养，计算机教育，2019年8月, 总第296期, 150-153.

[2]孙昌爱, 王昭顺, 王成耀. 基于专题报告的研究性教学：实践、评价与建议，计算机教育，2011年，第23期，总第155期, 100-105.(封面文章)

[3]孙昌爱，面向创新型计算机专业人才培养的员工课程教学改革与探索，计算机教育，2010年11月, 第21期, 总第129期, 37-40. (封面文章)

[4]孙昌爱, 于双元，吴尽昭. 拓宽基础, 强化实践, 程序设计语言类课程教学的探索与实践，计算机教育，2009年10月, 第20期, 总第104期, 116-118. (全国计算机教育优秀论文二等奖)

[5]孙昌爱，骆四铭, 适用于软件工程技术的高质量教辅并重的小班教学模式，《计算机教育》，2008年, 20期, 25-28.(全国计算机教育优秀论文二等奖)

纵向科研项目:

• 国家自然科学基金面上项目: 面向不确定性智能软件的新型蜕变测试理论，62272037, 2023.01-2026.12，主持；

• 国家自然科学基金面上项目: 面向服务组合程序的故障定位与修复技术研究，61872039，2019.01-2022.12，主持；

• 国家自然科学基金面上项目: 面向SOA 软件的蜕变测试技术研究，61370061，2014.01-2017.12，主持；

• 国家自然科学基金青年基金: 基于可变性管理的适应性Web服务组装方法研究， 60903003，2010.1-2012.12，主持；

• 北京市自然科学基金面上项目: 模型驱动的SOA软件测试与监控技术研究，4162040，2016.1-2018.12，主持；

• 北京市自然科学基金面上项目: 蜕变测试应用于服务组装的若干关键问题研究， 4112037，2011.1-2013.12，主持；

• 教育部留学回国人员科研启动基金: 基于输入域的软件失效模式识别及分布研究，教外司留[2008]890号，2008.9-2010.8，主持；

• 航空科学基金项目:面向航空嵌入式软件的变异测试框架与优化技术研究， 2016ZD74004，2016.10-2018.9，主持；

• 教育部博士点新教师基金: Web服务组装中增量及声明式事务管理机制研究， 200800041051，2009.1-2011.12，主持；

• 北京市优秀人才培养资助项目:高效新型的SOA 软件测试技术与工具研究， 2012D009006000002，2013.01-2014.12，主持；

• 装备预研重点实验室基金项目: 基于服务网络的XXX设计技术，61425010301，2018.1-2019.12，主持；

• 中国科公司软件研究所计算机科学国家重点实验室开放课题基金:面向并发程序的蜕变测试技术研究，SYSKF1803，2018.1-2019.12，主持；

• 中国科公司软件研究所计算机科学国家重点实验室开放课题基金：面向Web 服务及其组合的蜕变测试技术与框架研究，SYSKF1105，2011.1-2012.12，主持；

• 大规模流数据集成与分析技术北京市重点实验室开放课题基金:微服务系统行为不一致性检测方法研究，220190804，2019.10-2021.9，主持；

• 中央高校基本科研业务费专项资金资助项目：特征模型驱动的适应性微服务系统开发方法与支持平台，FRF-GF-19-019B，2019.11-2020.10，主持；

• 中央高校基本科研业务费专项资金资助项目:基于服务网络的适应性与可重构电子信息系统集成方法，FRF-GF-17-B29，2017.12-2018.11，主持；

• 中央高校基本科研业务费资助项目学科发展科研基金(A类)：面向SOA的新型软件测试技术与工具，FRF-SD-12-015A，2012.01-2014.12，主持；

• 国家科技支撑计划: 面向群体的网络热点传播分析与监测技术研究，2011BAK08B04，2010.1-2013.12，子课题负责人；

• 教育部直属高校外籍文教专家年度聘请计划项目: 基于微服务网络的适应性系统设计技术，2018.01-2018.12，主持；

• 教育部直属高校外籍文教专家年度聘请计划项目: 蜕变关系识别方法与蜕变关系故障检测能力研究，2018.01-2018.12，主持；

• 教育部直属高校外籍文教专家年度聘请计划项目: 面向全生命周期的垂直服务组装方法与支持平台研究，2017.01-2017.12，主持；

• 教育部直属高校外籍文教专家年度聘请计划项目: 云计算环境下适应性软件开发方法与支持平台研究，2015.01-2015.12，主持；

• 教育部直属高校外籍文教专家年度聘请计划项目: 面向SOA软件的测试与调试理论与方法研究，2015.01-2015.12，主持；

• 教育部资助聘请外籍教师重点项: Service-Oriented Computing: Foundations and Advanced Research Topics (服务计算基础与高级研究问题)，2011.1-2011.12，主持；

• 荷兰研究理事会(NWO)资助的中荷科技主题对话国际交流项目(Joint Scientific Thematic Research Program (JSTP) Dialogue Seminar Grant): Energising Services (EnS)--Energy aware services and services for the energy sector，045.011.008，2013.3-2014.3，中方负责人

• 北京交通大学人才引进基金项目: 软件失效模式及其新型适应性随机测试算法研究， 2007RC099，2007.9-2009.9，主持；

• 教育部博士点基金: 嵌入式软件设计验证与评估若干关键问题研究，20090009110006，2010.1-2012.12，参加；

• 欧盟资助的框架计划(EU-funded Framework Program): Service-Centric System Engineering (SeCSE)，Grant No.511680，2004.9-2008.8，参加；

• 澳大利亚研究委员会创新项目 (Australia Research Council Discovery Project): Software Testing with Enhanced Partitioning Schemes，Grant No. DP0345147，2003-2005，参加；

• 澳大利亚研究委员会创新项目 (Australia Research Council Discovery Project): Fault Based Test Case Generation for Software，Grant No. DP0558597，2004-2006，参加；

• 香港理工大学资助研究项目: Support for Dynamically Configurable Distributed Software Using the Graph-Oriented Programming Approach，Grant No. H.61.37.ZJ80，2000-2003，参加；

• 国家863计划重大项目: 软件测试技术与软件测试平台，2001AA110244，2001.1-2003.12，参加；

• 十五国防预研项目: 军用软件新型测试技术，413150601，2001.7-2002.12，参加；

• 国家863项目: 基于.NET平台的新语言C#的支持环境研究，2001AA113162，2001.1-2001.12，参加；

• 国家自然科学基金面上项目: 基于面向对象模型的软件测试用例充分性设计与生成方法，60073005，2001.1-2002.12，参加；

• 国家863计划项目: 高可靠性软件测试方法、实用技术及工具研究与开发，863-306-ZD02-03-07，1998.7-2000.12，参加；

• 国家九五重点科技攻关项目: 基于构件技术的高可靠性软件测试方法和工具的研究与开发，98-760-01-01，1998.9-2000.10，参加；

• 国家九五重点科技攻关项目: 基于构件的JAVA程序分析与测试工具研制，98-760-01-02，1998.9-2000.10，参加。

横向科研项目:

• 2020年度CCF-蚂蚁科研基金: 基于日志的分布式系统故障定位技术研究，2020.10-2021.9，主持；

• 华北计算机技术研究所创新基金: 面向全场景的蜕变测试技术, 2020.9-2022.12，主持；

• 金阳交通合作项目: 智能交通工程离散智慧管理系统与智能产品开发，2015.1-2017.12，主持；

• 广州云宏信息科技股份有限公司技术咨询项目: 云计算基础架构技术研究，2014.7-2015.1，主持；

• 北京航空航天大学与国家天文台合作项目: 空间太阳望远镜卫星软件部分需求分析与建模，2001.7-2001.12, 参加；

• 北京航空航天大学与原航天部合作项目: C软件测试及辅助设计工具，1998.5-1998.12，参加。

教育教学改革项目:

• kaiyun体育登录网页入口2015年度本科教育教学改革与研究面上项目: 案例实施与工具应用相结合的软件工程动手能力培养探索与实践，JG2015M23，2015.7-2017.7，主持；

• kaiyun体育登录网页入口第六批教育教学研究基金项目: 面向创新型计算机专业人才培养的软件工程类课程教学改革与实践，JY2010G09，2010.12-2012.12，主持；

• 北京交通大学计算机与信息技术公司资助的教改项目: 计算机专业研究方法论课程建设，2008.8-2010.3，主持；

• 教育部新文科研究与改革实践项目: 基于大数据技术的经济管理类专业改造提升研究与实践，2022.1-2024.12，参加；

• 北京交通大学计算机与信息技术公司与北京市实验示范中心资助的教改项目: 计算机科学实践教学体系建设，2008.4-2009.3，参加。

教书育人奖励/认可:

• kaiyun体育登录网页入口优秀硕士学位论文指导教师，2022年6月；

• 2017-2021北京高校德育先进工作者，2021年9月；

• 北京市优秀毕业论文（设计）指导教师，2021年12月；

• kaiyun体育登录网页入口2020届春季员工毕业典礼暨学位授予仪式，员工导师代表发言，2020年1月；

• kaiyun体育登录网页入口第六届“研师亦友—我最喜爱的导师”称号，2019年12月；

• kaiyun体育登录网页入口2019年度“就业工作贡献教师”称号，2019年11月；

• kaiyun体育登录网页入口计通公司“最受员工欢迎的教师”称号，2019年6月；

• kaiyun体育登录网页入口第五届“研师亦友”提名奖，2019年1月；

• kaiyun体育登录网页入口计通公司“最受员工欢迎的教师”称号，2016年6月；

• kaiyun体育登录网页入口2014年度“就业工作贡献奖”，2014年11月；

教育教学奖励:

• 2017年北京市高等教育教学成果二等奖，北京市人民政府，2018年4月(排名1)；

• kaiyun体育登录网页入口26届教育教学成果奖二等奖，2015年1月(排名1)；

• kaiyun体育登录网页入口“本科生科技创新指导奖”，2014年1月；

• kaiyun体育登录网页入口25届教育教学成果奖一等奖，2012 (排名1)；

• kaiyun体育登录网页入口25届教育教学成果奖二等奖，2012 (排名3)；

• kaiyun体育登录网页入口第五届“员工教育奖”，2011年；

• kaiyun体育登录网页入口“优秀班主任”，2011年、2016年、2017年；

• kaiyun体育登录网页入口员工课程教学免检课堂“面向对象的软件工程”，2010年； 

• 教育部高等学校计算机科学与技术教学指导委员会“全国计算机教育优秀论文”二等奖，2009年 (排名1)；

• 《计算机教育》杂志迎百期“十佳论文”，2009年 (排名1)；

• 北京交通大学计算机与信息技术公司“青年教师教学基本功比赛”一等奖，2009年；

• 北京交通大学“第七届青年教师教学基本功比赛”三等奖，2009年；

• 教育部高等学校计算机科学与技术教学指导委员会“全国计算机教育优秀论文”二等奖，2008年 (排名1)；

科研成果奖励:

• “基于消息重播的微服务系统正向故障恢复方法及支持平台”，中国数字服务大会“软件服务创新大赛”二等奖，教育部高等学校软件工程专业教学指导委员会、中国计算机学会服务计算专委，2022年8月；

• “模型驱动的自适应微服务系统开发方法与支持平台”，第十一届中国计算机学会服务计算学会会议“软件服务创新大赛”二等奖，教育部高等学校软件工程专业教学指导委员会、中国计算机学会服务计算专委，2020年8月；

• 全国第十一届服务计算学术会议“最佳论文奖”，中国计算机学会服务计算专委，2020年8月；

• “MuDroid:面向Android应用程序的变异测试系统”，第五届全国软件研究成果原型竞赛优秀奖，中国计算机学会软件工程专委，2017年11月；

• “MT4WS：面向Web服务的蜕变测试系统”，全国软件服务创新大赛二等奖，中国计算机学会服务计算专委，2017年9月；

• “VxSaaS：基于可变性模型的可定制SaaS软件支撑平台”，全国软件服务创新大赛一等奖，中国计算机学会服务计算专委，2016年9月；

• “μBPEL:一个面向BPEL服务组装程序的变异测试系统”，第三届全国软件研究成果原型竞赛二等奖，中国计算机学会软件工程专委，2015年11月；

• “基于可变性管理的适应性服务组装支持平台”，第二届全国软件研究成果原型竞赛三等奖，中国计算机学会软件工程专委，2014年11月；

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

• 入选美国Marquis Who's Who in the World，2007-；

• 软件学报“高被引论文作者”，2006-；

发明专利与计算机软件著作权:

• 孙昌爱. 基于可变性的适应性服务组装方法, 发明专利, 受理号: 201010283864.0, 公开号: CN101968737；

• 孙昌爱. 面向服务组装的声明式事务集成方法与系统, 发明专利, 专利号: ZL201110034052.7；

• 孙昌爱. 一种无需预期的Web服务测试方法, 发明专利, 专利号: ZL201110109427.1；

• 孙昌爱, 尚岩. 基于方面的可靠WEB服务组装方法与系统, 发明专利, 专利号: ZL201210428162.6；

• 孙昌爱, 贾婧婷. 一种变异测试方法及装置, 发明专利, 专利号: ZL201510700704.4；

• 孙昌爱, 郭新玲. 一种冗余变异体识别方法, 发明专利, 专利号: ZL201710329693.2；

• 孙昌爱, 刘镇贤, 王真. 一种微服务系统业务流程可变性建模方法及系统, 发明专利, 受理号: 201910517942.X, 授权中；

• 孙昌爱, 唐锦, 郭新玲. 一种冗余变异体识别方法及识别装置, 发明专利, 专利号: ZL201910548098.7；

• 孙昌爱, 李妤纤. 一种微服务组合程序的故障定位方法及系统, 发明专利, 专利号: ZL202010051172.7；

• 孙昌爱, 代贺鹏, 耿宁. 一种并发程序的蜕变测试技术, 发明专利, 受理号: 202110109436.4, 实质审查；

• 卫新洁, 张守峰, 左婉晴, 孙昌爱, 等. 一种基于规则的Ray系统故障定位方法及装置, 发明专利, 受理号: 202110109436.4, 实质审查；

• 孙昌爱, 邢嘉煜, 付安, 等. 一种无需预期的图像处理软件测试技术, 发明专利, 受理号: 202110109436.4, 实质审查；

• 孙昌爱, 王真, 龚玉飞. 一种模型驱动的上下文感知物联网服务组合方法及系统, 发明专利, 受理号: 202210109436.4, 实质审查；

• 孙昌爱. 基于可变性管理的适应性服务组装平台引擎软件(简称VxBPEL V1.0), 计算机软件著作权, 登记号: 2011SRBJ4324；

• 孙昌爱. 基于SaaS的Java软件度量系统(简称JM4OSS V1.0), 计算机软件著作权, 登记号: 2012SR006448；

• 孙昌爱. 面向布尔表达式的高效测试用例生成软件(简称BEAT-WEB V1.0), 计算机软件著作权, 登记号: 2012SR023267；

• 孙昌爱，赵彦. 基于变换的UML活动图模型测试路径生成工具(简称TestGen V1.0), 计算机软件著作权, 登记号: 2012SR105186；  

• 孙昌爱, 薛铁恒. 面向服务组装的可变性分析软件(简称ValySec V1.0), 计算机软件著作权, 登记号: 2012SR105485；

• 孙昌爱, 赵敏. 基于Java的Web服务可信性度量工具(简称TM4WS V1.0), 计算机软件著作权, 登记号: 2012SR105059；

• 孙昌爱, 薛铁恒, 王可. 基于可变性管理的适应性服务组装设计软件(简称VxBPEL Designer V1.0), 计算机软件著作权, 登记号: 2012SR105193；

• 孙昌爱, 尚岩. 基于Aspect的支持服务组装中事务集成软件(简称Salan V1.0), 计算机软件著作权, 登记号: 2012SR129029；

• 孙昌爱, 王冠. 面向Web服务的蜕变测试软件(简称MT4WS V1.0), 计算机软件著作权, 登记号: 2012SR128924；

• 孙昌爱, 王可. 基于可变性管理的适应性服务组装运行时管理软件(简称MX4B V1.0), 计算机软件著作权, 登记号: 2013SR002349；

• 孙昌爱, 赵彦. 基于场景的BPEL程序测试用例自动生成工具(简称TSTG V1.0), 计算机软件著作权, 登记号:  2014SR016093；

• 孙昌爱, 翟忆蒙. 基于块的BPEL程序故障定位软件 (简称BPELDebugger V1.0), 计算机软件著作权, 登记号: 2014SR016099；

• 孙昌爱, 薛飞飞. 基于控制流的变异体精简技术支持平台(简称ReMT V1.0), 计算机软件著作权, 登记号: 2016SR026904；

• 孙昌爱, 张鑫. 可复用与可定制的SaaS软件开发支持平台(简称VxBPEL_SaaS V1.0), 计算机软件著作权, 登记号: 2016SR026907；

• 孙昌爱, 郑彩云. 基于谓词切换的BPEL程序故障定位支持平台(简称BPEL_PSLocator V1.0), 计算机软件著作权, 登记号: 2016SR026914；

• 孙昌爱, 潘琳, 王真, 赵彦. 面向BPEL服务组装程序的变异测试系统(简称uBPEL V1.0),计算机软件著作权, 登记号: 2016SR241452；

• 孙昌爱, 冉玉凤. 基于切片的BPEL程序故障定位支持平台(简称BPEL_SLLocator V1.0), 计算机软件著作权, 登记号: 2016SR350826；

• 孙昌爱, 李伟芳. 基于权限组合的Android应用程序安全检测工具 (简称DroidProtector V1.0), 计算机软件著作权, 登记号: 2016SR352225；

• 孙昌爱, 代贺鹏, 张自强. 面向Web服务的动态随机测试系统(简称DRT4WS V1.0),计算机软件著作权, 登记号: 2018SR271444；

• 孙昌爱, 代贺鹏, 张在兴. 特征模型驱动的适应性服务组装构造支持系统(简称FM2VxBPEL V1.0), 计算机软件著作权, 登记号: 2016SR278455；

• 孙昌爱, 李盟, 贾婧婷. 面向Android应用程序的变异测试系统 (简称MuDroid V1.0), 计算机软件著作权, 登记号: 2018SR458729；

• 孙昌爱, 国靖, 樊翠洋. 基于控制依赖与统计分析的WS-BPEL程序的故障定位支持系统 (简称WS-BPEL_CSLocator V1.0), 计算机软件著作权, 登记号: 2018SR912807；

• 孙昌爱, 唐锦, 贾婧婷. 面向C程序的并发变异测试工具 (简称PECMA-C V1.0), 计算机软件著作权, 登记号: 2019SR0166319；

• 孙昌爱, 王晶, 国靖. 微服务动态配置工具 (简称CM4MS V1.0), 计算机软件著作权, 登记号: 2020SR0205682.

员工培养情况:

• 指导的员工中，9人获“kaiyun体育登录网页入口优秀硕士论文”；5人获kaiyun体育登录网页入口“学术之星”称号；8人获国家员工奖学金；3人获“北京市优秀毕业生”称号。

• 指导的本科生中，5人获“kaiyun体育登录网页入口优秀毕业论文”，1人获 “北京市优秀毕业论文”。

课题组毕业的员工均就业于知名IT企业，如微软、华为、百度、阿里巴巴、联想研究院、搜狗、美团、京东等。课题组与美国、荷兰、澳大利亚、德国、英国、香港等多所著名高校保持密切的学术联系，毕业生有机会推荐前往相关合作教授课题组攻读博士学位。

欢迎有志于软件测试与服务计算方向研究的同学报考/保送我的员工！欢迎软件工程或服务计算方向的博士、博士后加盟我的课题组！