A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems