| 基于结构化功能规格说明的测试方法和工具 |
| |
| 引用本文： | 林振,吴定一.基于结构化功能规格说明的测试方法和工具[J].软件学报,1995,6(6):366-371. |
| |
| 作者姓名： | 林振 吴定一 |
| |
| 作者单位： | 华东理工大学计算机科学系,上海,200237;华东理工大学计算机科学系,上海,200237 |
| |
| 摘 要： | 由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．
|
| 关 键 词： | 软件测试，软件规格说明，计算机辅助软件测试，测试工具环境 |
| 收稿时间： | 8/2/1993 12:00:00 AM |
| 修稿时间： | 1993/11/18 0:00:00 |
TEST METHOD AND TOOLS BASED ON STRUCTURED FUNCTIONAL SPECIFICATION |
| |
| Lin Zhen and Wu Dingyi.TEST METHOD AND TOOLS BASED ON STRUCTURED FUNCTIONAL SPECIFICATION[J].Journal of Software,1995,6(6):366-371. |
| |
| Authors: | Lin Zhen and 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. |
| |
| Keywords: | Software testing software specification computer-aided software testing test tool environment |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
