首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   52篇
  免费   24篇
  国内免费   24篇
综合类   2篇
化学工业   1篇
机械仪表   3篇
建筑科学   1篇
无线电   9篇
自动化技术   84篇
  2024年   1篇
  2023年   4篇
  2022年   1篇
  2020年   1篇
  2019年   2篇
  2018年   2篇
  2016年   1篇
  2015年   1篇
  2012年   3篇
  2011年   7篇
  2010年   4篇
  2009年   5篇
  2008年   9篇
  2007年   10篇
  2006年   11篇
  2005年   6篇
  2004年   4篇
  2003年   6篇
  2002年   5篇
  2001年   5篇
  2000年   5篇
  1999年   2篇
  1996年   2篇
  1994年   1篇
  1992年   1篇
  1990年   1篇
排序方式: 共有100条查询结果,搜索用时 0 毫秒
1.
软件分析技术进展   总被引:44,自引:2,他引:42  
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.  相似文献   
2.
UML statecharts的测试用例生成方法   总被引:22,自引:0,他引:22  
测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。  相似文献   
3.
基于IDA-Pro的软件逆向分析方法   总被引:1,自引:0,他引:1  
二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。转换所得中间语言可读性较强,具有通用性且易于理解。该方法达到了较高的自动化程度,缩小了目标程序的代码量,其应用可有效地减少软件分析和调试人员在追踪代码时所需的时间和工作量。给出应用上述方法进行程序转换的实例。  相似文献   
4.
半导体后段制造自动化   总被引:2,自引:0,他引:2  
越来越多的半导体厂商开始考虑在半导体后段生产中采用自动化控制,目前还没有开发出非常成功的技术能够满足变化多端的后段工厂。本文介绍了半导体制造自动化的概况,分析了半导体制造自动化的需求,进而提出了一种基于SECS/GEM标准接口的半导体制造全自动化生产线解决方案。所有设备全部都通过使用SECS标准接口连接到单元控制器及更高级别的MES和工厂计划信息系统,系统除了能完成通常的设备监视和控制、数据搜集、配方管理等功能外,还实现了单一元件追踪,具有Stripmap管理,缺陷管理及多芯片管理等功能。半导体厂商通过实施全自动化改善了生产力,同时减少生产周期和场地占用率,并通过最小化人工操作和过程的连贯性带来质量和可靠性的提升.  相似文献   
5.
BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA+对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求,在此基础上建立了BRP的形式化模型,利用TLA+先对不考虑实时要求的BRP进行规约,然后添加实时约束获得BRP完整的规约,最后使用模型检验器TLC验证BRP协议的各种性质。  相似文献   
6.
基于工作流的软件过程开发平台的研究*   总被引:8,自引:0,他引:8       下载免费PDF全文
首先介绍了传统软件过程中人为因素的影响,并给出了减少这种影响的解决方法:在工作流与软件过程相结合的基础上集成软件过程开发平台SPDET(Software Process Develop Environment Tool)。然后详细的讨论了SPDET的几个重要的组成部分,并给出了SPDET的设计和实现。  相似文献   
7.
基于WCET分析的实时系统轨迹获取技术   总被引:1,自引:0,他引:1  
王馨  姬孟洛  王戟  齐治昌 《软件学报》2006,17(5):1232-1240
时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.  相似文献   
8.
操作系统内核程序函数执行上下文的自动检验   总被引:2,自引:0,他引:2  
汪黎  杨学军  王戟  罗宇 《软件学报》2007,18(4):1056-1067
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的时空运行开销、良好的可扩展性等等.该技术已应用在Linux内核2.4.20的网络设备驱动程序检查中.应用表明,PRPF能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux内核的23处编程错误,另有  相似文献   
9.
多Agent系统中软构件的动态绑定机制及其操作语义   总被引:2,自引:1,他引:2  
近年来,越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点,这使得软件开发理论和技术需要从软件体系结构的角度对这类系统的开发提供支持.面向Agent的软件开发技术提供了高层和自然的抽象方式对软件系统进行分析和设计,但现有面向Agent的方法学将Agent Class或者Agent Type视为多Agent系统软件体系结构的软构件,与Agent之间的关系仅仅是实例化的关系,这难以满足复杂系统对动态性的需求.从软件体系结构的角度上分析了多Agent系统中软构件的形式和机制,将Caste作为软构件,并以此为基础提出了Caste与Agent之间的动态绑定关系,定义了支持该机制的4个基本操作:join,quit,activate和inactivate及其操作语义,用以来指导多Agent系统软件体系结构的设计和实现.  相似文献   
10.
李仁见  陈立前  王戟 《计算机工程》2007,33(14):110-112
卫星接入Internet最好的解决方案就是在卫星通信中使用IP技术。该文结合某型号星载计算机的研制工作,探索IP及其路由技术在卫星通信中的应用;在实时操作系统RTEMS下开发了ATM网络设备驱动,实现了IP over ATM技术以支持IP协议,实现了动态路由协议RIP。针对星载应用的特点,在设计和实现中就协议栈简化、安全性等方面进行了适当的优化,成功地在星载计算机中实现了路由器功能。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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