禹振
- 作品数：11 被引量：26H指数：3
- 供职机构：哈尔滨工业大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- C程序隐式规则自动提取与反例检测
- 2013年
- 提出一种通用且高效的隐式规则自动提取与反例检测方法,使用频繁闭合项集挖掘技术挖掘包含多种程序元素的编程模式,然后由编程模式产生编程规则;引入正序规则的概念,以避免从同一个编程模式中产生多个冗余规则.在此基础上,提出一种高效的反例检测算法检测违反规则的程序片段.实验结果表明,该方法能够自动提取程序中存在的隐式编程规则,并快速有效地检测违反规则的反例.
- 禹振苏小红王甜甜马培军
- 关键词：软件缺陷检测
- 基于未来锁集的死锁规避被引量：2
- 2017年
- 针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,若其未来锁集中的所有锁都是空闲的,则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析,计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析,劫持加锁操作,根据其锁效应信息为之计算未来锁集,只有当未来锁集中的所有锁都未被锁定才执行该加锁操作,否则等待.测评实验和对比实验表明Flider能智能主动地规避多种类型死锁,开销较小,扩展性好,不影响程序正确性.
- 禹振苏小红齐鹏马培军
- 关键词：死锁死锁检测
- 一种基于软件事务内存的并发缺陷规避系统及方法
- 本发明公开了一种基于软件事务内存的并发缺陷规避系统及方法，所述系统由事务自动划分模块、可回滚内存模块、可回滚I/O模块、条件变量处理模块和加锁解锁处理模块5个模块构成，所述方法为：一、实现对目标程序的自动事务划分；二、实...
- 禹振苏小红王甜甜赵玲玲
- 文献传递
- 隐式规则自动提取与反例检测方法研究
- 在大规模程序中存在许多隐式编程规则，它们表达了程序的内在特性和特定需求;如果程序员忘记或者未意识到这些规则，那么就很容易将缺陷引入程序。隐式编程规则形态多样，可能包含多种类型的程序元素，位置分散，各个成分可能跨函数、跨文...
- 禹振
- 关键词：软件缺陷检测
- 并发缺陷暴露、检测与规避研究综述被引量：19
- 2015年
- 当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以检测、调试和修复.文中指出软件开发正从顺序模式转向并发模式的趋势,揭示并发程序和并发缺陷各自的三大特点,剖析并发缺陷面临的三大挑战,然后将并发缺陷分为死锁、数据竞争、原子性违背和顺序违背4类,并讨论4类并发缺陷的相互关系,接着就如何尽快暴露、及时检测和高效规避各类并发缺陷对已有研究作出分析、比较和归纳,最后从智能快速的缺陷暴露、通用准确的缺陷检测、确定性重放支持、软硬件协同设计和新的并发编程模型等5个方面展望了未来的研究重点.
- 苏小红禹振王甜甜马培军
- 关键词：死锁数据竞争
- 并发缺陷的检测与规避研究
- 当前普遍流行的多核架构带来无处不在的并行潜能。为从硬件的并行能力获益，并发程序设计正成为主流程序开发模型。相对于顺序程序，并发程序具有并发性和不确定性的特点。这导致并发程序易于遭遇并发缺陷且并发缺陷难以暴露、检测、调试和...
- 禹振
- 关键词：软件开发软件测试程序语言
- 文献传递
- 一种基于软件事务内存的并发缺陷规避系统及方法
- 本发明公开了一种基于软件事务内存的并发缺陷规避系统及方法，所述系统由事务自动划分模块、可回滚内存模块、可回滚I/O模块、条件变量处理模块和加锁解锁处理模块5个模块构成，所述方法为：一、实现对目标程序的自动事务划分；二、实...
- 禹振苏小红王甜甜赵玲玲
- 文献传递
- 多线程程序数据竞争检测和验证方法研究综述!被引量：6
- 2017年
- 随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来。数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能正常运行,或更为严重地导致程序直接崩溃。数据竞争产生的条件往往都比较隐蔽和苛刻,不仅需要特定的输入,而且还需要特定的线程执行交错。因此,数据竞争很难被检测出来。本文介绍了多线程数据竞争检测和验证相关的研究现状,并对已有的数据竞争检测和验证方法在检测能力以及检测效率等方面做出比较、分析以及归纳。同时,对未来数据竞争检测和验证相关的研究方向进行了展望。
- 禹振杨振苏小红王甜甜
- 关键词：多线程
- 使用锁分配图动态检测混合死锁
- 2017年
- 死锁难以暴露、重演和调试.一旦发生,将导致多线程程序响应时间增长、吞吐量下降甚至宕机崩溃.现有死锁检测技术每次只能检测一个互斥锁死锁.为一次性检测由多个线程和多个互斥锁或读写锁造成的所有类型死锁,首先提出混合锁分配图的概念和构建方法,然后提出一种利用混合锁分配图动态检测混合死锁的方法.通过劫持所有互斥锁和读写锁的加锁解锁操作,以动态构建和实时更新一个反映目标程序同步状态的混合锁分配图.通过在锁分配图上检测环并判定该环是否为死锁环来检测死锁.当检测到死锁时,输出死锁信息来辅助调试.死锁检测实验、性能影响实验和可扩展性实验结果表明:该方法成功检测出所有13个共5种类型的死锁缺陷,检测能力强;给openldap-2.2.20带来至多10.15%的性能下降幅度,对目标程序造成的性能影响较小;性能开销随线程数目指数级增大而平缓增长,扩展性良好.
- 禹振苏小红邱景
- 关键词：软件测试死锁检测
- 面向死锁规避的路径敏感插桩
- 2015年
- 程序插桩技术是一种基本的测试手段,在软件测试中被广泛的应用。插装方式是指在程序源码中插入一些语句,通过这些语句可以获得所需要的信息,在死锁规避的静态分析中需要通过程序插桩的方式记录下一些信息。程序插桩按照源程序的结构分为顺序结构的插桩,分支结构的插桩和循环结构的插桩。在对源程序进行词法语法分析的基础上建立抽象语法树和控制流图,根据控制流图获取程序可能执行的所有路径信息,接着根据路径信息决定插桩的内容。
- 齐鹏禹振苏小红马培军
- 关键词：词法分析语法分析抽象语法树程序插桩
