软件工程国家重点实验室
ENGLISH | 加入收藏 | 设为首页

  工作动态

新闻动态 通知公告 人才招聘

热点新闻

软件工程国家重点实验室2017年
胡瑞敏教授团队获2016年湖北省
王骞教授获IEEE通信学会亚太区
徐宝文教授团队获2015年湖北省
何克清教授团队获2015年湖北省
ISO颁布何克清教授团队的“互
 
新闻动态 您的位置是:首页 > 工作动态 > 新闻动态

 

徐宝文教授团队获2015年湖北省科技进步一等奖

来源:    浏览量:7273    发布时间:2016-08-09 00:05:57

       徐宝文教授带领的由武汉大学、南京大学、上海交通大学、中国船舶重工集团第七〇九研究所共同组成的研究团队,完成了大型复杂软件系统的测试技术及一系列支撑平台的开发。获2015年湖北省科技进步一等奖。

       大型复杂软件在国防等关乎国计民生的行业中应用广泛、影响深远。软件测试技术在软件质量保障中发挥关键作用。在国防、国家自然科学基金、863、教育部、湖北省、江苏省、国际合作等项目支持下,课题组成功研制了面向关键任务的软件测试系统Testeres。成果主要包括:
       1.软件分析与度量工具集。为测试任务分配、测试资源管理等棘手问题提供有效指导。其中关键模块识别、不稳定模块识别工具为理解软件、合理分配资源提供了有说服力的支持,且性能更优越。
       2.测试数据生成与优化工具集。针对测试领域核心问题,在理论上建立了逻辑测试中多种故障类别间的蕴含关系,提出了组合测试最小故障模式,可生成覆盖率高的测试用例,支持白盒与黑盒的测试数据生成与优先级确定、故障诊断等。
       3.测试分析工具集。创新性地提出并使用蜕变关系分析技术,另外结合程序本身固有的特性,应用不变式分析技术,系统解决了很多场景下的测试预言缺失问题。
       4.缺陷定位与分析工具集。充分利用复杂性度量、程序频谱等测试信息,为大型复杂软件系统中缺陷的发现、定位和修复提供了全面、有力的支持。
       课题组获授权发明专利9项,软件著作权12项,并已在数十家军工研究单位、软件测试单位与软件企业进行试用、使用及技术转让。取得了广泛赞誉,创造了良好的经济效益和社会效益。 
       在研制系统的同时,课题组始终坚持理论探索与创新。在包括ACM TOSEM、IEEE TSE等国际顶级期刊与会议上发表100余篇论文(是国内在国际软件顶级杂志上发表论文最多的课题组),被除中国以外的53个国家和地区的作者引用采用1000多次,引用率居国内软件学科团队前茅。


 

Copyright 2014 State Key Lab of Software Eengineering, All Rights Reserved
备案号:鄂ICP备05011569号-1 技术支持:尚网互联