Reachability testing is a valid method for concurrentsoftware testing.
可达性测试是并发软件测试中的一种有效方法。
2
So it is the present weakness in researches on graphical design method of concurrentsoftware.
这也是目前并发软件图形化设计方法研究中的薄弱环节。
3
With the development of concurrent system in modern software applications, the testing and debugging of concurrentsoftware have attracted more and more attentions of the programmers.