软件测试的直接目的是尽可能发现该软件中的潜在缺陷，这是保证软件质量的关键。软件测试的工作往往占软件开发总工作量的40％以上，并且软件缺陷的发现时间同缺陷修正的代价呈幂次关系。一套行之有效的软件测试方法及技术是在指定的期限内，投入适当的费用和合理的人力物力，避免无效或低效的重复测试，保证测试质量，适时终止测试，最终为及时推出优秀的软件产品提供科学、实用的依据。软件测试逐步受到软件供应商的重视，渐渐成为应用研究的热点。本论文对系统测试方法进行了探索，具有一定的理论意义。而且，本文为软件测试业务外包提供了一个现实可行的依据，对软件公司将主要精力放在某行业的应用软件开发、降低成本、提高核心竞争力提供了一种途径，具有重大的经济价值。 本论文在国内某著名公司的实习实践的基础上，首先对软件系统测试阶段通常用到的方法、技术与技巧进行了系统的阐述，并对其中可操作性不强的地方进行了实用化处理；然后以电信软件CSTA的测试为例，指出这些常用测试方法是以用户需求相当完整清晰为前提的，于是提出将形式化方法引入系统测试。系统测试中得形式化方法是将客户需求用数学规约表达出来，推导出各项功能得预期输出结果，以完善客户需求，不仅为测试工作提供一个较为客观的标准，而且可以消除规约中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等，提高发现问题的工作效率和准确度，提高软件测试质量的保障系数。该方法在实习期间用到CSTA系统测试中，取得了明显效果。 本论文共包含七章的内容。第一章介绍了软件测试的发展状况，阐明了本课题的研究内容。第二章分析了软件的测试基础并提出了软件测试工程师应有的职业思想——不断变换测试视角，并对测试视角中质疑技巧进行了着重论述。第三章介绍了软件测试中的策略问题。第四章总结了常用的软件测试技术：黑盒测试技术和白盒测试技术。第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。第六章结合软件系统测试的需要，给出了一个用RAISE形式化CSTA的实例，并根据该实例剖析了系统测试中的形式化技术。第七章以实习期间在系统测试中运用该方法得到的数据，论证了形式化方法在系统测试中的优点和存在的不足。