您的位置： 专家智库 > >

蔡彦

作品数：14 被引量：45H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 13篇专利
  • 1篇期刊文章

领域

  • 6篇自动化与计算...

主题

  • 8篇软件测试
  • 7篇线程
  • 5篇死锁
  • 4篇数据竞争
  • 3篇序关系
  • 3篇选线
  • 3篇原子性
  • 3篇偏序
  • 3篇偏序关系
  • 3篇开销
  • 3篇并发
  • 2篇调度
  • 2篇调度程序
  • 2篇调度方法
  • 2篇硬件
  • 2篇软件测试技术
  • 2篇时间开销
  • 2篇误报
  • 2篇细粒度
  • 2篇内存

机构

  • 14篇中国科学院软...
  • 1篇北京大学
  • 1篇国防科学技术...
  • 1篇清华大学
  • 1篇武汉大学
  • 1篇中国科学院
  • 1篇中国人民大学
  • 1篇华为技术有限...
  • 1篇中国科学院大...

作者

  • 14篇蔡彦
  • 3篇张健
  • 1篇陈立前
  • 1篇玄跻峰
  • 1篇张超
  • 1篇李炼
  • 1篇窦文生
  • 1篇梁彬
  • 1篇陈振邦

传媒

  • 1篇软件学报

年份

  • 3篇2024
  • 2篇2023
  • 1篇2022
  • 1篇2019
  • 4篇2018
  • 2篇2016
  • 1篇2015
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于跨平台迁移的软件性能检测方法、系统及介质
本发明公开一种基于跨平台迁移的软件性能检测方法、系统及介质，属于计算机软件测试领域，通过修改编译器实现函数和基本块插桩，编译软件并在不同平台上运行以收集执行时间信息，对比分析各平台的执行时间信息以判断函数或基本块是否存在...
蔡彦王静华郭宇祺
一种基于锁提前获取的死锁自动修复方法
本发明涉及一种基于锁提前获取的死锁自动修复方法，属于软件测试领域和软件可靠性领域，步骤包括：首先提取程序的同步模块以及同步模块中的控制流程图，计算同步模块中对其他锁的操作的集合；然后选择合适的候选线程执行死锁修复操作：如...
蔡彦曹玲微
文献传递
程序分析研究进展被引量：45
2019年
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.
张健张超张超玄跻峰王千祥梁彬梁彬窦文生李炼窦文生蔡彦
关键词：软件质量保障
兼容控制流变化的基于偏序关系的通用并发缺陷检测方法及系统
本发明提出一种兼容控制流变化的基于偏序关系的通用并发缺陷检测方法及系统，包括：提出独创概念不动点事件、等价序列和后缀边界；对待测目标程序进行插桩并收集原始执行序列；根据执行序列中记录的静态信息和目标程序计算不动点事件和后...
祝世豪蔡彦
一种基于偏序关系的通用并发缺陷检测方法及系统
本发明提出一种基于偏序关系的通用并发缺陷检测方法及系统，属于软件测试技术领域和软件可靠性领域，可以将多种并发缺陷经过转化得到待测序列，进而进行检测，本发明不局限于某一种特定的并发缺陷，能够检测数据竞争、死锁、原子性违背等...
蔡彦云昊
一种基于锁提前获取的死锁自动修复方法
本发明涉及一种基于锁提前获取的死锁自动修复方法，属于软件测试领域和软件可靠性领域，步骤包括：首先提取程序的同步模块以及同步模块中的控制流程图，计算同步模块中对其他锁的操作的集合；然后选择合适的候选线程执行死锁修复操作：如...
蔡彦曹玲微
文献传递
一种基于硬件和线程本地时序的数据竞争采样检测方法
本发明涉及一种基于硬件和线程本地时序的数据竞争采样检测方法，属于软件测试领域和软件可靠性领域，步骤包括：按给定采样率随机选择内存访问指令，对这些指令插桩；并识别同步语句，对每个线程设置一个本地时序，该时序随着同步语句的执...
蔡彦张健
文献传递
一种用于数据竞争检测的程序调度方法
本发明涉及一种用于数据竞争检测的程序调度方法，属于软件测试领域和软件可靠性领域，步骤包括：划分给定程序为若干个程序块；通过运行程序一次，动态确定每个程序块b<Sub>i</Sub>中锁的类型的集合；选取数据竞争检测工具，...
蔡彦
文献传递
一种针对网络协议模糊测试的种子分组方法
本发明公开了一种针对网络协议模糊测试的种子分组方法，其步骤包括：1)获取用于网络协议模糊测试的种子在网络协议中的状态转移信息、种子在网络协议中所触发的消息序列以及种子在网络协议中所覆盖的代码；2)根据状态转移信息对种子进...
蔡彦 卫思为 李鼎程
一种基于硬件和线程本地时序的数据竞争采样检测方法
本发明涉及一种基于硬件和线程本地时序的数据竞争采样检测方法，属于软件测试领域和软件可靠性领域，步骤包括：按给定采样率随机选择内存访问指令，对这些指令插桩；并识别同步语句，对每个线程设置一个本地时序，该时序随着同步语句的执...
蔡彦张健
文献传递
全选 清除 导出
共2页<12>
聚类工具0