计算机与现代化 ›› 2010, Vol. 1 ›› Issue (8): 182-184.doi: 10.3969/j.issn.1006-2475.2010.08.048

• 软件工程 • 上一篇    下一篇

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

严小兵,张 毅   

  1. 柳州城市职业学院,广西 柳州 545005
  • 收稿日期:2010-03-25 修回日期:1900-01-01 出版日期:2010-08-27 发布日期:2010-08-27

Verification Design Flow for Embedded Software in Specman

YAN Xiao-bing, ZHANG Yi   

  1. Liuzhou City Vocational College, Liuzhou 545005, China
  • Received:2010-03-25 Revised:1900-01-01 Online:2010-08-27 Published:2010-08-27

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

关键词: 嵌入式软件, 验证, 驱动程序

Abstract: This paper introduces a design flow for embedded software verification based on Specman. This design flow is implemented in verification of USB driver under Linux. An existing bug in earlier version of the driver is identified successful.

Key words: embedded software, verification, driver