首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   356篇
  国内免费   28篇
  完全免费   138篇
  自动化技术   522篇
  2019年   2篇
  2018年   4篇
  2017年   3篇
  2016年   6篇
  2015年   10篇
  2014年   19篇
  2013年   21篇
  2012年   26篇
  2011年   41篇
  2010年   37篇
  2009年   44篇
  2008年   44篇
  2007年   45篇
  2006年   34篇
  2005年   26篇
  2004年   19篇
  2003年   27篇
  2002年   13篇
  2001年   11篇
  2000年   22篇
  1999年   14篇
  1998年   13篇
  1997年   5篇
  1996年   9篇
  1995年   6篇
  1994年   5篇
  1993年   3篇
  1992年   6篇
  1991年   3篇
  1990年   3篇
  1989年   1篇
排序方式: 共有522条查询结果,搜索用时 31 毫秒
1.
基于构件软件的可靠性通用模型   总被引:38,自引:0,他引:38       下载免费PDF全文
工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  相似文献
2.
软件体系结构抽象模型   总被引:36,自引:4,他引:32  
3.
基于模型的软件测试综述   总被引:26,自引:5,他引:21       下载免费PDF全文
颜炯  王戟  陈火旺 《计算机科学》2004,31(2):184-187
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状,并对测试中使用的不同模型进行了比较,着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。  相似文献
4.
面向对象软件测试探讨   总被引:20,自引:3,他引:17  
面向对象软件测试是面向对象软件开发的一个重要阶段,是保证软件质量,提高软件可靠性的关键。该文主要分析了面向对象程序的特点对测试的影响,讨论了面向对象软件测试技术的现状与发展。  相似文献
5.
基于未确知理论的软件可靠性建模   总被引:19,自引:0,他引:19       下载免费PDF全文
张永强  孙胜娟 《软件学报》2006,17(8):1681-1687
将未确知理论应用于软件可靠性建模研究,采用其分析软件故障过程,用未确知数学描述软件失效特征计算软件可靠性参数,并在此基础上构建了一个基于未确知数学理论的软件可靠性模型.新模型改变了传统的建模思路,跳出了传统软件可靠性建模过程中关于失效强度变化的各种统计分布假设的束缚,具有较好的适用性,改善了模型应用中的不一致性问题.  相似文献
6.
软件可靠性及其评估   总被引:17,自引:0,他引:17  
介绍了软件可靠性问题的来源,阐述了软件可靠性的定义、软件的失效机理、及软件可靠性与硬件可靠性间的差异,并提出了基于模糊数算术运算的软件可靠性估计方法。  相似文献
7.
模型检测新技术研究   总被引:17,自引:0,他引:17       下载免费PDF全文
戎玫  张广泉 《计算机科学》2003,30(5):102-104
1 引言软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一,尤其在一些诸如核反应堆控制、航空航天以及铁路调度等安全悠关(safety-critical)领域更是如此。这类系统要求绝对安全可靠,不容半点疏漏,否则将导致灾难性后果。如1996年6月4日,欧洲航天局阿丽亚娜(Ariane)501火箭因为其控制软件的规范和设计错误而导致发射37秒后爆炸。类似的报道屡见不鲜,如何确保这些系统的可靠性成为计算机科学与控制论领域共同关注的一个焦点问题。  相似文献
8.
基于UML的软件Markov链使用模型构造研究   总被引:16,自引:0,他引:16       下载免费PDF全文
颜炯  王戟  陈火旺 《软件学报》2005,16(8):1386-1394
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.  相似文献
9.
构件软件测试技术研究进展   总被引:16,自引:0,他引:16  
软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态.然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题.分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望.  相似文献
10.
基于组件的软件可靠性模型   总被引:13,自引:0,他引:13  
首先对不同的软件体系结构描述语言(ADL)进行分析,找出体系结构的共性,用抽象代数和一代阶逻辑理论对组件,连接器和软件体系结构的属性和动态行为进行讨论和描述,探讨不同连接形式下的软件体系结构,给出基于组件的软件可靠性模型,在此模型基础上,对基于组件的软件系统的可靠性计算模型进行研究,提出一种半Markov模型,并在理论上证明该模型的可用性,最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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