并发程序

作品数：150被引量：212H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐宝文孙家泽王振宇戚晓芳王曙燕更多>>
相关机构：东南大学上海交通大学南京大学河北科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于约束依赖图的并发程序模型检测工具
《软件学报》2023年第7期3064-3079,共16页苏杰 杨祖超 田聪 段振华 
国家自然科学基金(62192730,62192734,61732013,62172322);科技创新2030——“新一代人工智能”重大项目(2018AAA0103202)。
模型检测是一种基于状态空间搜索的自动化验证方法,可以有效地提升程序的质量.然而,由于并发程序中线程调度的不确定性以及数据同步的复杂性,对该类程序验证时存在更为严重的状态空间爆炸问题.目前,大多采用基于独立性分析的偏序约简技...
关键词：约束依赖图 偏序约简 并发程序 模型检测 工具 
基于深度学习的数据竞争检测方法
《计算机研究与发展》2022年第9期1914-1928,共15页张杨 乔柳 东春浩 高鸿斌 
国家自然科学基金项目(61440012);河北省高等学校科学研究计划重点项目(ZD2019093);河北省科技支撑计划项目(16210312D);河北省研究生创新能力培养资助项目(CXZZSS2022081)。
针对目前已有的基于深度学习的数据竞争检测方法提取特征单一和准确率低的问题,提出一种基于深度学习的数据竞争检测方法DeleRace,该方法首先利用程序静态分析工具WALA从多个实际应用程序中提取指令、方法和文件等多个级别的特征,对其...
关键词：数据竞争 并发程序 深度学习 特征抽取 CNN-LSTM模型 
面向计算机并发程序的形式化验证方法设计被引量：2
《信息安全与通信保密》2022年第3期54-62,共9页谢小赋 曾梦岐 庞飞 
计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言、语义、推理证明三位一体方法,构建形式逻辑系统,以确保被验证...
关键词：软件并发 形式化建模 功能正确性验证 属性验证 
CMuJava:一个面向Java程序并发变异体生成系统被引量：1
《软件学报》2022年第2期397-409,共13页孙昌爱 耿宁 代贺鹏 顾友达 
国家自然科学基金(61872039);中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1803);中央高校基本科研业务费专项资金(FRF-GF-19-019B)。
并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程...
关键词：并发程序 变异测试 并发变异算子 并发变异体 测试工具 
基于Adaboost模型的并发程序数据竞争语句级检测被引量：2
《计算机工程》2021年第12期215-220,共6页孙家泽 易刚 舒新峰 
陕西省重点研发计划项目(2020GY-010);西安市产业研究项目(2019218114GXRC017CG018-GXYD17.10);西安邮电大学研究生创新基金(CXJJLY2019051)。
针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并...
关键词：数据竞争 并发程序 程序插桩 Adaboost模型 语句级 
面向超导量子计算机的程序映射技术研究被引量：3
《计算机研究与发展》2021年第9期1856-1874,共19页窦星磊 刘磊 陈岳涛 
国家自然科学基金项目(62072432,61502452)。
量子程序在量子计算机上执行时可能由于噪声产生错误.先前的量子程序映射策略将量子程序映射至量子计算机中的最健壮的区域上,以获得更高的保真度.在量子计算机上同时映射多个量子程序可以提升量子计算机的通量和资源利用率.但由于健壮...
关键词：量子计算 并发程序 映射 保真度 任务调度 
面向并发程序中锁机制的智能化推荐方法被引量：2
《计算机应用》2021年第6期1597-1603,共7页张杨 董士程 
国家自然科学基金资助项目(61440012);河北省教育厅科学研究计划重点项目(ZD2019093);河北省基础研究计划重点基础专项(18960106D)。
软件开发人员在并发编程中面临着各种Java锁的选择。针对如何选择合适的锁机制进而提高程序性能的问题,提出了一种帮助并发程序开发人员选择锁机制的推荐方法 Lock Rec。首先,采用程序静态分析技术,对并发程序中锁机制的使用进行分析并...
关键词：并发程序 锁机制 随机森林 推荐模型 程序性能 
多线程并发程序访问数据误差静态检测仿真
《计算机仿真》2021年第4期472-476,491,共6页赵越 孙忠阁 
青年科学基金项目(61802168)。
针对传统方法多线程并发程序访问数据误差检测存在检测精度低、能耗高的问题,提出多线程并发程序访问数据误差静态检测方法。扫描解析出来的多线程并发程序源代码,对待检测的部分进行词法分析、语法分析,通过高效链的储存结构,建立XML...
关键词：多线程并发程序 访问数据误差 静态检测 
并发程序变异测试研究综述被引量：3
《电子学报》2020年第11期2267-2277,共11页田甜 巩敦卫 
国家自然科学基金(No.61773384,No.61503220);国家重点研发计划(No.2018YFB1003800-02-01)。
变异测试是一种面向缺陷的软件测试方法,利用人为注入的缺陷引导测试数据生成,评价测试数据的有效性,在软件工程领域得到了广泛关注.依托多核架构,开发可靠的并发程序越来越迫切.近年来,很多学者尝试将变异测试技术应用于并发程序,以提...
关键词：并发程序 变异测试 变异算子 优化 测试数据生成 
基于上下文敏感分析的数据竞争检测方法
《河北科技大学学报》2020年第5期416-423,共8页张杨 刘欢 张冬雯 
河北省自然科学基金(18960106D);河北省高等学校科学研究重点项目(ZD2019093)
为了提高数据竞争检测过程的准确性,提出了一种基于上下文敏感分析的数据竞争检测方法。使用控制流分析构建上下文敏感的调用图,采用逃逸分析查找出可能发生数据竞争的线程逃逸对象,进行上下文敏感的别名分析以减少误报和漏报,通过发生...
关键词：并行处理 并发程序 数据竞争 上下文敏感 逃逸分析 
全选清除导出
共15页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部