【团队名称】

 服务计算与软件测试

【团队方向】

计算机软件，服务计算，软件测试，程序分析

【团队简介】

课题组长期从事服务计算与软件测试方向的研究工作。在服务计算方向，围绕着新型服务软件开发中的适应性、一致性、可靠性等关键问题，在适应性服务组装、服务组装中事务集成与管理、服务软件的测试与调试等方面取得了一系列原创性的研究成果，研制了相应的支撑平台。软件测试方向，长期从事蜕变测试、变异测试、模型驱动测试、基于故障的软件测试等新型软件测试理论与技术研究工作，开发了一系列测试工具。研究工作得到来自中国、美国、德国、荷兰、西班牙、澳大利亚等多个国家的学者广泛引用。主持完成国家自然科学基金、北京市自然科学基金、中国航空科学基金等二十余项研究课题。在IEEE Transactions on Software Engineering、IEEE Transactions on Computers、IEEE Transactions on Services Computing、IEEE Transactions on Reliability、ACM Transactions on the Web、Journal of Systems and Software、中国科学、计算机学报、软件学报等国内外重要学术刊物上发表论文100余篇、申请中国国家发明专利9项、登记计算机软件著作权25项，出版译著3部。

课题组拥有长期稳定的科研方向（长期从事软件测试与服务计算方向研究工作，技术积累厚实）、宽松与自由的科研环境（从事基础研究与应用基础研究，鼓励自由探索）、广泛的国际交流与合作（与美国、德国、荷兰、澳大利亚、香港等海内外著名高校保持长期合作，多次主办学术会议）、亲历亲为的学术指导（每周一次课题组例会，课题组负责人亲自指导员工）。

课题组培养出博士后1名，员工40余名，本科生60余人。培养的员工中，6人获“kaiyun体育登录网页入口优秀硕士论文”、4人次获计通公司“学术之星”称号、8人获得硕士员工国家奖学金、3人获得“北京市优秀毕业生”称号、20余人次在全国科技竞赛中获奖；培养的本科生中，3名获kaiyun体育登录网页入口优秀毕设论文，2名获“北京市优秀毕业生”称号。课题组已经毕业的员工均就业于知名IT企业，如微软、百度、阿里巴巴、华为、联想研究院、搜狗等。创新型计算机专业员工培养举措与实践获得北京市2017年度高等教育教学成果二等奖，课题组负责人获得kaiyun体育登录网页入口第六届“研师亦友”奖、kaiyun体育登录网页入口第五届“员工教育奖”等多项教育教学奖励。

【团队成员】

团队负责人：孙昌爱，博士，教授，博士生导师，kaiyun体育登录网页入口计算机科学与技术系主任、软件与安全研究所所长。2002年毕业于北京航空航天大学，获计算机软件与理论博士学位；1997年毕业于kaiyun体育登录网页入口，获计算机应用学士学位。长期从事软件工程、服务计算领域的研究与教学，侧重于服务计算、软件测试、程序分析等方向。担任TrustCom2008、RTTSBS2014、UIC2015、CBPM2020(第十届中国业务过程管理大会)等国际/全国学术会议程序委员会主席，担任国际会议IEEE SOCA2015、全国服务计算学术会议NCSC2018（第九届中国计算机学会服务计算学术会议）研讨会主席，担任2015全国服务软件的测试与分析研讨会、2018全国蜕变测试研讨会等大会主席,担任IEEE ICWS2020、COMPSAC2020等软件工程、服务计算领域国际会议程序委员会委员120余次。IEEE高级会员、中国电子学会高级会员、中国计算机学会高级会员、中国计算机学会软件工程专委委员、中国计算机学会服务计算专委委员、中国计算机学会学术工委通讯委员。曾在美国普渡大学、荷兰格罗宁根大学、澳大利亚斯文本大学、德国帕德博恩大学、香港理工大学从事学术研究与交流。

【突出成果】

承担国家自然科学基金、北京市自然科学基金、教育部博士点基金、航空科学基金等20余项课题；

中国计算机学会软件研究成果奖6项；

在IEEE Transactions on Software Engineering, IEEE Transactions on Computers, IEEE Transactions on Services Computing, IEEE Transactions on Reliability等软件工程、服务计算领域顶级国际期刊与会议上发表论文100余篇；

中国蜕变测试研讨会指导委员会主席，国际蜕变测试研讨会组织者之一。

5篇代表性国际期刊论文：

[1]C. Sun, A. Fu, P. Poon, et al. METRIC+: A Metamorphic Relation Identification Technique Based on Input plus Output Domains. IEEE Transactions on Software Engineering, 2019, in press.

[2]C. Sun, H. Dai, H. Liu, et al. Adaptive Partition Testing. IEEE Transactions on Computers, 2019, 68(2):157-169

[3]C. Sun, Y. Zhao, L. Pan, H. 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.

[4]C. Sun, Y. Shang, M. Aiello. Integrating Transactions into BPEL Service Compositions: An Aspect-based Approach. ACM Transactions on the Web, 2015, 9(2): 9:1-9:31.

[5]C. Sun, E. Khoury, M. Aiello, Requirements and A Proposal for Transaction Management in Service-Oriented Systems. IEEE Transactions on Services Computing, 2011, 4(2): 167-180.  

5篇代表性国际会议论文：

[1]C. Sun, M. Li, J. Jia, J. Han. Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance. Proceedings of 16th International Conference on Service-Oriented Computing (ICSOC 2018), 2018. (CCF B)

[2]C. Sun, J. Jia, H. Liu, X. Zhang. A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis. Proceedings of 42nd IEEE Annual Computer Software and Applications Conference (COMPSAC 2018), 2018. (CCF C)

[3]C. Sun, C. Fan, Z. Wang, et al. dμReg: A Path-Aware Mutation Analysis Guided Approach to Regression Testing, Proceeding of AST 2017, collocated with ICSE 2017 (ICSE 为CCF A)

[4]C. Sun, Y. Liu, Z. Wang, et al. μMT: A Data Mutation Directed Metamorphic Relation Acquisition Methodology, Proceeding of MET 2016, collocated with ICSE 2016. (ICSE 为CCF A)

[5]C. Sun, et al. Metamorphic Testing for Web Services: Framework and a Case Study, Proceedings of 9th IEEE International Conference on Web Services (IEEE ICWS 2011), pp.283-290. (CCF B)

5篇代表性国内期刊论文:

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

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

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

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

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

【联系人及联系方式】

孙昌爱 13641386936，电子邮箱：casun@ustb.edu.cn