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

DOI

10.2991/icacsei.2013.74How to use a DOI?

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.

Copyright

© 2013, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Lei Xiao
AU  - Jian feng Cui
AU  - Xiao zhu Xie
AU  - Li juan Liu
PY  - 2013/08
DA  - 2013/08
TI  - An Extensible Approach to Extracting Specification from Device Driver Source Codes Using XSL
BT  - Proceedings of the 2013 International Conference on Advanced Computer Science and Electronics Information (ICACSEI 2013)
PB  - Atlantis Press
SP  - 296
EP  - 299
SN  - 1951-6851
UR  - https://doi.org/10.2991/icacsei.2013.74
DO  - 10.2991/icacsei.2013.74
ID  - Xiao2013/08
ER  -