切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Specman的嵌入式软件验证的设计流程
基于Specman的嵌入式软件验证的设计流程
来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:isgongping
【摘 要】
:
基于Specman的硬件验证环境,给出一个嵌入式软件验证的设计流程。利用该设计流程,对Linux下的USB驱动程序进行验证,并成功找到该程序旧版本中的一个缺陷。
【作 者】
:
严小兵
张毅
【机 构】
:
柳州城市职业学院
【出 处】
:
计算机与现代化
【发表日期】
:
2010年8期
【关键词】
:
嵌入式软件
验证
驱动程序
embedded software verification driver
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于Specman的硬件验证环境,给出一个嵌入式软件验证的设计流程。利用该设计流程,对Linux下的USB驱动程序进行验证,并成功找到该程序旧版本中的一个缺陷。
其他文献
老年人急性下壁心肌梗死三例误诊分析
老年急性心肌梗死的临床表现多不明显,易与临床其他疾病误诊、误治,现将我院误诊的3例患者资料报道如下。1病例简介病例1:男,72岁,因"心前区不适12h,意识丧失45min"入院。既往高
期刊
老年人
心肌梗死
误诊
《清人诗文集总目提要》订补八则
《清人诗文集总目提要》是一部著录现存清代诗文别集的大型工具书,对于研究清代文学具有重要的参考价值,但其中也偶有疏误之处。譬如有关柯辂、龚维琳、黄宗汉、郭传璞、龚显
期刊
《清人诗文集总目提要》
订补
CT引导立体定向手术在颅内病变诊断和治疗中的应用体会
目的探讨cT引导立体定向手术在颅内病变诊断和治疗的应用价值。方法使用CJF—N型脑立体定向仪,以CT影像技术为引导方法,对颅内占位性病变为主的6类疾病16例患者进行了不同方式
期刊
立体定向手术
颅内病变
治疗
对PE文件修改的一种解决方案PEPatch
首先分析了PE文件的基本结构,着重说明了PE头及节表结构,然后介绍了如何增加一个节表并修改入口点到这个新加节表中的技术。通过这种技术,程序运行起来时可以执行事先指定的代码
期刊
PE文件
节表
入口点
雏形结构
PE document section table entry point prototype structure
数字保存的认知与实践——基于对高能物理学科研究人员的调查
数字保存的认知是对数字保存基本问题的看法,对高能物理学科研究人员的认知调查包括保存的重要性、保存原因、保存用途和保存威胁。数字保存的实践是对数字保存领域中相关问
期刊
数字保存
认知调查
实践调查
高能物理
多速率DS—CDMA系统中基于Kalman滤波的盲多用户检测
在讨论可变扩频增益多速率直接序列码分多址(DS-CDMA)系统信号模型的同时,为了保证该检测器能适用于多径衰落信道环境,提出了基于Kalman滤波的盲多速率多用户检测器,并给出了Kalma
期刊
多用户检测
盲
KALMAN滤波
DS-CDMA
multiuser detection blind Kalman filter DS-CDMA
丁文强 直升机传动技术专家
您认为在直升机传动系统设计过程中要解决哪些关键问题?丁文强:在满足直升机总体对传动系统的接口要求下,设计时首先要解决关键零部件的选材问题;其次要解决关键零部件的结构强
期刊
传动系统
直升机
技术专家
关键零部件
抗弹击能力
设计过程
接口要求
疲劳强度
利用自然衰老动物制作中医老年虚证模型
期刊
衰老
中医
虚证
《巴金全集》将新增补6到9卷
2014年是巴金先生诞辰110周年,由人民文学出版社出版的新版《巴金全集》将新增6到9卷,增补大量此前从未披露过的书信日记,以及一些对于巴金研究十分重要的一手史料。
期刊
《巴金全集》
增补
人民文学出版社
诞辰110周年
巴金研究
论我国刑法角色的塑造——从如何成功塑造一个戏剧角色引发的启示
塑造一个成功的戏剧角色需要剧作家和演员双方的努力。在角色塑造过程中,剧作家和演员需要准确定位角色形象,清晰把握角色间的关系,以及充分尊重观众的情感。刑法作为法律体系的
期刊
戏剧角色
刑法
形象
关系
情感
dramatic-charactercriminal-lawimagerelationshipemotion
与本文相关的学术论文