云南高校图书馆联盟文献共享服务平台- 并发软件

并发软件: 作品数：18被引量：21H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：姚淑珍陈利王振宇唐发根张利武更多>>; 相关机构：北京航空航天大学内蒙古大学华中师范大学武汉数字工程研究所更多>>; 相关期刊：《北京航空航天大学学报》《计算机与数字工程》《计算机研究与发展》《软件学报》更多>>; 相关基金：国家自然科学基金国防科技技术预先研究基金江苏省自然科学基金国家高技术研究发展计划更多>>

基于资源扩展活动图的并发测试用例生成方法被引量：1: 《航天控制》2019年第1期61-67,共7页朱晓程薛静杨彬闫雪丽; 对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法...; 关键词：并发软件活动图共享资源测试用例生成方法

并发软件适应性随机测试方法: 《计算机系统应用》2015年第11期1-6,共6页岳翰吴鹏; 国家自然科学基金(61100069;61161130530;61472405); 测试用例选择是软件测试中的关键问题之一.目前,测试用例选择在并发软件测试方面鲜有涉及.以多线程并发程序为研究对象,提出面向并发软件的适应性随机测试方法,通过优化测试用例选择,来提高并发软件测试的效率和错误发现能力.根据实验结...; 关键词：并发测试适应性随机测试测试用例选择

通信管理机高并发软件设计: 《电气时代》2012年第10期106-107,共2页薄成文虞定辉; 针对国内外变配电自动化系统中通信管理机面对的新的高并发网络环境的应用需求,详细讨论了高并发环境下基于Linux的通信管理机软件的设计方法。通信管理机在变配电自动化系统中起着承上启下的关键枢纽的作用,是确保整个系统稳定、实时...; 关键词：通信管理机并发软件软件设计 LINUX操作系统配电自动化系统网络环境设计方法高效运行

一种链状数据结构细粒度自动加锁方法被引量：1: 《小型微型计算机系统》2012年第9期1892-1897,共6页张予现张昱; 国家自然科学基金项目(60928004)资助;中央高校基本科研业务费专项资金项目资助; 细粒度锁在并行编程与并发软件设计中起着重要的作用.然而,细粒度锁对程序员具有较高的要求,通常在设计细粒度锁并发程序时会带来算法复杂,编程困难,程序易出错等问题.提出一种链状数据结构的细粒度加锁方法,并实现自动转换含有形状和...; 关键词：并行编程并发软件细粒度锁链状数据结构翻译器

死锁检测工具的能力分析与综合应用被引量：3: 《计算机科学与探索》2010年第2期153-164,共12页潘敏学李倩李宣东; 国家自然科学基金No.60603036;国家高技术研究发展计划(863)No.2007AA010302;2009AA01Z148;江苏省自然科学基金No.BK2007139~~; 并发软件运行的不确定性使得死锁检测十分困难。现有的工作集中在使用分析、验证或测试的单一途径来检测死锁。通过分析现有工具的死锁检测能力,提出了综合使用工具的死锁检测方法。同时根据分析、验证和测试途径的不同特点,给出了评估...; 关键词：死锁检测工具评估工具综合应用并发软件

一种基于满足性判定的并发软件验证策略(英文)被引量：2: 《软件学报》2009年第6期1414-1424,共11页周从华; Supported by the National Natural Science Foundation of China under Grant No.60773049;the Advanced Talent Foundation of Jiangsu University of China under Grant No.07JDG014;the Fundamental Research Project of the Natural Science in Colleges of Jiangsu Province of China under Grant No.08KJD520015~~; 对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程,该过程避免了基于BDD方法中状态空间快速增长的问题.在SE-LTL的子集SE-LTL?X的有界模型检测过程中,集成了stuttering等价技术,该集成有效地加速了验证过程.进一步提出了一种...; 关键词：有界模型检测抽象平行组合

一种基于活动图的并发软件测试线索生成方法被引量：4: 《计算机科学》2007年第12期286-290,共5页曾一张利武张元平袁纲李强; 分析并发软件的控制原理,提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则:同步测试、关键覆盖和进程覆盖;接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法;随后分析了并发软件测试难点...; 关键词：测试策略活动图组合爆炸测试线索

让并发来得更猛烈些被引量：1: 《程序员》2007年第11期26-30,共5页Brian Goetz Cliff Click 韩锴（译）; 本篇技术访谈荟萃了如何构建高并发软件与实现并行计算的诸多实践,深入探讨了并发软件、线程与并行计算的涵义和用途。它帮助读者理解并行计算是如何影响到程序设计的,揭示了在开发符合要求的并行系统时会遇到的挑战,讲述了如何识别并...; 关键词：并发软件并行计算 MEMORY 存储模型程序设计并行系统软件设计线程

为工程师提供创新动力——UGSPLM软件公司发布NX软件第5版: 《汽车制造业》2007年第9期58-59,62,共3页; 近日，全球领先的PLM软件和服务提供商UGS PLM软件公司发布了NX软件第5版——NX的下一代数字产品并发软件。这一新发布带来了关键的技术创新，帮助用户实现生产力和效率的显著提升．是UGS高性能产品开发解决方案里的又一具里程碑意义的...; 关键词：软件公司技术创新工程师数字产品服务提供商并发软件产品开发 UGS

Ada并发软件的图形化设计方法研究: 《计算机应用与软件》2006年第9期26-28,47,共4页陈利张立王振宇; 国家自然科学基金资助(批准号:69773041); 研究的目标:为Ada并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在提出用于并发软件理...; 关键词：并发软件图形化设计方法通信 ADA

并发软件