教师信息
教师信息
洪玫
时间: 2012-01-02 11:36  来源: 计算机学院

 
姓名:洪玫
职称:教授职务:副院长
所在系所:软件工程系电话:(+86) 28 85469305(O), 13980494530
电子邮箱:hongmei@scu.edu.cn个人主页:http://cs.scu.edu.cn/~hongmei
办公地址: 四川大学望江校区基础教学楼JC-B-306, 四川大学江安校区二基楼B502 通信方式:四川大学计算机学院(610065)
研究方向:  软件分析与测试、软件形式化验证、软件自动化测试
 个人简介
  个人简介
  1984年重庆大学自动化系计算机工程专业学士;1998年四川大学计算机学院计算机软件与理论专业硕士;1984年至1993年在四川师范大学数学系计算机软件教研室任教,从事计算机本科专业教学;1993年至今在四川大学计算机学院(软件学院)任教,从事计算机和软件工程专业教学和科研;2001年至2006年在四川川大智胜软件股份有限公司兼职,从事技术和质量管理、项目管理、人力资源管理等工作。2000年和2001年先后两次到法国巴黎THALES公司参加“实时软件工程”方向研究生课程培训,并回国担任中法联合培养实时软件工程硕士项目的中方教师;2007年至2008年在美国Maryland大学计算机系做访问学者,主要从事软件质量保证和软件测试方面研究。主讲软件工程、系统需求分析、软件测试与维护、软件开发环境与工具、实时系统概念与实现、实时数据库等20余门专业课程。从事软件分析与测试领域的理论和技术研究,包括模型检测技术的应用,基于数据的软件工程和软件自动化测试等;主要的应用研发包括软件形式化验证工具、自动化单元测试工具、测试用例和数据生成工具等。拥有一个嵌入式系统研发与测试实验室,完成12届硕士研究生指导,毕业43人,在读15人。近几年完成项目:分布式自动化测试和模拟器,内存分析技术,ISM自动化测试,LLT用例框架生成与内存分析。目前在研项目:嵌入式系统软件形式化验证技术研究(四川省科技厅应用基础研究计划项目);无线网络异常检测和预测算法研究(华为)。
 
项目成果及获奖荣誉
  高校教龄32年,从事软件工程领域科研工作近20年,主持和参与省部级科研项目5项,大、中型横向科研项目20余项,其中1项为大型项目。获得国家科技进步一等奖1项;教育部重大贡献奖1项。Journal of Computer Science and Technology等学术期刊审稿人;作为程序委员会委员参与本领域的多个国际学术会议审稿。国际科技合作计划评价专家;四川省科技厅项目评审专家。四川大学教师发展中心教学导师;四川省精品资源共享课程负责人;负责省部级以上教改项目3项;获得四川省教学成果二等奖2项;获得四川大学宝钢优秀教师奖。
 
论文著作
  目前已在权威国际国内学术期刊和国际会议上发表论文60余篇,其中EI/SCI收录5篇,核心期刊45篇;申请国家专利2项;参与出版教材5部。代表论文包括:基于RQP算法的数据库系统测试数据生成方法;分布式自动化软件测试实验技术研究;An Approach of Test Suite Random Generation in Software Testing;An Approach of Automated Test Cases Generation in Database Stored Procedure Testing;多处理器实时系统可调度性分析的UPPAAL模型;A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking;基于有界模型检测的C/C++程序内存泄漏检测;基于模型检测工具NuSMV的功能测试用例生成方法等。





】 【打印本文】 【关闭窗口

 

 

地址:(望江校区)成都市一环路南一段24号基础教学楼B座三楼 邮编:610065 电话:86-028-85469688
   (江安校区)成都市双流县川大路第二基础教学楼B座五楼 邮编:610207 电话:86-028-85990972

四川大学计算机学院版权所有 © 2011

Produced By CMS 网站群内容管理系统 publishdate:2016/06/17 10:29:58