Reachability testing is a valid method for concurrent software testing.

• 可达性测试是并发软件测试中的一种有效方法。