洪玫
- 作品数：79 被引量：279H指数：9
- 供职机构：四川大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划四川省应用基础研究计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>
- 数据库系统测试中测试用例的自动规范方法被引量：3
- 2009年
- 数据库系统测试用例格式不规范,影响了测试用例的重用。为了解决这一问题,对依据数据库系统测试的特点进行了研究。提出了一个简单的测试用例格式规范,以及能自动规范已有测试用例的算法——用例行为跟踪算法。实现对数据库系统现有测试用例的自动规范,为进一步的测试用例自动生成研究奠定了基础。最后以MySQL的测试框架为实例,验证该算法的可行性。
- 曾明洪玫王卓尹洪冷江
- 关键词：软件自动化测试测试用例自动生成
- 多处理器实时系统可调度性分析的UPPAAL模型被引量：16
- 2015年
- 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息.
- 代声馨洪玫郭兵杨秋辉黄蔚徐保平
- 关键词：可调度性UPPAAL时间自动机
- 基于模糊匹配的数据库模式测试方法
- 2012年
- 数据库模式测试是数据库系统测试的重要工作,在前期的研究中已经实现了一种简单的数据库模式测试方法,该方法针对数据库ER模型和逻辑模型不一致的问题进行了研究.但是该匹配方法单一,属于一对一的语义匹配,为了解决这一局限性,提出了一套基于"模糊匹配"的数据库模式测试方法.该方法考虑了以上方法的不足,使用"模糊匹配"对数据库模式进行测试,解决了由于数据库结构复杂导致测试结论误报率高的问题,并且将数据字典信息作为匹配标准,对匹配信息进行种类划分,减少了匹配工作量,同时还将语义信息和结构信息相结合,提高了匹配准确度.
- 阙舒洪玫李海怒
- 软件回归测试中的自动测试生成方法被引量：4
- 2009年
- 软件回归测试一般使用现有的测试用例集进行测试,如何有效利用这些用例成为回归测试的关键。研究自动对现有测试用例集的扩展,包括自动改变测试用例的执行顺序、自动进行测试用例数目的增减等,提出基于现有测试用例随机生成新的测试用例集的方法。实验证明,该方法生成的测试文件能在原有环境下成功执行,能实现自动测试范围的扩大或缩小,以及测试时间的增加或减少,为软件回归测试提供了有用的自动化工具。
- 曾强洪玫杨昊苏骆德全
- 关键词：软件回归测试测试用例自动生成测试自动化
- CDZS系列空中交通管制中心系统
- 游志胜杨国庆杨红雨李毅张建伟冯子亮费向东胡术杨波范雄刘正熙洪玫俞祥基张卫华王运锋
- 该系统为民、军航的飞行安全保障系统和国家空防体系的重要组成部分，是国家急需的重大装备，过去为欧美垄断，价格昂贵，不完全适应中国空管需求。该项目完成单位历时8年，完成了适合中国民、军航空管使用的系列管制中心系统。拥有自主知...
- 关键词：
- 关键词：空中交通管制雷达数据处理
- CMMI与SW-CMM的比较研究被引量：10
- 2004年
- 万永刚洪玫刘月钟
- 关键词：CMMISWCMM软件工程软件能力成熟度模型
- 分布式测试平台任务管理子系统的设计与实现被引量：1
- 2011年
- 提出了一种分布式软件自动化测试平台,通过有效利用Internet网络上的空闲客户端,实现在Internet上的测试任务调度和分配,测试任务的自动完成以及测试结果的收集和分析等,并完成了平台的核心模块。这种实地的软件测试比在模拟环境下具有更好的效果,有效地解决了传统软件测试的带来的一些问题,满足了用户对软件进行快速有效测试的要求。
- 胡元甲洪玫黄梅周春容
- 关键词：分布式测试系统自动化测试任务调度
- 一种多处理器系统可调度性验证方法
- 本发明公开了一种多处理器系统可调度性验证方法，包括：对可调度性分析问题中的应用程序、运行平台、调度管理分别建立模型，形成可调度性分析模型；采用时间计算树逻辑TCTL描述系统可调度性的性质；完成对可调度性分析模型和性质的验...
- 洪玫代声馨何洋孙琳张琼宇杜伊
- 文献传递
- Github中开发人员的行为特征分析被引量：3
- 2019年
- 开源环境下开发人员的行为特征分析是促进开源社区协作开发的重要问题之一。文中以Github开源社区的数据为研究对象,结合可视化分析的技术,分析了Github上开发者贡献度的影响因素,探索了开发者之间的协作关系,进一步分析了开发者所属地域与开发者协作之间的关系。通过研究结果发现了一些具有重要理论和时间价值的现象与结论,从一个新的视角揭示了开发人员的部分行为特征。
- 李存燕洪玫
- 关键词：贡献度可视化
- 基于程序频谱的两阶段缺陷定位方法
- 2021年
- 缺陷定位是软件质量保证中关键且困难的一项工作,随着软件规模的增大,人工进行缺陷定位的成本越来越高,自动化缺陷定位技术成为研究热点。现有的基于程序频谱的缺陷定位技术可以将缺陷定位到程序语句,但对于大型复杂的软件系统,这种定位方法将带来较大的时间花销。针对此问题,提出一种基于程序频谱的两阶段缺陷定位方法,第一阶段为粗粒度定位,将缺陷定位到程序模块;第二阶段为细粒度定位,在定位的程序模块中再将缺陷定位到语句;最后输出可疑语句推荐列表,辅助开发人员的调试工作。实验结果表明,相比于传统的方法,该方案在保证定位效果的前提下平均减少了10.24%的定位时间。
- 伍佳洪玫万莹邓惠心潘春霞
- 关键词：测试用例
