###
DOI:
Journal of Software:1997.8(4):297-302

Ada软件测试用例生成工具
奚红宇,徐红,高仲仪
(北京航空航天大学软件工程研究所,北京,100083)
ADA SOFTWARE TEST CASE GENERATION TOOL
XI Hongyu,XU Hong,GAO Zhongyi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2955   Download 3496
    Revised:April 16, 1996
> 中文摘要: 软件测试是软件开发过程的一个重要环节,它的主要工作是测试用例的选择.由于人为地选择测试用例带有很大的盲目性和倾向性,因此开发一个能够自动生成测试用例的工具是十分必要的.本文阐述了软件测试用例生成的一些概念和方法,重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用,并通过一个实例介绍了Ada软件测试用例生成工具TCGT(testcasegenerationtool).
中文关键词: 软件工具  软件测试  测试用例  函数最小化  插装  
Abstract:Software testing,whose main task includes the selection of test cases,is verv important in software development.Since selecting test cases manually is USuallv blind and with great tendency,it is necessary to develop a tool which can generate test cases automatically.This paper first introduces some concepts and methods used in Ada software test case generation,and then puts emphasis on the application of function minimization method and instrumentation techniques,finally it describes the design and implementation of TCGT——the Ada software test case generation tool.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家“八五”攻关项目基金资助. 本文研究得到国家“八五”攻关项目基金资助.
Foundation items:
Reference text:

奚红宇,徐红,高仲仪.Ada软件测试用例生成工具.软件学报,1997,8(4):297-302

XI Hongyu,XU Hong,GAO Zhongyi.ADA SOFTWARE TEST CASE GENERATION TOOL.Journal of Software,1997,8(4):297-302