首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   178篇
  国内免费   9篇
  完全免费   79篇
  自动化技术   266篇
  2018年   3篇
  2017年   13篇
  2016年   4篇
  2015年   8篇
  2014年   11篇
  2013年   14篇
  2012年   23篇
  2011年   22篇
  2010年   13篇
  2009年   21篇
  2008年   33篇
  2007年   9篇
  2006年   20篇
  2005年   15篇
  2004年   13篇
  2003年   15篇
  2002年   5篇
  2001年   2篇
  2000年   7篇
  1999年   3篇
  1998年   3篇
  1997年   1篇
  1996年   1篇
  1995年   4篇
  1992年   1篇
  1991年   1篇
  1988年   1篇
排序方式: 共有266条查询结果,搜索用时 31 毫秒
1.
软件测试自动化静态分析研究   总被引:18,自引:6,他引:12  
为了加快软件测试的速度,减少人力投入,可以采用测试自动机对软件进行自动测试。测试自动化静态分析工具是一种软件,可以利用它对程序的源代码进行分析,自动测试应用系统的很多方面。在软件测试中,静态分析工具并不执行所测试的程序,只是扫描所测试程序的正文,对程序的源代码进行分析,它类似于编译程序中的词法分析和语法分析,但工作量远不止于此。  相似文献
2.
关联图与主动规则集的终止性分析   总被引:10,自引:0,他引:10       下载免费PDF全文
终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivationgraph),并与触发图和活化图相结合,定义了更为一般的关联图(relationshipgraph).同时,给出了基于关联图的主动规则集终止性静态分析算法,提高了终止性判定的准确性.  相似文献
3.
精确的程序静态分析   总被引:10,自引:3,他引:7  
程序的静态分析是程序语言和编译领域的一个重要研究方向,已经被研究了很多年.近年来,它也引起形式方法和软件工程领域的重视,被用于程序测试和正确性验证.文中从程序的语法特征、所关心的数据类型和程序性质等方面比较了一些静态分析技术.着重描述基于路径的分析方法,特别是符号执行技术,讨论了程序路径可行性分析问题及其分类、复杂度.针对程序分析精度的一种量化指标,说明了其计算方法.  相似文献
4.
基于静态分析的安全漏洞检测技术研究   总被引:9,自引:0,他引:9       下载免费PDF全文
夏一民  罗军  张民选 《计算机科学》2006,33(10):279-282
消除软件中的安全漏洞是建立安全信息系统的前提。静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其它程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。在本文中,我们首先描述了静态分析的理论基础,然后说明了类型推断、数据流分析和约束分析等主要静态分析方法及其在安全漏洞检测中的应用,并比较这些方法的优缺点。最后给出了几种支持安全漏洞静态检测的编程语言。  相似文献
5.
Model Checking Programs   总被引:8,自引:0,他引:8  
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this paper we will attempt to give convincing arguments for why we believe it is time for the formal methods community to shift some of its attention towards the analysis of programs written in modern programming languages. In keeping with this philosophy we have developed a verification and testing environment for Java, called Java PathFinder (JPF), which integrates model checking, program analysis and testing. Part of this work has consisted of building a new Java Virtual Machine that interprets Java bytecode. JPF uses state compression to handle big states, and partial order and symmetry reduction, slicing, abstraction, and runtime analysis techniques to reduce the state space. JPF has been applied to a real-time avionics operating system developed at Honeywell, illustrating an intricate error, and to a model of a spacecraft controller, illustrating the combination of abstraction, runtime analysis, and slicing with model checking.  相似文献
6.
程序静态分析技术与工具   总被引:8,自引:0,他引:8       下载免费PDF全文
杨宇  张健 《计算机科学》2004,31(2):171-174
静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。  相似文献
7.
支持复合事件的主动规则的可终止性分析   总被引:7,自引:1,他引:6  
ECA规则系统已经成为主动数据库提供主动服务的通用机制.规则集合的可终止性是规则行为分析的一个重要问题.文中给出了ECA规则系统的形式化描述,并着重讨论了复合事件机制对可终止性问题的影响.文中结合规则实例给出了分析规则终止性的静态判定算法,这一算法可作为主动规则分析工具的理论基础.  相似文献
8.
基于可执行文件静态分析的入侵检测模型   总被引:6,自引:0,他引:6  
苏璞睿  杨轶 《计算机学报》2006,29(9):1572-1578
基于进程行为的入侵检测技术是主机防范入侵和检测恶意代码的重要技术手段之一.该文提出了一种基于可执行文件静态分析的入侵检测模型,该模型通过对应用程序可执行文件的静态分析,建立应用程序所有可能执行的定长系统调用集合,通过实时监控进程执行的系统调用序列是否在该集合中实施检测.该模型不需要源文件、大规模训练数据,通用性和易用性好;在应用程序可执行文件完整的情况下,误报率为0,抵抗模仿攻击的能力更强,漏报率更低.  相似文献
9.
基于缺陷模式的软件测试中的区间运算应用   总被引:5,自引:2,他引:3  
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.  相似文献
10.
微型客车车身疲劳破坏CAE仿真   总被引:5,自引:2,他引:3  
为解决微型客车在山区使用过程中后立柱和后门槛板等部件出现疲劳裂纹的问题,采用ANSYS和LS—DYNA对整车在实际使用条件下的应力分布及随时间的变化进行仿真.对关键部件进行疲劳寿命计算和分析,从中找到部件产生疲劳裂纹的主要原因;提出多种改进方法,并基于CAE仿真分析筛选出改动小、成本低、效果好的方案;根据改进部件的疲劳寿命预测和评价确定最终改进方案.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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