Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Developing Windows NT Device Drivers: A Programmer's Handbook
Developing Windows NT Device Drivers: A Programmer's Handbook
On the Emulation of Software Faults by Software Fault Injection
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Devil: an IDL for hardware programming
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
A formal semantic definition of DEVIL
ACM SIGPLAN Notices
Automatic generation of device drivers
ACM SIGPLAN Notices
Hi-index | 0.00 |
Abstract: To keep up with the frantic pace at which devices come out, drivers need to be quickly developed, debugged and tested. We have recently introduced a new approach to improve driver robustness based on an Interface Definition Language, named Devil. Devil allows a high-level definition of the communication of a device. A compiler automatically checks the consistency of a Devil specification and generates stubs that include run-time checks. In this paper, we use mutation analysis to evaluate the improvement in driver robustness offered by Devil. To do so, we have injected programming errors using mutation analyses into Devil based Linux drivers and the original C drivers. We assess how early errors can be caught in the development process, by measuring whether errors are detected either at compile time or at run time. The results of our experiments on the IDE Linux disk driver show that nearly 3 times more errors are detected in the Devil driver than in the original C driver.