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 条

[1] DATA SELECTION TEST METHOD FOR BETTER PREDICTION OF BUILDING ELECTRICITY CONSUMPTION
Syah, Iqbal Faridian
Abdullah, Md Pauzi
Syadli, Husna
Hassan, Mohammad Yusri
Hussin, Faridah
JURNAL TEKNOLOGI, 2016, 78 (5-7): : 67 - 72
[2] SELECTION OF THE METHOD OF HARDNESS TEST
Verdins, Gunars
Kanaska, Daina
Kleinbergs, Valdis
12TH INTERNATIONAL SCIENTIFIC CONFERENCE ENGINEERING FOR RURAL DEVELOPMENT, 2013, : 217 - 222
[3] Accuracy Improvement by Training Data Selection in Automatic Test Cases Generation Method
Ueda, Kiyoshi
Tsukada, Hikaru
2021 9TH INTERNATIONAL CONFERENCE ON INFORMATION AND EDUCATION TECHNOLOGY (ICIET 2021), 2021, : 438 - 442
[4] An efficient test pattern selection method for improving defect coverage with reduced test data volume and test application time
Wang, Zhanglei
Chakrabarty, Krishnendu
PROCEEDINGS OF THE 15TH ASIAN TEST SYMPOSIUM, 2006, : 333 - +
[5] Optimized Test Selection Method Considering Test Reliability
Ye, Wen
Lv, Xin-yi
Lv, Xiao-feng
Ma, Ling
INTERNATIONAL CONFERENCE ON MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY (ICMEIT 2018), 2018, : 488 - 493
[6] THE COMPLEXITY OF DATA FLOW CRITERIA FOR TEST DATA SELECTION
WEYUKER, EJ
INFORMATION PROCESSING LETTERS, 1984, 19 (02) : 103 - 109
[7] Efficient Propeller Selection Method for Electric UAV Using Wind Tunnel Test Data
Ryi, Jaeha
Kim, Chunghwan
Rhee, Wook
Choi, Jongsoo
PROCEEDINGS OF 2010 ASIA-PACIFIC INTERNATIONAL SYMPOSIUM ON AEROSPACE TECHNOLOGY, VOL 1 AND 2, 2010, : 149 - 152
[8] A mathematical programming method in test selection
Csondes, T
Kotnyek, B
23RD EUROMICRO CONFERENCE - NEW FRONTIERS OF INFORMATION TECHNOLOGY, PROCEEDINGS: SHORT CONTRIBUTIONS, 1997, : 8 - 13
[9] A method for modeling and test selection of interoperability
Li, Hua
Ye, Xinming
Wu, Chengyong
Wang, Long
Wang, Lingling
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (06): : 913 - 919
[10] A test sequence selection method for statecharts
Hong, HS
Kim, YG
Cha, SD
Bae, DH
Ural, H
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2000, 10 (04): : 203 - 227

← 1 2 3 4 5 →