并发软件开发方法学的研究

并发软件系统中各节点既独立又统一,并发地完成系统功能,这种并发性导致系统执行结常常具有不确定性,使系统开发人员很难设计测试用例,又因为并发软件常用于要求较高的环,提供保证