Testing the control part of peripheral interfaces

Testing peripheral interfaces of computers is the challenging problem in the context of their complexity and multi layer structure. This paper presents our experience with a new systematic approach to generate tests for interfaces and check testability features. It was verified for real interfaces.