孙琳
- 作品数：3 被引量：1H指数：1
- 供职机构：四川大学计算机学院更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- JavaScript中的内存泄漏检测方法研究被引量：1
- 2015年
- JavaScript作为一种主流的前端脚本语言,广泛运用于Web应用中。虽然JavaScript语言具有垃圾回收机制动态管理内存,但用于各类程序库的的运用,仍然存在内存泄漏的问题。论文分析和归纳了十一种内存泄漏的模式,并提出静态和动态的检测方法的结合,实现对十一种内存泄漏的检测。在静态检测中,基于JavaScript程序的抽象语法树,分析和抽象类和事件之间的关系,跟踪对象执行轨迹,发现疑似泄漏的对象。在动态检测阶段,依据静态检测结果,生成测试用例并运行,获取动态堆信息,构建类型指向图,通过分析内存占用率上升的趋势判断内存泄漏。实验验证本内存泄漏检测方法是可行性的,并有较好的检测能力,比较静态方法减少了误报率,比较动态方法,检测的覆盖率有所增加。
- 孙琳洪玫詹聪杜伊张琼宇
- 关键词：动态内存管理
- 针对方法声明演化的单元测试用例修复方法
- 2015年
- 软件演化会造成一部分测试用例失效,如果直接将其从测试用例集中移除,会影响测试用例集检测缺陷的能力,降低回归测试的有效性。测试用例修复技术可以减少测试维护的工作量,增强回归测试的有效性。研究了针对方法声明演化的单元测试用例修复方法,首先使用反射机制得到方法声明演化信息,识别演化类型,再针对方法名称改变、方法参数改变和返回参数类型改变,分别提出了相应的修复策略。在修复过程中使用动态符号化执行技术得到测试数据,提高了测试用例修复的范围。实验表明,该方法能有效修复由方法声明演化引起编译错误的测试用例,平均修复率为60%左右,证明了该方法的可行性。
- 张琼宇杨秋辉张光渝程雪梅孙琳
- 多核系统动态温度管理TAPE策略的形式化验证
- 2017年
- 多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用。在部署分布式DTM策略前,必须验证其可靠性。为了克服传统分析方法的局限,模型检测技术被应用于分布式DTM策略的分析中。提出使用统计模型检测技术来验证多核系统中分布式DTM策略(以TAPE策略为例)的方案。使用UPPAAL SMC对TAPE策略的验证证明了TAPE策略的安全性、有效性、活性以及稳定性,从而验证DTM策略方案的可靠性。
- 屈媛媛洪玫孙琳
- 关键词：多核系统
