主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
林振,吴定一.基于结构化功能规格说明的测试方法和工具.软件学报,1995,6(6):366-371
基于结构化功能规格说明的测试方法和工具
TEST METHOD AND TOOLS BASED ON STRUCTURED FUNCTIONAL SPECIFICATION
投稿时间:1993-08-02  修订日期:1993-11-18
DOI:
中文关键词:  软件测试,软件规格说明,计算机辅助软件测试,测试工具环境
英文关键词:Software testing, software specification, computer-aided software testing,test tool environment.
基金项目:
作者单位
林振 华东理工大学计算机科学系,上海,200237 
吴定一 华东理工大学计算机科学系,上海,200237 
摘要点击次数: 2810
全文下载次数: 3013
中文摘要:
      由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率.本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法,然后阐述如何基于该方法设计井实现一个测试工具环境,以提高测试者的工作效率,减轻测试者的负担.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利