排序方式: 共有60条查询结果,搜索用时 15 毫秒
11.
12.
通过深入研究TTCN-3测试系统TC I-CH接口的功能与特性,提出了一种使用CORBA技术实现TC I-CH接口的方法,并利用模拟环境对实现作了验证. 相似文献
13.
介绍了如何用普通的 PC机组建一个与路由无关的 IPv6网络 ,并在其上实践 IPv6协议 .说明了如何组建测试 IPv6协议所需的测试环境 ,并探讨协议的测试过程 . 相似文献
14.
网格工作流及其关键技术研究综述 总被引:3,自引:0,他引:3
网格技术意在驱动互联网上所有资源的全面共享与协同工作.网格工作流技术是近年来兴起的又一研究热点.简述了网格发展,提出网格系统层次模型,并分析总结其中的关键技术.接着,分析网格工作流的起因.概述其概念,并提出其区别于传统工作流的特点.最后,综述网格工作流的研究现状,分析并提出其中的关键技术及发展方向,力图为网格工作流在描述、实现和应用方面的技术创新提供基础和依据. 相似文献
15.
针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网(testing-oriented colored Petri net, ToCPN)。根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网(colored Petri net, CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状态匹配算法及一系列路径搜索算法,基于以上算法构建出针对2路并发行为的测试序列生成方法。该方法针对待测行为自动生成测试序列,对待测行为所在的2路并发行为的全部执行组合实现完全覆盖且不存在任何冗余,一定程度上解决了软件测试中的状态爆炸问题。对上述算法的有效性提供了证明,并结合测试实践,分析说明了该方法具备明显强于随机漫步(random walk)等其他方法的效果。 相似文献
16.
IDS主动测试和被动测试相结合测试方法的研究 总被引:1,自引:0,他引:1
介绍了目前常用的主动测试和被动测试两种IDS测试方法,分析了各自的优势与不足.单一使用主动测试方法或被动测试方法都存在一定的局限性,提出了一种主动测试和被动测试相结合的测试方法.以NIDS测试为例对该测试方法的应用进行了具体研究和实践,结果表明该方法充分利用两种测试方法的优势提高了IDS测试的准确性. 相似文献
17.
资源调度是计算机支持的协同工作领域的重要问题,其中,决策矩阵规范化问题又是大部分资源调度要涉及的基础问题。文章首先介绍三种矩阵规范化处理方法,然后将其作用于同一个资源调度中的决策矩阵实例,最后将各种方法的处理时间和结果进行比较,给出最佳的结果矩阵建议。 相似文献
18.
BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petn网层次模型,集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。 相似文献
19.
从分析面向对象数据库中对象模型、数据依赖着手,提出了对象函数依赖的概念,在此基础上提出了以分解为基础的对象模式、规范化方法,并在分析对象模型、关系模型的基础上,介绍了用四元组的方式研究这两种模型的表述关系以及关系模型可以用对象模型完全描述的结论,据此,给出了关系模型与对象模型间的映射关系,通过简单实例,探讨了关系模型中嵌入对象机制的可行性 相似文献
20.
首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题. 相似文献