When developing a high-quality software solution for industrial strength real-time systems, the critical software components are indispensable. For such kinds of systems, compromising the testing time due to market ...