排序方式: 共有60条查询结果,搜索用时 15 毫秒
1.
2.
集合识别问题的D序列和UIO序列的一种推导方法 总被引:2,自引:2,他引:0
叶新铭 《内蒙古大学学报(自然科学版)》1995,26(5):621-627
集合识别方法是非确定性分布式系统相容性测试的一种新方法,是经典的状态识别方法的一种扩展,提出了在集合识别问题中使用的推导D序列和UIO序列的方法。 相似文献
3.
在PC机上建立了一个由DOS系统支持的图形LOTOS(GLOTOS)软件工具.用这个工具,用户可以设计,显示一个GLOTOS说明,也可以把它转换成Petri网.该系统分为三个模块:DRAW,RECOVER和TRANSFER.根据GLOTOS模型,模块DRAW给出了一个交互式的菜单系统,用这个系统,用户可以在图形窗口的任何位置画出GLOTOS的任一成分;模块RECOVER可以自动恢复以前画好的GLOTOS模型;根据Petri网的表示,模块RECOVER提供了从GLOTOS自动转换到Petri网的功能. 相似文献
4.
针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网(testing-oriented colored Petri net, ToCPN)。根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网(colored Petri net, CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状态匹配算法及一系列路径搜索算法,基于以上算法构建出针对2路并发行为的测试序列生成方法。该方法针对待测行为自动生成测试序列,对待测行为所在的2路并发行为的全部执行组合实现完全覆盖且不存在任何冗余,一定程度上解决了软件测试中的状态爆炸问题。对上述算法的有效性提供了证明,并结合测试实践,分析说明了该方法具备明显强于随机漫步(random walk)等其他方法的效果。 相似文献
5.
资源调度是计算机支持的协同工作领域的重要问题,其中,决策矩阵规范化问题又是大部分资源调度要涉及的基础问题。文章首先介绍三种矩阵规范化处理方法,然后将其作用于同一个资源调度中的决策矩阵实例,最后将各种方法的处理时间和结果进行比较,给出最佳的结果矩阵建议。 相似文献
6.
IDS主动测试和被动测试相结合测试方法的研究 总被引:1,自引:0,他引:1
介绍了目前常用的主动测试和被动测试两种IDS测试方法,分析了各自的优势与不足.单一使用主动测试方法或被动测试方法都存在一定的局限性,提出了一种主动测试和被动测试相结合的测试方法.以NIDS测试为例对该测试方法的应用进行了具体研究和实践,结果表明该方法充分利用两种测试方法的优势提高了IDS测试的准确性. 相似文献
7.
近年来CERNET有了长足的发展,越来越多的院校和科研部门连入了CERNET。网络计费是CERNET上一个十分迫切和关键的问题,目前已多种上计费系统,但大多数计费都是基于IP地址的,这种方法对于多人使用同一台计算机的情况,不能分别对每个用户来计帐,因此存在许多不方便之处,本提出了一种面向用户的计费方法,这种方法还可以有效防止IP地址的盗用。 相似文献
8.
关于路由协议的一致性测试的一种形式方法 总被引:1,自引:1,他引:0
为了一致性测试Internet网上的一个标准路信息协议(RIP协议),利用形式描述技术语言E-LOTOS对其进行了描述,然后把广西描述的E-LOTOS转换为GE-LOTOS,并在此产生了TTCN测试套。 相似文献
9.
BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petn网层次模型,集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。 相似文献
10.
网格工作流及其关键技术研究综述 总被引:3,自引:0,他引:3
网格技术意在驱动互联网上所有资源的全面共享与协同工作.网格工作流技术是近年来兴起的又一研究热点.简述了网格发展,提出网格系统层次模型,并分析总结其中的关键技术.接着,分析网格工作流的起因.概述其概念,并提出其区别于传统工作流的特点.最后,综述网格工作流的研究现状,分析并提出其中的关键技术及发展方向,力图为网格工作流在描述、实现和应用方面的技术创新提供基础和依据. 相似文献