搜索到372篇“ 并发程序“的相关文章
- 并发程序的数据竞争检查方法及装置
- 本说明书的实施例提供一种并发程序的数据竞争检查方法及装置。在该数据竞争检查方法中，通过使用自底向上的数据流分析，为并行程序的每个程序函数构建各自的线程流图。在进行数据竞争检查时，通过使用自底向上的数据流分析，确定出与所关...
- 周金果
- 基于内存访问模式的并发程序缺陷检测方法
- 本发明公开了一种基于内存访问模式的并发程序缺陷检测方法，通过借助MAP‑coverage匹配并发程序执行中尚未被覆盖的内存访问模式，构建程序约束并利用约束求解器，求解出程序调度，来取得更高的MAP‑coverage。与现...
- 王赞赵英全刘爽陈俊洁王海弛王昊宇
- 用于验证并发程序原子性违反的方法、装置及电子设备
- 本发明提供一种用于验证并发程序原子性违反的方法、装置及电子设备，其中，该方法包括：探索当前路径，生成所述当前路径对应的当前轨迹；根据所述当前轨迹，编码所述当前轨迹的等价约束，以及编码并发程序的原子性违反约束；根据所述原子...
- 易秋萍李壮
- 针对持久内存并发程序的崩溃一致性故障检测方法及系统
- 本发明公开了一种针对持久内存并发程序的崩溃一致性故障检测方法及系统，包括：S1、通过编译器对待测持久内存并发程序中的访存指令以及持久内存相关接口进行插桩，得到可执行程序；S2、按照待测持久内存并发程序的输入规则，生成多个...
- 华宇陈章玉丁骆昌祺
- 基于交互式定理证明的并发程序验证工作综述
- 2024年
- 并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结.
- 王中烨吴姝姝曹钦翔
- 关键词：程序逻辑
- 一种并发程序的蜕变测试方法
- 本发明针对并发程序测试中存在的测试预期问题，公开了一种并发程序的蜕变测试方法，所述蜕变测试方法包括：针对并发程序执行交错的特点，以能够触发数据竞争的交错场景指导蜕变关系模式的识别；将原始测试用例的执行轨迹作为原始执行序列...
- 孙昌爱代贺鹏耿宁
- 一种基于信号量的并发程序的执行演示方法和系统
- 本发明公开了一种基于信号量的并发程序的执行演示方法和系统，属于计算机技术领域。包括：构建电子表格；初始化电子表格；从时刻一开始，对于每一时刻，从处于就绪态的进程中任选一个进程，继续模拟执行该进程循环体内的下一条语句，并更...
- 张永选余顺琴孔婷洪如霞余宏来敏健
- 基于多智能体强化学习的并发程序调度算法
- 黄亦雄
- 一种基于信号量的并发程序的执行演示方法和系统
- 本发明公开了一种基于信号量的并发程序的执行演示方法和系统，属于计算机技术领域。包括：构建电子表格；初始化电子表格；从时刻一开始，对于每一时刻，从处于就绪态的进程中任选一个进程，继续模拟执行该进程循环体内的下一条语句，并更...
- 张永选余顺琴孔婷洪如霞余宏来敏健
- 异构可编程控制器并发程序自动生成方法研究和实现
- 可编程控制器是离散装备控制的核心。传统可编程控制器通过循环执行串行任务实现高可靠应用。随着装备数字化、网络化、智能化的发展,工业控制应用对高性能计算的需求不断提高,异构多核架构被逐渐应用于可编程控制器中。但现有围绕线程编...
- 季福乐
- 关键词：可编程控制器实时系统代码自动生成
相关作者
- 孙家泽
- 作品数：161被引量：196H指数：8
- 供职机构：西安邮电大学
- 研究主题：测试用例集 测试用例 软件测试 测试用例生成 神经网络
- 徐宝文
- 作品数：272被引量：1,914H指数：25
- 供职机构：南京大学
- 研究主题：软件测试 测试用例 面向对象 ADA 程序切片
- 王振宇
- 作品数：60被引量：120H指数：6
- 供职机构：武汉数字工程研究所
- 研究主题：ADA 软件体系结构 ADA语言 体系结构 软件工程
- 戚晓芳
- 作品数：27被引量：83H指数：4
- 供职机构：东南大学
- 研究主题：程序切片 并发程序 GUI 测试脚本 WEB应用测试
- 王曙燕
- 作品数：139被引量：281H指数：8
- 供职机构：西安邮电大学
- 研究主题：测试用例集 软件测试 测试用例 测试用例生成 测试数据
