程雪梅
- 作品数:4 被引量:1H指数:1
- 供职机构:四川大学计算机学院更多>>
- 发文基金:四川省应用基础研究计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 程序中死锁检测的方法和工具
- 2017年
- 死锁一直都是并发系统中最重要的问题之一,对死锁检测的研究一直都在不断地进行着。模型检测方法是一种重要的自动验证技术,越来越多地被用在验证软硬件设计是否规范的工作中。针对死锁检测的问题进行综述,统计已有的死锁检测方法的文献资料并给出统计结果。然后对搜集出来的文献进行分析,介绍许多动态以及静态的死锁检测方法。最后介绍两种常用的模型检测工具,提出使用模型检测工具进行死锁检测的思路与方法,并证实这种方法的可行性。
- 翟宇鹏程雪梅
- 关键词:死锁检测文献计量分析
- 测试用例修复的方法与工具综述
- 2017年
- 由于功能的增加、性能的优化、错误的修复等原因,软件处于不断演化中。软件的变化导致在回归测试中部分测试用例失效,直接丢弃失效用例会降低用例集检测错误的能力,减弱回归测试的有效性,测试用例修复技术很好地解决这个问题。测试用例修复旨在通过对失效测试用例中的测试元素进行添加、修改、删除等修复操作,使该测试用例在新版本软件的回归测试中执行通过。通过系统文献综述的方法,首先对相关文献进行检索,然后通过End Note、Bibexcel、Ref Viz工具对检索结果进行文献计量分析,最后完成文献综述。
- 程雪梅翟宇鹏
- 关键词:文献计量分析
- 针对方法声明演化的单元测试用例修复方法
- 2015年
- 软件演化会造成一部分测试用例失效,如果直接将其从测试用例集中移除,会影响测试用例集检测缺陷的能力,降低回归测试的有效性。测试用例修复技术可以减少测试维护的工作量,增强回归测试的有效性。研究了针对方法声明演化的单元测试用例修复方法,首先使用反射机制得到方法声明演化信息,识别演化类型,再针对方法名称改变、方法参数改变和返回参数类型改变,分别提出了相应的修复策略。在修复过程中使用动态符号化执行技术得到测试数据,提高了测试用例修复的范围。实验表明,该方法能有效修复由方法声明演化引起编译错误的测试用例,平均修复率为60%左右,证明了该方法的可行性。
- 张琼宇杨秋辉张光渝程雪梅孙琳
- 基于安全域的Android系统内核安全增强机制研究被引量:1
- 2018年
- 近年来,随着Android系统的迅猛发展,其安全面临着极大的挑战。Android的安全包括系统安全和软件安全,系统安全是整个安全的基石,对整体安全至关重要。以TOMOYO Linux为基础,针对Android的特点,改进了域生成算法,实现了内核层面的安全增强机制。实验证明,所提安全增强方案能够有效增强Android系统的安全性。
- 陈伟杨秋辉程雪梅
- 关键词:ANDROID安全域LINUX