亚搏体育vip(baber2.com)是亚洲优质游戏品牌,综合各种在线游戏于一站式的大型游戏平台,经营多年一直为大家提供安全稳定的游戏环境,亚搏体育vip值得信赖,期待广大游戏爱好者前来体验,亚搏体育vip将把最好的游戏体验带给大家!

    1. <optgroup id="clauc"><xmp id="clauc">
      <code id="clauc"></code>
      <legend id="clauc"><td id="clauc"><option id="clauc"></option></td></legend>
        <listing id="clauc"></listing>
        科研团队

        服务计算与软件测试

        来源:  日期:2020-09-28  点击量:

        【团队名称】

         服务计算与软件测试


        【团队方向】

        计算机软件亚搏体育vip,服务计算亚搏体育vip亚搏体育vip,软件测试亚搏体育vip,程序分析


        【团队简介】

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

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

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


        fbba7f0f5301323acaaa39d5a5b63649.png


        【团队成员】

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

         

        【突出成果】

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

        中国计算机学会软件研究成果奖6项亚搏体育vip;

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

        中国蜕变测试研讨会指导委员会主席亚搏体育vip,国际蜕变测试研讨会组织者之一亚搏体育vip亚搏体育vip。

         

        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亚搏体育vip,电子邮箱:casun@ustb.edu.cn

        孙昌爱.png

        • 计通NEWS
        • 索思
        亚搏体育vip
          1. <optgroup id="clauc"><xmp id="clauc">
            <code id="clauc"></code>
            <legend id="clauc"><td id="clauc"><option id="clauc"></option></td></legend>
              <listing id="clauc"></listing>