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 条
  • [31] A Novel Probe Selection Method for MIMO OTA Test
    Wang, Jinyu
    Ma, Nan
    Liu, Baoling
    2022 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), 2022, : 1557 - 1562
  • [32] Optimized test selection method considering critical faults
    Ye W.
    Lü X.
    Lü X.
    Ma L.
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2019, 41 (07): : 1583 - 1589
  • [33] SELECTION OF TEST SERIES BY A MODIFIED MULTIDIMENSIONAL MAPPING METHOD
    WOOTTON, R
    JOURNAL OF MEDICINAL CHEMISTRY, 1983, 26 (02) : 275 - 277
  • [34] Selection and calculation of risks in Bayes sequential test method
    Liu, Qi
    Feng, Wen-Zhe
    Wang, Nan
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2013, 35 (01): : 223 - 229
  • [35] A framework for selection of test method for safety critical valves
    Abrahamsen, E. B.
    Roed, W.
    ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 763 - 769
  • [36] Test sequence selection method for video criticality evaluation
    Yang, Yingyun
    Chen, Sijin
    INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND INTELLIGENT CONTROL (IPIC 2021), 2021, 11928
  • [37] Adaptive Selection Method for Generalized Likelihood Ratio Test
    Park, Minjae
    Lee, Hwang Soo
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2015, 51 (04) : 2615 - 2626
  • [38] THE WHERRY-DOOLITTLE TEST SELECTION METHOD IN FORTRAN
    JASPEN, N
    EDUCATIONAL AND PSYCHOLOGICAL MEASUREMENT, 1963, 23 (03) : 599 - 601
  • [39] A hybrid method for feature selection in the context of Alternate Test
    Leger, Gildas
    Barragan, Manuel J.
    2015 INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2015,
  • [40] A New Test Point Selection Method for Analog Circuit
    Dongsheng Zhao
    Yuzhu He
    Journal of Electronic Testing, 2015, 31 : 53 - 66
12345