| 摘要: |
| 由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担． |
| 关键词: 软件测试，软件规格说明，计算机辅助软件测试，测试工具环境 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| TEST METHOD AND TOOLS BASED ON STRUCTURED FUNCTIONAL SPECIFICATION |
|
Lin Zhen,Wu Dingyi
|
| Abstract: |
| 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. |
| Key words: Software testing, software specification, computer-aided software testing,test tool environment. |
