Abstract: To address the issues of state space explosion and insufficient test coverage caused by concurrent timing uncertainty in complex system software, this paper proposes a path depth-optimized ...