【摘 要】
：
分析并发软件的控制原理，提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则：同步测试、关键覆盖和进程覆盖；接着提出了一种使用UML活动图对软件中并
论文部分内容阅读
分析并发软件的控制原理，提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则：同步测试、关键覆盖和进程覆盖；接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法；随后分析了并发软件测试难点即进程组合爆炸问题，给出了一种基于模型图生成测试线索集的方法，证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题，又能满足三个测试策略。通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法；最后通过一个实例表明了应用本方法的可行性和有效性。
其他文献
遗留系统在组织中起着重要的作用。随着商业环境的快速变化，应该不断用新技术对其进行进化。Web Service和面向服务的体系结构（SOA）使我们能在面向服务的计算环境中进化遗留系统
本文通过对Montgomery逆算法核心部分的改进，得到两种分别以4为基和8为基的优化算法。其中以4为基的算法，在基本不增加算法实现复杂度的情况下，使迭代次数的平均上限从2n降到7/6
提出了一个基于LUC公钥算法的一般访问结构上的秘密共享方案。它使用参与者的私钥作为各自的秘密份额，分发者无需进行秘密份额的分配。在秘密重构过程中，每个合作的参与者只需
特征提取是模式识别研究领域的一个热点。本文提出了一种基于独立成分分析和线性鉴别分析的特征提取方法。该方法中引入了零空间的概念,指出了前人算法中的不足之处,并且给出了一个完整的独立成分分析和线性鉴别分析的组合算法。在 ORL 和 Yale 人脸数据库上的实验表明了该方法的有效性。
文中提出了一种新颖的基于窗口的立体匹配方法,该方法首先在最大窗口内估计视差,并假设该窗口内视差一致,在此基础上得到两个最大的匹配窗口,然后在这两个最大窗口内进行二次匹配,得到基于这两个窗口的逐像素视差,估计视差和像素视差之和就是结果视差。对相对较平滑或平滑均匀的区域,在匹配过程中,会出现匹配最小多值问题,面临如何确定最佳匹配。本文算法采用平滑性测度指标函数来屏蔽平滑或平滑均匀区域,并在匹配完成后,
网格中资源之间存在着通信延迟，通过任务复制的冗余，可以减少任务之间的通信开销，缩短整个计算程序的计算时间。目前网格中的任务调度算法基本上是没有考虑任务复制的；而基于任务
目的:探讨心肌缺血与QT离散度(QTd)、QTc离散度(QTcd)的关系.方法:测量46例平板运动试验时诱发心肌缺血患者的QTd、QTcd、QTd增加值(△QTd)、QTcd增加值(△QTcd).结果:运动后
实时Linux操作系统已逐渐被人们用作嵌入式应用软件的支撑平台,它在提供了一个优异的实时可控制性的同时,也不可避免地带来了一些相关问题。本文结合基于RTAI的实时Linux系统的构筑以及在其上开发一个GPS应用程序的经验,阐述了在RTAI系统上开发应用软件中遇到的诸如程序流程控制、串口实时传输和远程控制等几个关键问题,并探讨和给出了相应的解决方法。
近十年,乳腺癌的发病率在世界范围内呈明显上升趋势,国内虽较欧美国家发病率低,但据资料统计该病在大城市发病率迅速升高,已居女性恶性肿瘤发病的第一、二位,且发病呈年轻化
腰椎间盘突出症的手术治疗已普遍开展,但其并发症发生率的不断升高应引起重视.我院自1987年至2000年共行腰椎间盘突出手术171例,其中术中及术后各种并发症19例,占11%.就其发