RELIABILITY OF SYMBOLIC EVALUATION.

被引：0
|
作者：
Howden, William E.
机构：
来源：
| 1977年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The effectiveness in discovering errors of symbolic evaluation and of testing and static program analysis are studied. The techniques are applied to a diverse collection of programs and the results compared. The testing stategies that are evaluated include branch testing, structured testing and testing on input values having special properties. The static source analysis techniques that are studied include anomaly analysis and interface analysis.
引用
收藏
页码：442 / 447
相关论文
共 50 条
  • [41] Preoperative clinical evaluation.
    Gnocchi, CA
    Risso, JA
    Torn, A
    MEDICINA-BUENOS AIRES, 1997, 57 (06) : 733 - 741
  • [42] Policy Evaluation. An Introduction
    Veit, Sylvia
    POLITISCHE VIERTELJAHRESSCHRIFT, 2022, 63 (04) : 771 - 773
  • [43] SUPPLEMENTARY LICENSING: AN EVALUATION.
    May, A.D.
    Traffic Engineering and Control, 1975, 16 (04): : 162 - 167
  • [44] PROCESS MONITORING AND EVALUATION.
    FINK, ROBERT C.
    GILES, WILLIAM J.
    1982, V 25 (N 11): : 107 - 111
  • [45] Program evaluation. Forms and approaches
    Stigen, IM
    PUBLIC ADMINISTRATION, 2001, 79 (01) : 241 - 243
  • [46] Mental health outcome evaluation.
    不详
    ADMINISTRATION AND POLICY IN MENTAL HEALTH, 1998, 25 (04): : 472 - 472
  • [47] NDT METHODS OF PAVEMENT EVALUATION.
    Baladi, Gilbert Y.
    Standardization News, 1984, 12 (05): : 36 - 37
  • [48] WIRE FOR BACKPLANES: A COMPARISON AND EVALUATION.
    Crouch, Ronald A.
    Electronic Packaging and Production, 1980, 20 (04): : 137 - 140
  • [49] Impact analysis for program evaluation.
    Stum, MS
    JOURNAL OF CONSUMER AFFAIRS, 2000, 34 (02) : 371 - 373
  • [50] Soil Science and Land Evaluation.
    Geitner, Clemens
    ERDE, 2010, 141 (1-2): : 125 - 126
12345