检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

中断驱动型嵌入式软件自动测试方案的实现

计算机应用 2006年第6期26卷 1468-1471页

作者：龚梅徐晟吴跃电子科技大学计算机科学与工程学院四川成都610054

自动化测试作为一种重要的软件测试技术,如果将其引入嵌入式软件的测试流程,将会对软件的质量、成本和周期带来显著的效果。首先分析了基于模块化设计的嵌入式软件的特点和测试需求,随后提出了一套面向中断驱动型高可靠嵌入式应用的自... 详细信息

自动化测试作为一种重要的软件测试技术,如果将其引入嵌入式软件的测试流程,将会对软件的质量、成本和周期带来显著的效果。首先分析了基于模块化设计的嵌入式软件的特点和测试需求,随后提出了一套面向中断驱动型高可靠嵌入式应用的自动化测试解决方案,最后总结了自动化测试的优点及其适用范围。

关键词：中断驱动高可靠嵌入式自动测试

在线全文

学校读者我要写书评

暂无评论

中断驱动的嵌入式系统数据竞争检测研究

中断驱动的嵌入式系统数据竞争检测研究

作者：陈园军南京大学

学位级别：硕士

中断驱动的嵌入式系统被广泛应用于对安全性和稳定性要求极高的领域,此类软件由于频繁依赖中断进行数据采集、处理、发送等操作,时常发生各类并发问题。这一类中断引发的并发问题大致可以分为数据竞争问题、超时问题、共享标识问题和数... 详细信息

中断驱动的嵌入式系统被广泛应用于对安全性和稳定性要求极高的领域,此类软件由于频繁依赖中断进行数据采集、处理、发送等操作,时常发生各类并发问题。这一类中断引发的并发问题大致可以分为数据竞争问题、超时问题、共享标识问题和数据完整性问题四种,而中断引发的数据竞争问题是其中较为棘手且备受关注的问题之一。目前,越来越多的科研工作者开始关注如何检测中断驱动程序中的数据竞争。已有成果分别从随机检测、静态控制流分析、基于共享变量的人工插桩执行检测、动态仿真执行、模型检测和验证等几个方面进行了探索,但仍然存在检测结果不稳定、效率低、应用性不够强等问题,目前仍没有有效的解决方法。本文在对中断引发的数据竞争问题研究现状的调研基础上,提出了一种动静态结合的中断驱动程序数据竞争检测方法,将静态分析技术和动态仿真执行技术结合在一起,利用静态分析的结果指导动态的仿真过程,从而达到检测目的。我们通过一个示例程序贯穿全文,以展示本文的主要工作。为了检验本文工作的有效性,我们实现了相对应的原型工具,并对六个案例程序进行了检测分析。具体而言,本文论述的主要工作包括:1.提出了一种中断驱动程序的数据竞争静态分析方法。通过对源程序进行预处理,构建出其简要控制流图,在其简要控制流图基础上进行中断的内联和抢占关系分析,可以得到潜在的竞争问题及其潜在执行路径。2.提出了一种以静态分析结果为指导的数据竞争动态仿真检测方法。通过使用Simics全系统仿真工具以及对源程序进行断点设置和自动生成动态执行控制脚本,可以实时监控程序的执行过程,对静态分析结果进行仿真执行。对于仿真执行的结果,我们提出了一种重要性评分排序的方法,通过比较各个潜在竞争问题在动态执行过程中的共享资源地址的一致性、路径深度、强制执行情况、共享资源访问类型等评价指标,能够有效评估每个潜在竞争问题的重要性,从而对处理的优先级提供指导。3.开发了基于该动静态结合的中断驱动程序数据竞争检测方法的原型工具iRacer,并进行了实例研究。

关键词：中断驱动数据竞争测试分析仿真

Windows2000下I/O端口中断驱动的实现及定时处理分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机应用 2002年第8期22卷 36-38页

作者：商艳莉陆志才南开大学计算机科学与技术系天津300071

文中讨论了Windows 2 0 0 0环境下I/O端口中断驱动的实现 ,并结合实验讨论利用硬中断技术在驱动程序中进行实时处理的方法。该方法获得了比系统中现有定时机制更短的定时基准。

关键词： Windows2000 I/O 端口中断驱动定时处理分析操作系统

在线全文

学校读者我要写书评

暂无评论

智能仪器系统中主机中断驱动程序设计

自动化仪表 1997年第6期18卷 23-25页

作者：张锦春钟庆黄树槐华中理工大学武汉430074

智能仪器系统约从1982年兴起,时间虽然不长,但因其具有较高的性能价格比而发展迅速.目前世界上有数百个厂家生产与微机仪器有关的产品和插件.十几年来,我国已在APPLE、IBMPC及其兼容型微机上进行研制和开发.主要研究工作包括两个方面:... 详细信息

智能仪器系统约从1982年兴起,时间虽然不长,但因其具有较高的性能价格比而发展迅速.目前世界上有数百个厂家生产与微机仪器有关的产品和插件.十几年来,我国已在APPLE、IBMPC及其兼容型微机上进行研制和开发.主要研究工作包括两个方面:①通用仪器卡;②专用测试仪.研究开发中共同的问题:一是系统专用(扩发)设备的驱动程序设计。

关键词：程序设计智能仪器中断驱动仪器

Windows9x/NT下CAN总线板卡中断驱动的快速开发

在线全文

学校读者我要写书评

暂无评论

化工自动化及仪表 2001年第4期28卷 36-39页

作者：陈粤李小京天津工业大学计算中心天津300160

介绍了一种在Wind 9X/NT环境下快速开发设备驱动的方法 ,并给出了一个基于VC ++6的CAN总线通信卡中断驱动实例。

关键词： Windows 9x/NT 板卡中断驱动 CAN总线设备驱动

中断驱动的ARM核单片机串行I/O无嵌套实现

在线全文

学校读者我要写书评

暂无评论

微计算机应用 2007年第11期28卷 1201-1204页

作者：闻秋香蒋东方赵君西北工业大学自动化学院西安710072

通过定制scanf()/printf()函数,给出一种利用中断及自建FIFO队列驱动ARM核单片机串行口实现串行I/O的方法,避免了ARM核单片机系统工作在查询方式而处于低效等待的缺点。该方案解决了直接运用硬件中断而引起的中断嵌套问题,减小了为保护... 详细信息

通过定制scanf()/printf()函数,给出一种利用中断及自建FIFO队列驱动ARM核单片机串行口实现串行I/O的方法,避免了ARM核单片机系统工作在查询方式而处于低效等待的缺点。该方案解决了直接运用硬件中断而引起的中断嵌套问题,减小了为保护和恢复现场需要的资源开销,简化了代码复杂度及缩短了可能引起的不可预见长度的中断响应延迟时间。

关键词： ARM核串行I/O 中断驱动无嵌套

在线全文

学校读者我要写书评

暂无评论

uClinux下中断驱动的I/O方式