Writing Device Drivers

Injecting Faults

The test harness operates at the level of data accesses. A data access has the following characteristics:

The test harness intercepts data accesses and injects appropriate faults into the driver. An errdef, specified by the th_define(1M) command, encodes the following information:

Use the -a acc_chk option to simulate framework faults in an errdef.