[1]陈钢,王能斌.程序测试与一个程序测试工具[J].东南大学学报(自然科学版),1983,13(2):55-65.[doi:10.3969/j.issn.1001-0505.1983.02.008]
 Chen Gang Wang Neng-bin.Program Testing and a Testing Tool[J].Journal of Southeast University (Natural Science Edition),1983,13(2):55-65.[doi:10.3969/j.issn.1001-0505.1983.02.008]
点击复制

程序测试与一个程序测试工具()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
13
期数:
1983年第2期
页码:
55-65
栏目:
本刊信息
出版日期:
1983-06-20

文章信息/Info

Title:
Program Testing and a Testing Tool
作者:
陈钢王能斌
undefined
Author(s):
Chen Gang Wang Neng-bin
关键词:
测试数据 测试工具 程序测试 目标程序 功能测试方法 结构测试 转移函数 分支 微计算机 软件可靠性
分类号:
+
DOI:
10.3969/j.issn.1001-0505.1983.02.008
摘要:
在研制计算机软件时,如何提高软件可靠性愈来愈成为一个重要的问题。研究程序测试是当前国际上为解决此问题所作的努力之一。目前程序测试问题无论在理论上或实践上都未获得满意的解决。本文介绍了程序测试的一般概念和方法。提出一种直接产生结构测试数据的方法。本文还介绍了一个程序测试工具。该测试工具可测试用扩充 BASIC 语言书写的程序,尤其适用于批改学生的程序作业。其原理和实现方法也可推广到用其他高级语言书写的程序。该测试工具已在11/B 微计算机上实现,具有较好的测试效果。
Abstract:
Software reliability has been becoming a more and more important problem in the field of software engineering.the improvement of the methods of program testing is one of the efforts made in the world to ensure software reliabilily.At present,no satisfactory solution to program testing has been found yet in theory and practice.This paper first gives a general survey of some important concepts and methods as well as the state of the art of the development of testing tools.Secondly,the structured testing is discussed in more detail,and a heuristic method to generate structured teste data is prese- nted.Finally,a program testing tool is introduced.It can be used to test programs written in BASIC,in particular the students’programs.The principle and method embodied in this testing tool are applicable to the program testing tools for testing programs in other programming languages as well.

相似文献/References:

[1]钱为民,谢文虎.过程控制计算机软件包的测试系统[J].东南大学学报(自然科学版),1980,10(3):13.[doi:10.3969/j.issn.1001-0505.1980.03.002]
 Qian Wei-min,Xie Wen-hu.Testing System for SoftWare Packages of the Process-Control Computer[J].Journal of Southeast University (Natural Science Edition),1980,10(2):13.[doi:10.3969/j.issn.1001-0505.1980.03.002]

更新日期/Last Update: 2013-05-01