首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   172篇
  国内免费   18篇
  完全免费   53篇
  自动化技术   243篇
  2016年   1篇
  2015年   2篇
  2014年   17篇
  2013年   13篇
  2012年   16篇
  2011年   17篇
  2010年   5篇
  2009年   17篇
  2008年   12篇
  2007年   20篇
  2006年   23篇
  2005年   18篇
  2004年   14篇
  2003年   13篇
  2002年   11篇
  2001年   14篇
  2000年   2篇
  1999年   2篇
  1998年   4篇
  1997年   5篇
  1996年   4篇
  1995年   6篇
  1994年   3篇
  1993年   1篇
  1990年   2篇
  1989年   1篇
排序方式: 共有243条查询结果,搜索用时 31 毫秒
1.
基于扩展有限状态机的协议测试集生成研究   总被引:22,自引:1,他引:21       下载免费PDF全文
王建国  吴建平 《软件学报》2001,12(8):1197-1204
与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.  相似文献
2.
IPv6协议测试系统研究和实现   总被引:8,自引:2,他引:6  
IPv6必将成为下一代Internet网络的主导协议,如何测试各个厂商的IPv6实现是一个关键的问题,本文关注于IPv6协议的一致性测试,提出了一种分布式虚拟测试法,采用该方法我们实现了一个测试系统,并进行了实际测试,给出了一些测试结果和分析.  相似文献
3.
可信平台模块的形式化分析和测试   总被引:8,自引:0,他引:8  
可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前尚不存在一种有效严格的可信平台模块测试和功能验证方法,同时可信计算组织给出的TPM规范是描述性的,不利于产品的开发和测试.文中在分析可信平台模块目前存在的一些问题的基础上,以TPM密码子系统为例给出了该子系统的形式化规格说明,并且基于该规格说明,给出了扩展有限状态机模型,最后,将该有限状态机模型应用于测试用例的自动生成,并通过实验验证了形式化测试的有效性.  相似文献
4.
含自发事件的协议一致性测试例的生成   总被引:7,自引:0,他引:7  
目前有许多基于有限状态机生成一致性测试序列的方法,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充,使之适用于含自发事件的有状态机,并已将该方法应用于OSPF协议的一致性测试。  相似文献
5.
基于协议集成测试系统的IP v4协议一致性测试   总被引:7,自引:0,他引:7       下载免费PDF全文
TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP(Internet protocol)协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.  相似文献
6.
IPv6过渡机制协议测试的方法与实现   总被引:6,自引:0,他引:6  
IPv6协议是因特网的新一代通信协议,如何实现从IPv4到IPv6的过渡是IPv6发展急需解决的关键问题。IPv6过渡机制协议定义了一系列从IPv4到IPv6的过渡机制,为了保证各种IPv6过渡机制协议实现版本与IPv6过渡机制协议标准的一致性以及不同IPv6过渡机制协议实现之间的互操作性,以确保IPv4到IPv6的顺利过渡,需要对各IPv6过渡机制协议实现进行协议的一致性测试。本文给出了对IPv6过渡机制协议实现进行协议一致性测试的方法,用这种方法对现有的几种不同的IPv6过渡机制协议实现进行了测试并给出了测试结果。  相似文献
7.
基于面向对象方法的ASN.1编解码的设计与实现   总被引:6,自引:0,他引:6  
李贺禄  蒋凡  杨敬峰  高翔 《计算机工程》2002,28(12):101-103
随着计算机和通信技术的发展,ASN.1作为多种协议在表示层的抽象语法记法,它的作用在多媒体通信,协议测试等领域都非常重要。该文采用面向对象的设计方法实现了ASN.1标准X690,同时,通过比较各种编码规则的特点,在BER编解码实现的基础上,给出CER、DER及PER编码的实现方案,据此实现的ASN.1编解码对外提供了一致的接口,具有很好的通用性。  相似文献
8.
基于标记变迁系统的可信计算平台信任链测试   总被引:6,自引:1,他引:5  
可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用例构造方法提供了理论依据,从而解决了信任链测试这一难题.  相似文献
9.
基于有限状态机的一致性测试例自动生成方法   总被引:5,自引:0,他引:5  
一致性测试通俗地讲是测试被测设备(IUT)是否符合有关标准。随着被测设备类型的增多,用手工方法产生测试例将是不可能的,所以,迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例,用这种方法产生的测试例的数目有一确定的上限。  相似文献
10.
基于UIO序列的测试方法及UIO生成算法研究   总被引:5,自引:4,他引:1  
测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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