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 条

[41] A New Test Point Selection Method for Analog Circuit
Zhao, Dongsheng
He, Yuzhu
JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2015, 31 (01): : 53 - 66
[42] General Linear Hypothesis Test: a Method for Algorithm Selection
Singerman, Paul
Blasch, Erik
Giansiracusa, Mike
Ezekiel, Soundararajan
GEOSPATIAL INFORMATICS, FUSION, AND MOTION VIDEO ANALYTICS VII, 2017, 10199
[43] A One-Pass Test-Selection Method for Maximizing Test Coverage
Xue, Cheng
Blanton, R. D.
2015 33RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2015, : 621 - 628
[44] Multi-state system test modeling and test point selection method
Wang P.
Yu Y.
Li X.
Liu C.
Sun Y.
Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2022, 54 (06): : 54 - 62
[45] Data-Driven Optimal Test Selection Design for Fault Detection and Isolation Based on CCVKL Method and PSO
Li, Yang
Chen, Hongtian
Lu, Ningyun
Jiang, Bin
Zio, Enrico
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2022, 71
[46] Test method selection, validation against field data, and predictive modelling for impact evaluation of stabilised waste disposal
van der Sloot, Hans A.
van Zomeren, Andre
Meeussen, Johannes C. L.
Seignette, Paul
Bleijerveld, Rob
JOURNAL OF HAZARDOUS MATERIALS, 2007, 141 (02) : 354 - 369
[47] A Feature Selection Method of Power Consumption Data
Li, Changguo
Zu, Yunxiao
Hou, Bin
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2016, PT I, 2016, 9786 : 547 - 554
[48] Training data selection method for adaptive beamforming
Dai, Baoquan
Wang, Tong
Bai, Tao
Wu, Jianxin
Bao, Zheng
ELECTRONICS LETTERS, 2014, 50 (17) : 1242 - 1243
[49] A Composite Method for Feature Selection of Microarray Data
Li, Zejun
Yang, Ang
Chen, Xia
Zeng, Lijun
Cao, Tao
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2014, 11 (02) : 472 - 476
[50] A model selection test for bivariate failure-time data
Chen, Xiaohong
Fan, Yanqin
ECONOMETRIC THEORY, 2007, 23 (03) : 414 - 439

← 1 2 3 4 5 →