四川大学主页平台管理系统 hongmei--Home

洪玫

E-Mail:

Date of Employment:1993-07-01

School/Department:计算机学院（软件学院、智能科学与技术学院）

Administrative Position:教授

Education Level:With Certificate of Graduation for Study as Master's Candidates

Business Address:四川大学望江校区基础教学楼JC-B-306, 四川大学江安校区二基楼B502 通信方式：四川大学计算机学院（610065）

Contact Information:(+86) 28 85469305(O), 13980494530

Degree:硕士

Status:Retired

Alma Mater:四川大学

Honors and Titles:

高校教龄32年，从事软件工程领域科研工作近20年，主持和参与省部级科研项目5项，大、中型横向科研项目20余项，其中1项为大型项目。获得国家科技进步一等奖1项；教育部重大贡献奖1项。Journal of Computer Science and Technology等学术期刊审稿人；作为程序委员会委员参与本领域的多个国际学术会议审稿。国际科技合作计划评价专家；四川省科技厅项目评审专家。四川大学教师发

MOBILE Version

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research Achievements >> Paper Publications

目前已在权威国际国内学术期刊和国际会议上发表论文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的功能测试用例生成方法等。

Hits:

Translation or Not:no