Test automation for kernel code and disk arrays with virtual devices
Abstract
In this work, we discuss testing automation issues for kernel code on a high-capacity network-attached storage (NAS) in early development phases when the hardware may not be ready. We propose to construct a high-fidelity versatile emulator for hard disks for the fast configuration of virtual disk arrays. To test kernel libraries, we not only have to figure out the proper values for the kernel procedure parameters, but also have to overcome the rigid resource limitations in kernel space. We propose techniques to profile kernel procedure parameters, drive the kernel procedures from the user space, and construct the testing interface between kernel SUTs (software-under-test) and user space test plans. We have experimented to test the multiple devices driver library used in the NAS server by Quanta Computer Inc. Our techniques support rapid NAS configurations and have been proven useful in locating a proven bug in the Linux kernel
References
[1]
Alessandro Rubini, Jonathan Corbet, O'Reilly, 2nd Edition, LINUX device drivers.
[2]
M. J. Bligh. Automated Linux Testing, http://test.kernel.org (2006).
[3]
K. Chen, T. Chen. The Linux Kernel Performance Project, http://kernelperf.sourceforge.net.
[4]
Testing method of array configuration for multiple disk-array system, United States Patent 20040158763.
[5]
Instalinux, http://www.instalinux.com.
[6]
Linux Kernel Source Archives,http://www.kernel.org/.
[7]
Open Source Development Labs, Linux Stabilization and Linux Testing, http://osdl.org/projects/26lnxstblztn/results (2006).
[8]
Open Source Development Labs, Linux 2.6 Compile Statistics developer, http://osdl.org/cherry/compile (2006).
[9]
J. Martin, Linux Test Tools, http://ltp.sourceforge.net/tooltable.php (2006).
[10]
Microsoft Virtual Hard Disk Overview, http://www.microsoft.com/technet/try/vhd/overview.mspx.
[11]
The software-RAID HOWTO describes how to use Software RAID under Linux, http://tldp.org/HOWTO/Software-RAID-HOWTO.html.
[12]
Technical Committee T13 is responsible for all interface standards relating to the popular AT Attachment (ATA) storage interface, http://www.t13.org/.
[13]
QEMU is a generic and open source processor emulator, http://fabrice.bellard.free.fr/qemu/.
[14]
User-mode Linux, user-modelinux.sourceforge.net (2006).
[15]
A. Ufimtsev, L. Murphy, Automatic System for Linux Kernel Performance Testing, 2006 Linux Symposium, p.137--142.
[16]
VMware Virtualization Overview, http://www.vmware.com/pdf/virtualization.pdf.
[17]
I. Wienand, D. Williams, Tools for Automated Regression Testing of the Linux kernel, http://kerncomp.sourceforge.net (2006).
[18]
XenSource, http://www.xensource.com (2006).
[19]
J. Yang, P. Twohey, D. Engler, and M. Musuvathi, Using Model Checking to Find Serious File System Errors, Operating System Design and Implementation (OSDI) 2004.
Index Terms
- Test automation for kernel code and disk arrays with virtual devices
Recommendations
Higher reliability redundant disk arrays: Organization, operation, and coding
Parity is a popular form of data protection in redundant arrays of inexpensive/independent disks (RAID). RAID5 dedicates one out of N disks to parity to mask single disk failures, that is, the contents of a block on a failed disk can be reconstructed by ...
On Variable Scope of Parity Protection in Disk Arrays
In a common form of a RAID 5 architecture, data is organized on a disk array consisting of N + 1 disks into stripes of N data blocks and one parity block (with parity block locations staggered so as to balance the number of parity blocks on each disk). ...
Parity logging disk arrays
Parity-encoded redundant disk arrays provide highly reliable, cost-effective secondary storage with high performance for reads and large writes. Their performance on small writes, however, is much worse than mirrored disks—the traditional, highly ...
Comments
Information & Contributors
Information
Published In
November 2007
590 pages
ISBN:9781595938824
DOI:10.1145/1321631
- General Chair:
- Kurt Stirewalt,
- Program Chairs:
- Alexander Egyed,
- Bernd Fischer
Copyright © 2007 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 05 November 2007
Check for updates
Author Tags
Qualifiers
- Poster
Conference
ASE07: International Conference on Automated Software Engineering 2007
November 5 - 9, 2007
Georgia, Atlanta, USA
Acceptance Rates
Overall Acceptance Rate 82 of 337 submissions, 24%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 266Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Feb 2025
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in