基于结构化功能规格说明的测试方法和工具

TEST METHOD AND TOOLS BASED ON STRUCTURED FUNCTIONAL SPECIFICATION

由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．

Software testing will continue to be an important method for ensuring correctness of large scale software systems. Computer-aided software testing can greatly enhance testing power and reduce testing cost. In this paper, first presents a new powerful software test method based on structured functional specification, then depicts how to design and implement a test tool environment based on the test method.