Proceedings of the 2013 International Conference on Advanced Computer Science and Electronics Information (ICACSEI 2013)

An Extensible Approach to Extracting Specification from Device Driver Source Codes Using XSL

Authors
Lei Xiao, Jian feng Cui, Xiao zhu Xie, Li juan Liu
Corresponding author
Xiao
Keywords
Device drive, XSL, specification extraction.
Abstract
Generally, device drivers have various implementations depending on the environments such as target devices and operating systems. The concept of device driver specification has been introduced to increase understand ability of device drivers and their implementation. This paper presents an XSL-based tool for extracting a device driver specification from device driver source code. We focus on the extensibility of specification extractions so that any changes to the structures of source code and driver specification can be accommodated without modifications to the tool. In this paper, the architecture of the tool is described and the result of its application to extract device driver specification on Linux platform is provided.
Download article (PDF)