杜伊
- 作品数：7 被引量：4H指数：1
- 供职机构：四川大学计算机学院更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型检测的多处理器实时系统可调度性自动化分析
- 2017年
- 近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可重复利用。针对此,开发一个工具用于自动完成可调度性检测,并可视化显示结果。
- 杜伊
- 关键词：自动化可视化
- 软件模型检测中状态爆炸问题的解决方法被引量：2
- 2017年
- 在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。
- 屈媛媛杜伊
- 关键词：状态空间爆炸
- 一种多处理器系统可调度性验证方法
- 本发明公开了一种多处理器系统可调度性验证方法，包括：对可调度性分析问题中的应用程序、运行平台、调度管理分别建立模型，形成可调度性分析模型；采用时间计算树逻辑TCTL描述系统可调度性的性质；完成对可调度性分析模型和性质的验...
- 洪玫代声馨何洋孙琳张琼宇杜伊
- 文献传递
- JavaScript中的内存泄漏检测方法研究被引量：1
- 2015年
- JavaScript作为一种主流的前端脚本语言,广泛运用于Web应用中。虽然JavaScript语言具有垃圾回收机制动态管理内存,但用于各类程序库的的运用,仍然存在内存泄漏的问题。论文分析和归纳了十一种内存泄漏的模式,并提出静态和动态的检测方法的结合,实现对十一种内存泄漏的检测。在静态检测中,基于JavaScript程序的抽象语法树,分析和抽象类和事件之间的关系,跟踪对象执行轨迹,发现疑似泄漏的对象。在动态检测阶段,依据静态检测结果,生成测试用例并运行,获取动态堆信息,构建类型指向图,通过分析内存占用率上升的趋势判断内存泄漏。实验验证本内存泄漏检测方法是可行性的,并有较好的检测能力,比较静态方法减少了误报率,比较动态方法,检测的覆盖率有所增加。
- 孙琳洪玫詹聪杜伊张琼宇
- 关键词：动态内存管理
- 概率模型检测在动态能耗管理中的应用被引量：1
- 2018年
- 如何平衡嵌入式设备的能耗和性能表现,成为了一个热门话题。动态能耗管理是一种在保证系统性能的基础上降低其能耗的有效方法,其关键点是如何生成有效的动态能耗管理策略。在概率模型检测技术的基础上,提出了一种生成和验证动态能耗管理策略的方法。首先对目标系统和能耗管理目标建模,然后利用PRISM-games工具进行动态能耗管理策略的合成,同时利用模型检测工具PRISM对合成的动态能耗管理策略进行验证。实验表明,该方法具备可行性和有效性。
- 杜伊何洋洪玫
- 关键词：概率模型检测
- 一种死锁检测验证方法
- 本发明公开了一种死锁检测验证方法，包括：提取出待测进程的状态、状态转移关系；建立不同的死锁检测模板；将进程的状态、状态转移关系以及建模属性按照类别分别写入XML配置文件；读取XML配置文件，选择相应的死锁检测模板进行模型...
- 杨秋辉代声馨张琼宇孙琳何洋杜伊
- 文献传递
- 一种死锁检测验证方法
- 本发明公开了一种死锁检测验证方法，包括：提取出待测进程的状态、状态转移关系；建立不同的死锁检测模板；将进程的状态、状态转移关系以及建模属性按照类别分别写入XML配置文件；读取XML配置文件，选择相应的死锁检测模板进行模型...
- 杨秋辉代声馨张琼宇孙琳何洋杜伊
