A METHOD FOR TEST DATA SELECTION

被引：0
|
作者：
VELASCO, FRD [1 ]
机构：
[1] WANG INST,TYNGSBORO,MA
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1987年 / 7卷 / 02期
关键词：
COMPUTER PROGRAMMING;
D O I：
10.1016/0164-1212(87)90013-6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Two methods have been traditionally proposed for program validation: verification and testing. In verification (formal or informal), the program source code is examined, and through this examination, the programmer convinces himself that the program is correct. In testing, the programmer performs a set of experiments that consist of feeding the program with input values and observing its output. This report presents a method for selecting test data that uses reasoning to derive test cases. The method relies on information about the program provided by the programmer in the form of assertions. The method is illustrated with several examples.
引用
收藏
页码：89 / 97
页数：9
相关论文
共 50 条
  • [21] RECENT DATA ON MASS SELECTION METHOD
    LECOCHEC, F
    ANNALES DE L AMELIORATION DES PLANTES, 1972, 22 (04): : 389 - 397
  • [22] Selection and Evaluation of Test Data Based on Genetic Programming
    Maria Claudia F.P. Emer
    Silvia Regina Vergilio
    Software Quality Journal, 2003, 11 : 167 - 186
  • [23] DATA-FLOW ORIENTED TEST SELECTION FOR LOTOS
    VANDERSCHOOT, H
    URAL, H
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (07): : 1111 - 1136
  • [24] AUTOMATIC PEAK DETECTOR FOR VIBRATION TEST DATA SELECTION
    NNAGY, FL
    TAYLOR, SR
    ELECTRONIC ENGINEERING, 1968, 40 (489): : 640 - &
  • [25] Selection and evaluation of test data based on genetic programming
    Emer, MCFP
    Vergilio, SR
    SOFTWARE QUALITY JOURNAL, 2003, 11 (02) : 167 - 186
  • [26] HINTS ON TEST DATA SELECTION - HELP FOR PRACTICING PROGRAMMER
    DEMILLO, RA
    LIPTON, RJ
    COMPUTER, 1978, 11 (04) : 34 - 41
  • [27] Uncertainty with the Gamma Test for Model Input Data Selection
    Han, Dawei
    Yan, Weizhong
    Nia, Alireza Moghaddam
    2010 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS IJCNN 2010, 2010,
  • [28] An efficient method for compressing test data
    Yamaguchi, T
    Tilgner, M
    Ishida, M
    Ha, DS
    ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, 1997, : 79 - 88
  • [29] Test method evaluation experiments & data
    Nigh, P
    Gattiker, A
    INTERNATIONAL TEST CONFERENCE 2000, PROCEEDINGS, 2000, : 454 - 463
  • [30] SOME EXPLORATORY INDEXES FOR SELECTION OF A TEST EQUATING METHOD
    JAEGER, RM
    JOURNAL OF EDUCATIONAL MEASUREMENT, 1981, 18 (01) : 23 - 38
12345