首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   10篇
  国内免费   1篇
  完全免费   43篇
  自动化技术   54篇
  2019年   2篇
  2017年   2篇
  2016年   1篇
  2015年   1篇
  2014年   1篇
  2013年   4篇
  2012年   1篇
  2011年   2篇
  2010年   3篇
  2009年   6篇
  2008年   4篇
  2007年   3篇
  2006年   2篇
  2005年   4篇
  2004年   3篇
  2003年   3篇
  2002年   3篇
  2001年   4篇
  2000年   4篇
  1997年   1篇
排序方式: 共有54条查询结果,搜索用时 31 毫秒
1.
无结构P2P覆盖网络的拓扑优化   总被引:8,自引:0,他引:8       下载免费PDF全文
研究了全分布无结构P2P(peer-to-peer)网络拓扑的最优化问题.通常认为,无结构P2P网络拓扑属于Power-Law结构.然而,Power-Law并非对所有应用都是最好的选择.首先研究了无结构P2P覆盖网络结构对无结构P2P搜索的影响,给出了结点度分布、访问频率模式和搜索成功率之间的关系.然后基于数据访问频率分布,给出了结点度的优化分布模型.实验结果表明,该无结构P2P拓扑优化结构在提高搜索成功率方面是有效的.该工作对构造合理的覆盖网络拓扑具有重要意义,同时将加深对无结构P2P环境下数据部署问题的认识.  相似文献
2.
基于事件约束的分布式程序正确性测试   总被引:7,自引:3,他引:4       下载免费PDF全文
顾庆  陈道蓄  于勐  谢立  孙钟秀 《软件学报》2000,11(8):1035-1040
由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程  相似文献
3.
基于Petri网的工作流建模与正确性分析   总被引:7,自引:0,他引:7       下载免费PDF全文
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。  相似文献
4.
静态软件缺陷预测方法研究   总被引:7,自引:2,他引:5       下载免费PDF全文
静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预测出被测项目内的潜在缺陷程序模块,最终达到优化测试资源分配和提高软件产品质量的目的.对近些年来国内外学者在该研究领域取得的成果进行了系统的总结.首先,给出了研究框架并识别出了影响缺陷预测性能的3个重要影响因素:度量元的设定、缺陷预测模型的构建方法和缺陷预测数据集的相关问题;接着,依次总结了这3个影响因素的已有研究成果;随后,总结了一类特殊的软件缺陷预测问题(即,基于代码修改的缺陷预测)的已有研究工作;最后,对未来研究可能面临的挑战进行了展望.  相似文献
5.
一个面向分布式程序的测试系统框架   总被引:6,自引:2,他引:4       下载免费PDF全文
顾庆  陈道蓄  韩杰  谢立  孙钟秀 《软件学报》2000,11(8):1053-1059
提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET*(distributed progra m structure and event trace, revised version).框架的主要功能是对分布式程序进行单 元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分 析的动态部分.在构件的基础上,PSET*的功能可以较容易  相似文献
6.
一个针对洗牌交换网的最优路由算法   总被引:5,自引:0,他引:5  
洗牌交换网是最流行的互连网之一,然而,它的缺点之一便是最短路由算法,最短路由算法,通常也称为最优路由算法,能保证报文在任意一对结点之间沿着最短路径传送。针对包含2^n个结点的洗牌交换网,文中给出了一个O(n^2)时间复杂度的最短路由算法。该算法还可以很容易地适用于立方体连接圈(CCC),且所得到的算法比已有的CCC路由算法要简单得多。  相似文献
7.
基于有限状态进程的事件约束定义   总被引:5,自引:1,他引:4       下载免费PDF全文
顾庆  陈道蓄  谢立  韩杰  孙钟秀 《软件学报》2002,13(11):2162-2168
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性.  相似文献
8.
回归测试中的测试用例优先排序技术述评   总被引:5,自引:4,他引:1       下载免费PDF全文
陈翔  陈继红  鞠小林  顾庆 《软件学报》2013,24(8):1695-1712
测试用例优先排序(test case prioritization,简称TCP)问题是回归测试研究中的一个热点.通过设定特定排序准则,对测试用例进行排序以优化其执行次序,旨在最大化排序目标,例如最大化测试用例集的早期缺陷检测速率.TCP问题尤其适用于因测试预算不足以致不能执行完所有测试用例的测试场景.首先对TCP问题进行描述,并依次从源代码、需求和模型这3个角度出发对已有的TCP技术进行分类;然后对一类特殊的TCP问题(即测试资源感知的TCP问题)的已有研究成果进行总结;随后依次总结实证研究中常用的评测指标、评测数据集和缺陷类型对实证研究结论的影响;接着依次介绍TCP技术在一些特定测试领域中的应用,包括组合测试、事件驱动型应用测试、Web服务测试和缺陷定位等;最后对下一步工作进行展望.  相似文献
9.
基于面向对象的分布式程序设计语言NC++的测试系统   总被引:4,自引:3,他引:1  
顾庆  陈道蓄 《软件学报》1997,8(A00):352-356
本文介绍了一个面向分布式语言NC++的测试系统原型PSET。该系统由两部分组成:静态测试部分PS用于分析和显示程序的静态控制流程;动态测试部分ET用于显示程序执行过程中所产生的各类事件,从中分析各进程间的调用关系。  相似文献
10.
墙式网孔   总被引:4,自引:1,他引:3  
提出了一种新的网孔-墙式网孔.墙式网孔是一种三度网孔,它通过从普通四度网孔的每个节点删去一度而获得,其节点度节省了25%,但其直径同普通四度网孔几乎一样.它在计算能力上同普通四度网孔是等价的,因为四度网孔可以有效地嵌入到墙式网孔中,其伸张度为3,拥塞度为4.于是所有现存的基于四度网孔的并行算法都可以毫不费力地移植到三度网孔中且只有常数的减速比.墙式网孔可以通过边界节点回卷相连而产生墙式环托,它是点  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号