A Systematic Approach to the Test of Combined HW/SW Systems

Provided by: edaa
Topic: Hardware
Format: PDF
Current system verification approaches exhibit a major gap between requirements and formal property definition. However, today widely accepted means for natural language formalization and formal property definition do not exist as a target for automated test execution with support of verification planning. The Classification Tree Method for Embedded Systems (CTM/ES) has been introduced for the test definition of automotive systems to fill this gap. However, it does not sufficiently cover all aspects for automatic test-bench generation.

Find By Topic