随着网络技术和其他相关技术的飞速发展与成熟,分布式系统大量涌现,同时面向对象技术的众多优点使得其广泛应用,尤其是二者结合后的新特性,极大地扩展了软件的应用领域,提高了软件的性能和生产效能,为软件产业的发展开辟了一个新的境界。然而,分布式系统特别是分布式系统和面向对象技术结合在一起为软件的生产带来机遇的同时也带来了测试的巨大挑战。分布式系统是以资源共享、提高安全性等为主要目的。它具有很多明显的新特性,如并发性、故障独立性、缺乏全局时钟、异构性、安全性、可扩展性、透明性等。因此针对这些新的特性怎样有效的进行分布式系统的测试成为软件领域急需解决的一个问题。首先,本文研究了分布式系统的相关概念和特征,以及分布式和面向对象结合后的新特性。并针对这些特性阐述了传统的测试方法和测试过程对于分布式系统的不足,另外将并发反馈机制引入到测试过程提出了新的改进的测试过程模型。其次,在研究分布式系统常用的测试方法和技术的基础上本文重点研究了基于事件约束的分布式系统测试,从程序规约出发在分析传统CSPE约束和E-CSPE约束的基础上将后决事件约束和后决事件排斥约束引入到E-CSPE中提出了改进的E-CSPE约束。改进后的E-CSPE具有更强的事件描述能力和更强的查错能力。最后,将上述研究成果和理论应用到一个实际项目“轧辊信息管理与生产监测系统”的开发和测试过程中,取得了较好的效果。