Patent ID: 7089534
Filing Date: 2006-08-08
Classification: G06F

Abstract:
1. An apparatus for verification of a system implementation tangibly embodied on a computer-readable medium, comprising: a generator for generating a test program for execution thereof on a system-under-test; a synchronizer that organizes a plurality of test cases of said test program into discrete synchronization steps; an execution engine responsive to said synchronizer for stimulating said system-under-test according to said test program, to cause said system-under-test to concurrently execute said test cases synchronously in said synchronization steps; an automatic pattern generator comprising a finite state machine that outputs synchronization patterns to said execution engine, said synchronization patterns providing a predetermined independence coverage degree for said test cases; and a validation engine for comparing a response of said system-under-test upon completion of one of said synchronization steps with a predicted result.