Testability analysis of hierarchical finite state machines
F. Martinolle, J.-C. Geffroy, B. Soulas · 2002
The authors present a hierarchical analysis of interconnected finite state machines helpful for testability evaluation. Formal operators determine the controllable and observable functional parts of the modules of the hierarchy; several kinds of functional redundancies are deduced and their causes are diagnosed. A prototype written in PROLOG validates these concepts.>