Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications