首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   32篇
  完全免费   49篇
  自动化技术   81篇
  2018年   1篇
  2016年   1篇
  2015年   1篇
  2012年   3篇
  2011年   7篇
  2010年   4篇
  2009年   5篇
  2008年   6篇
  2007年   9篇
  2006年   10篇
  2005年   5篇
  2004年   3篇
  2003年   5篇
  2002年   4篇
  2001年   5篇
  2000年   5篇
  1999年   1篇
  1996年   1篇
  1994年   1篇
  1993年   1篇
  1992年   2篇
  1990年   1篇
排序方式: 共有81条查询结果,搜索用时 31 毫秒
1.
基于模型的软件测试综述   总被引:26,自引:5,他引:21       下载免费PDF全文
颜炯  王戟  陈火旺 《计算机科学》2004,31(2):184-187
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状,并对测试中使用的不同模型进行了比较,着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。  相似文献
2.
软件分析技术进展   总被引:24,自引:2,他引:22  
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.  相似文献
3.
UML Statecharts的模型检验方法   总被引:23,自引:2,他引:21       下载免费PDF全文
董威  王戟  齐治昌 《软件学报》2003,14(4):750-756
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.  相似文献
4.
UML statecharts的测试用例生成方法   总被引:21,自引:0,他引:21  
测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。  相似文献
5.
面向Agent的软件工程:现状与挑战   总被引:20,自引:3,他引:17  
面向Agent软件工程是近年来软件工程领域出现的一个重要的前沿研究方向,它试图将Agent理论和技术与软件工程的思想、原理和原则相结合,从而为基于Agent系统的开发提供工程化手段.近年来,随着Internet上的web应用以及软件开发社会化的发展,面向Agent软件工程受到了学术界和工业界的高度关注和重视,研究活跃,发展迅速.从应用需求和技术发展两个方面阐述了面向Agent软件工程的产生和发展背景;从技术、管理和工具3个视点综述了现阶段面向Agent软件工程的研究内容;分析了面向Agent软件工程的研究现状;最后讨论了它存在的问题和面临的挑战以指导进一步研究.  相似文献
6.
基于UML的软件Markov链使用模型构造研究   总被引:16,自引:0,他引:16       下载免费PDF全文
颜炯  王戟  陈火旺 《软件学报》2005,16(8):1386-1394
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.  相似文献
7.
UML Statechart图的操作语义   总被引:14,自引:0,他引:14       下载免费PDF全文
李留英  王戟  齐治昌 《软件学报》2001,12(12):1864-1873
面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechart图的代码产生、模拟和测试用例生成奠定了基础.根据上述语义,基于Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟.  相似文献
8.
PKI的使用脆弱性及对策   总被引:10,自引:0,他引:10       下载免费PDF全文
PKI是目前唯一可行的大规模网络认证解决方案,但也存在一些使用方面的脆弱性,本文介绍了PKI的主要安全隐患,指出了解决用户端问题、CRL问题,用户信息可信性问题的有效手段。  相似文献
9.
面向服务软件体系结构的接口模型   总被引:10,自引:1,他引:9       下载免费PDF全文
陈振邦  王戟  董威  齐治昌 《软件学报》2006,17(6):1459-1469
服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的接口模型,能够分别在特征层、会话层和协议层3个层面对服务的接口进行描述,然后提出了服务接口在3个层面的相容性和可替换性条件,并针对会话接口和协议接口提出了接口规约及其验证方法.该接口模型不仅能够支持准确的事务信息描述,而且还支持灵活、有效的接口规约验证.  相似文献
10.
基于工作流的软件过程开发平台的研究*   总被引:8,自引:0,他引:8       下载免费PDF全文
首先介绍了传统软件过程中人为因素的影响,并给出了减少这种影响的解决方法:在工作流与软件过程相结合的基础上集成软件过程开发平台SPDET(Software Process Develop Environment Tool)。然后详细的讨论了SPDET的几个重要的组成部分,并给出了SPDET的设计和实现。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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