首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   54篇
  免费   27篇
  国内免费   20篇
综合类   2篇
化学工业   1篇
机械仪表   3篇
建筑科学   1篇
无线电   9篇
自动化技术   85篇
  2024年   2篇
  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篇
排序方式: 共有101条查询结果,搜索用时 31 毫秒
1.
软件分析技术进展   总被引:44,自引:2,他引:42  
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.  相似文献   
2.
UML statecharts的测试用例生成方法   总被引:22,自引:0,他引:22  
测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。  相似文献   
3.
依据原理框图建立可靠性模型;采用故障树模式,分析电子系统在工作时可能产生的潜在电路;对潜在电路的危害性进行定性分析,利用逻辑推理的方法找出截断或消除潜在电路的关键部位,依分析结果改进设计方案,画出改进后的原理框图进行可靠性设计,设计生产出的中频接收机模拟测试台一次成功,实例说明电子系统进行可靠性设计是保证产品质量的有效方法。  相似文献   
4.
软件可靠性工程框架和评估系统实现   总被引:1,自引:0,他引:1  
给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际  相似文献   
5.
基于IDA-Pro的软件逆向分析方法   总被引:1,自引:0,他引:1  
二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。转换所得中间语言可读性较强,具有通用性且易于理解。该方法达到了较高的自动化程度,缩小了目标程序的代码量,其应用可有效地减少软件分析和调试人员在追踪代码时所需的时间和工作量。给出应用上述方法进行程序转换的实例。  相似文献   
6.
半导体后段制造自动化   总被引:2,自引:0,他引:2  
越来越多的半导体厂商开始考虑在半导体后段生产中采用自动化控制,目前还没有开发出非常成功的技术能够满足变化多端的后段工厂。本文介绍了半导体制造自动化的概况,分析了半导体制造自动化的需求,进而提出了一种基于SECS/GEM标准接口的半导体制造全自动化生产线解决方案。所有设备全部都通过使用SECS标准接口连接到单元控制器及更高级别的MES和工厂计划信息系统,系统除了能完成通常的设备监视和控制、数据搜集、配方管理等功能外,还实现了单一元件追踪,具有Stripmap管理,缺陷管理及多芯片管理等功能。半导体厂商通过实施全自动化改善了生产力,同时减少生产周期和场地占用率,并通过最小化人工操作和过程的连贯性带来质量和可靠性的提升.  相似文献   
7.
面向路径的测试数据自动生成工具的设计与实现   总被引:1,自引:0,他引:1  
面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松驰方法求解该问题。文献[2]改进了该方法,证明改进后的方法与原方法生成的约束系统相同,文章以改进后的方法为核心算法,根据软件工程的思想,采用面向对象的方法,使用UML进行设计,并且在Linux Red Hat7.0操作系统下用C++语言言实现一个为程序路径自动生成测试数据的原型工具,然后将它移植到Windows操作系统。  相似文献   
8.
PKI的使用脆弱性及对策   总被引:10,自引:0,他引:10  
PKI是目前唯一可行的大规模网络认证解决方案,但也存在一些使用方面的脆弱性,本文介绍了PKI的主要安全隐患,指出了解决用户端问题、CRL问题,用户信息可信性问题的有效手段。  相似文献   
9.
操作系统内核程序函数执行上下文的自动检验   总被引:2,自引:0,他引:2  
汪黎  杨学军  王戟  罗宇 《软件学报》2007,18(4):1056-1067
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的时空运行开销、良好的可扩展性等等.该技术已应用在Linux内核2.4.20的网络设备驱动程序检查中.应用表明,PRPF能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux内核的23处编程错误,另有  相似文献   
10.
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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