###
DOI:
Journal of Software:1995.6(6):366-371

基于结构化功能规格说明的测试方法和工具
林振,吴定一
(华东理工大学计算机科学系,上海,200237)
TEST METHOD AND TOOLS BASED ON STRUCTURED FUNCTIONAL SPECIFICATION
Lin Zhen,Wu Dingyi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2584   Download 2856
Received:August 02, 1993    Revised:November 18, 1993
> 中文摘要: 由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率.本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法,然后阐述如何基于该方法设计井实现一个测试工具环境,以提高测试者的工作效率,减轻测试者的负担.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

林振,吴定一.基于结构化功能规格说明的测试方法和工具.软件学报,1995,6(6):366-371

Lin Zhen,Wu Dingyi.TEST METHOD AND TOOLS BASED ON STRUCTURED FUNCTIONAL SPECIFICATION.Journal of Software,1995,6(6):366-371