本文对软件质量保证的重要手段--软件测试进行了论述,首先给出一些基本理论,随着软件测试研究的进展,软件测试提出了一些比较前沿的理论。如测试驱动开发,探索性测试,基于模型的测试,自动化测试和基于构件的软件测试等。本文重点研究构件测试问题。构件和基于构件的软件开发是目前软件工程领域研究的热点,构件测试类似于传统的单元测试,基于构件的软件测试则类似于传统的集成测试方法。软件采用构件是一种为实现可扩展和可靠应用的现代化方式,为确保高可靠性,构件应用一定要经过验证,如模型检查,来证明它具有一定的特性。由于应用的执行常常过于复杂而难以直接证明,因此,一个抽象执行的模型被使用。行为协议是一个为软件构件的行为建模的平台。使用详尽的模型状态空间来评价复合构件间的横向依从和纵向依从关系是相当费时的,目前协议检查机版本的限制状态空间在10~8的大小内,在某些情况下是不够的,相比较而言,SPIN是目前最先进的模型检测机。在这篇文章中,提出了一种方法,将行为协议转变成Promela(过程元语言Process Meta Language的缩写)作为SPIN模型检测机的输入,采用SPIN来对构件进行验证。由于使用了代码来描述构件行为,就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。通过上述方法对由复合构件组成的软件进行测试,并说明所提出的转换规则的有效性。