No, that's the problem. The individual items in the specification were written in a human lifetime. Full testing of the specification requires consideration of the power set of those items.

(I mistated earlier when I said unit tests. Determining if the right order of events is fired is probably a functional or integration test. And full coverage on those is the problem of covering the power set of features of a system.)