Signature Analysis is increasingly used as a tool for IC Testing. The design of the Signature Registers for minimum aliasing, however, is still based on first-order reasonings or numerical simulations, and detailed models of aliasing probability are stiII lacking. In this paper, we present an exact statistical theory that enables to devise criteria for the design of registers and test patterns and to derive an analytical model of aliasing error probability.