What descriptions of the firmware are used in test cases?