Formal specifications-based automation of system testing of hardware designs

Abstract

This paper touches upon the problem of the system testing of interconnected hardware modules when the resulted hardware design cannot be verified by means of module-level techniques due to its complexity. Brief analysis of the ways to develop test systems based on formal specifications is made in the paper. Also the method of verification is suggested which extends the module-based approach implementing the UniTESK technology.

Keywords

• <i>системное тестирование взаимосвязанных модулей аппаратуры</i>
• <i>формальные спецификации</i>
• <i>технология unitesk</i>