近年来，高效地测试自动化越来越突显其在软件测试过程中的重要性。测试自动化能够有效地降低测试开销和提高测试复用的水平，还可以弥补手工测试中测试充分度低、测试用例数量不足等缺陷。 由于软件技术的不断发展，新的测试对象和测试实施环境的改变使得原有的测试自动化方法与工具难以直接使用。特别是在构件软件的开发与复用中，开发者所发布的构件信息中能用于黑盒测试的往往有限，构件的分布式使用方式也使得测试过程的实施更加复杂化。这些问题在近来年被广泛应用的EJB构件技术中也同样存在。 为更有效地实施针对EJB构件的测试自动化，本文提出了一个以测试规约的自动验证为基础的EJB构件黑盒测试方案。主要包括以下内容： 基于测试规约的构件功能自动验证：首先依据测试者对测试规约的描述，生成可执行的EJB构件远程客户端检测程序与相应的测试数据，然后自动地执行测试，通过在测试执行中判断是否违反了测试规约来达到对构件功能的验证。 基于规约变异的测试数据分析：以类似于源程序变异的方式对测试规约进行变异，通过分析测试规约的变异测试充分度，估算对源程序所能达到的测试充分度，并筛选出更有效的测试数据。 在此基础上，本文设计并实现了一个基于Internet的开放式构件黑盒测试平台，以提供对相关测试信息与测试结果的管理功能。在该平台中，用户可以方便地设定测试目标、组织和实施测试过程，多用户间也可以共享测试信息。实例研究验证了上述方案的可行性。