本文对软件质量保证的重要手段——软件测试进行了论述,伴随着软件产业的发展,软件测试也逐渐走向成熟,本文首先给出一些软件测试的基本理论,如软件测试的目的和内容、软件测试的分类、软件测试的方法等,软件测试在发展的几十年里面,逐渐形成了一些被广泛接受和应用的测试模型。本文选取了几个有代表性的测试模型进行阐述,其中V模型是最为被认可和广泛应用的,V模型最早提出测试并不是一个事后弥补行为,而是一个同开发过程同样重要的过程。W模型是V模型的改进型,还属于V模型的范畴,为了解决V模型的问题,X模型和H模型提出测试应该在准备好后马上进行,与开发反复迭代进行,并指出软件测试不仅仅指测试的执行过程本身,还应该包括测试准备活动。随着软件测试研究的进展,软件测试提出了一些比较前沿的理论,如测试驱动开发理论提出先有测试,再写代码,以不断的测试推动代码的开发,既简化了代码,又保证了软件质量。自动化测试要求以各种自动化的测试工具取代测试人员进行一些重复的、机械的工作,它可以有效地提高测试效率,提高软件的被信任程度。探索性测试认为不必非要有设计好的测试用例,就可以进行一些灵感突发式的测试,探索性测试可以应用在一些特定场合,与传统的测试相辅相成。面向对象的软件测试针对面向对象的几个新特点,提出了不同的测试方法。基于模型的测试是利用模型来生成相应的测试用例,然后根据实际结果和原先预想的结果的差异来测试系统。最后,本文给出软件测试的几个发展方向,如测试与开发相融合,探索性测试和自动化测试将被大量采用,软件在设计时应该考虑可测性等。