基于Specman的嵌入式软件验证的设计流程

• 作者: 严小兵 张毅
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 嵌入式软件 验证 驱动程序
• 年，卷（期）: 2010,（8）
• 页码范围: 182-184
• 分类号: TP311.5
• 字数: 2182字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2010.08.048

摘要

基于Specman的硬件验证环境,给出一个嵌入式软件验证的设计流程.利用该设计流程,对Linux下的USB驱动程序进行验证,并成功找到该程序旧版本中的一个缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张毅		19	20	2.0	3.0
2	严小兵		2	1	1.0	1.0