Reachability testing can generate and test all the partially ordered SYN-sequnces of the concurrent program with the same input and exhaust all the paths with the same input.
可达性测试在给定输入条件下能生成并测试并行程序的所有偏序同步串,从而穷尽在该输入条件下并行程序的所有运行过程。
参考来源 - 并行程序测试的关键技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Informally, a concurrent program is one that does more than one thing at a time.
非正式的并行程序是一个不超过一件事的时间。
In a concurrent program, different parts of the program can execute concurrently.
而在并发程序中，程序的不同部分可被同时执行。
Compared with the sequential program, the concurrent program is clearly more prone to error.
与顺序执行的程序相比，并发程序中显然更加容易出现错误。
应用推荐