THE RELIABILITY OF THE TESTING OF PROGRAMS

被引：0
|
作者：
ZAITSEV, AV
机构：
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1989年 / 15卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The problem is put of comparing completeness criteria of the testing of appropriate test sets, from the viewpoint of reliability. To solve it, there are proposed: a measure of the reliability of the test set (TS), a way to measure the reliability of TS, a measure of reliability of the criterion of completeness of TS, and a way to measure the reliability of the criteria of completeness of TS for given programs. A new criterion of the completeness of TS is proposed and the reliability of this criterion and criterion Cl is compared.
引用
收藏
页码：266 / 270
页数：5
相关论文
共 50 条
  • [21] Management and reliability of construction programs
    Velichkin, V. Z.
    MAGAZINE OF CIVIL ENGINEERING, 2014, 51 (07): : 74 - 79
  • [22] RELIABILITY IN ADVANCED DEVELOPMENT PROGRAMS
    YAROSH, MM
    NUCLEAR SAFETY, 1964, 6 (02): : 160 - &
  • [23] COMMERCIAL RELIABILITY PREDICTION PROGRAMS
    BOWLES, JB
    KLEIN, LA
    PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1990, (SYM): : 450 - 455
  • [24] On Testing Constraint Programs
    Lazaar, Nadjib
    Gotlieb, Arnaud
    Lebbah, Yahia
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP 2010, 2010, 6308 : 330 - +
  • [25] PHILOSOPHY OF TESTING PROGRAMS
    BRAND, BG
    JOURNAL OF PAINT TECHNOLOGY, 1969, 41 (530): : 197 - &
  • [26] FORAGE TESTING PROGRAMS
    BURLESON, RE
    JOURNAL OF DAIRY SCIENCE, 1963, 46 (04) : 370 - &
  • [27] OPTIMIZATION PROGRAMS TESTING
    DMITRISHIN, RV
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1978, 21 (06): : 106 - 109
  • [28] TESTING BATCH PROGRAMS
    GRAEF, M
    GREILLER, R
    ELECTRONISCHE DATENVERARBEITUNG, 1970, 12 (03): : 118 - &
  • [29] THE TESTING AND VALIDATION OF PROGRAMS
    KNIGHT, MAG
    PROGRESS IN LEARNING DISABILITIES, 1965, 2 (02): : 109 - 117
  • [30] On Testing Quantum Programs
    Miranskyy, Andriy
    Zhang, Lei
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019), 2019, : 57 - 60
12345