并发软件相关论文
测试用例选择是软件测试中的关键问题之一。目前，测试用例选择在并发软件测试方面鲜有涉及，并发软件测试方法往往只针对给定的多线程......
虽然在单机时代已经提出了并发性的概念,但在分布式系统日益广泛应用的今天,并发性的重要性无疑是更大了。然而,可靠而高效的并发......
并发软件在软件行业中扮演了一个重要角色,可靠的软件质量需要全面的测试工作来保证。并发软件执行过程非常复杂,系统的状态数目巨......
具有并发行为的软件在社会生产和生活中越来越常见,但并发行为发生顺序的不确定性给软件测试带来巨大挑战。着色Petri网CPN(Colour......
细粒度锁在并行编程与并发软件设计中起着重要的作用.然而,细粒度锁对程序员具有较高的要求,通常在设计细粒度锁并发程序时会带来......
基于对象Ｐｅｔｒｉ网，提出了层次化并发软件模型，这种模型在结构上参考了统一建模语言ＵＭＬ的描述机制，并用一种扩展Ｐｅｔｒｉ网ＥＣＰＮ分层描述对象的内部状态，以及对......
研究的目标:为Ada并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序......
本篇技术访谈荟萃了如何构建高并发软件与实现并行计算的诸多实践,深入探讨了并发软件、线程与并行计算的涵义和用途。它帮助读者......
这项研究的目标是:为并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程......
这项研究的目标是:为并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程......
本文概述了Ａｄａ并发软件质量保证的基本特点，探讨了死锁检测和实时性检测与优化方法，并研究了相应的质量保证策略和模型。......
并发软件运行的不确定性使得死锁检测十分困难。现有的工作集中在使用分析、验证或测试的单一途径来检测死锁。通过分析现有工具的......
