Runtime Testability in Dynamic Highly-Availability Component-based Systems