王笛
- 作品数:8 被引量:13H指数:2
- 供职机构:复旦大学更多>>
- 发文基金:国家科技重大专项更多>>
- 相关领域:自动化与计算机技术医药卫生天文地球更多>>
- 一种对象粒度的Java程序并发错误检测框架被引量:1
- 2013年
- 由于多线程程序执行的复杂性和不确定性,Java程序中的并发错误难以被检测和修复.不变式检测方法作为目前最为有效的检测手段,采用提取正确程序行为的方式,能自动识别程序并发错误.但是,传统的不变式检测方法基于单个字段分析程序行为,不考虑程序中的关联变量间的依赖关系,所以无法检测多个关联变量引发的并发错误.针对这一问题,本文实现了一个对象粒度的不变式检测框架OBJ-D,基于对象操作分析程序行为.OBJ-D通过记录对象的读写依赖,能反映同一对象中多个变量间的依赖关系,为检测多变量并发错误创造了条件.测试表明,在不影响训练敏感度和性能开销的前提下,OBJ-D能同时有效检测单变量和多变量引发的并发错误,并只引入很少的假阳性.
- 王笛杨珉周曦
- 关键词:JAVA多变量
- 对象粒度收集的Java不变式检测系统
- 本发明属于程序错误检测技术领域,具体为一种对象粒度收集的Java不变式检测系统。本发明系统包括预处理模块、不变式训练模块、不变式文件分析模块、不变式检测模块以及错误排序删减模块;其中,预处理模块负责检测和过滤程序中不会引...
- 杨珉王笛
- 文献传递
- 一种对象粒度和上下文敏感的Java程序并发错误检测框架(Jacob)
- 随着计算机多核技术的发展,Java多线程技术的优势体现得越来越明显。多线程技术不仅能够提高程序的运行效率,而且能提高程序的实时响应性,从而提升了用户体验,目前推出的软件产品大多都使用多线程的方式实现。然而,多线程技术在为...
- 王笛
- 关键词:JAVA上下文敏感多变量
- 文献传递
- 对象粒度收集的Java不变式检测系统
- 本发明属于程序错误检测技术领域,具体为一种对象粒度收集的Java不变式检测系统。本发明系统包括预处理模块、不变式训练模块、不变式文件分析模块、不变式检测模块以及错误排序删减模块;其中,预处理模块负责检测和过滤程序中不会引...
- 杨珉王笛
- 文献传递
- PDCA护理管理对全髋关节置换术后患者功能锻炼依从性的影响被引量:10
- 2018年
- 目的探讨PDCA护理管理对全髋关节置换术(THR)患者术后功能锻炼依从性、关节功能及术后康复的影响。方法2014年6月-2016年6月选取THR患者120例,随机分为观察组及对照组,各60例。对照组应用常规性护理干预,观察组应用PDCA护理管理,比较两组患者功能锻炼依从性、关节功能恢复情况及术后康复效果。结果观察组患者总有效率、术后锻炼依从率及满意率高于对照组,差异有统计学意义(P〈0.05),而术后并发症低于对照组,差异有统计学意义(P〈0.05)。观察组干预后Harris髋关节评分、Barthel指数评分高于对照组,差异有统计学意义(P〈0.05),而术后数字评分法(NRS)低于对照组,差异有统计学意义(P〈0.05)。结论PDCA护理管理能有效减轻THR患者术后疼痛感及降低并发症,提高患者术后锻炼依从性,改善患者髋关节功能,有利于患者预后。
- 吴赟王笛
- 关键词:全髋关节置换术功能锻炼依从性关节功能
- 应用图像对比方法的UI自动化功能测试被引量:2
- 2012年
- Android系统广泛应用于移动终端。由于开放性的原因,其缺乏严格的开发规范,导致应用质量得不到保证。目前应用商城针对Android上应用程序的功能测试,由于未知应用功能点的不可见性,只能采用手工测试。而随着应用数量的快速增长,纯手工测试已经不能满足测试需求,应用商城迫切需要一种针对未知应用的自动化验证工具。针对这一技术空缺,使用图像比对算法作为识别应用功能界面的理论基础,通过遍历界面来覆盖应用的所有功能点,设计并实现一种UI自动化功能测试工具。通过自动化和并行执行,在保证正确性和功能点覆盖率的情况下,提高了效率,降低了测试成本。测试数据表明应用图像比对方法的自动化功能测试可实现功能点覆盖率93.8%,正确性100%。
- 刘煦王笛张源杨珉
- 关键词:ANDROID移动终端自动化
- 一种对象粒度和上下文敏感的Java程序并发错误检测框架(Jacob)
- 随着计算机多核技术的发展,Java多线程技术的优势体现得越来越明显。多线程技术不仅能够提高程序的运行效率,而且能提高程序的实时响应性,从而提升了用户体验,目前推出的软件产品大多都使用多线程的方式实现。然而,多线程技术在为...
- 王笛
- 关键词:JAVA上下文敏感多变量
- 一种基于Java并发程序错误的不变式检测系统
- 本发明属于程序错误检测技术领域,具体为一种基于Java并发程序错误的不变式检测系统。其包括预处理模块、不变式训练模块、不变式文件分析模块,不变式检测模块,错误排序删减模块及上下文收集传递模块六大模块;本发明在在动态运行时...
- 杨珉王笛
- 文献传递