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 条
  • [31] Innovation and the need for evaluation.
    Cole, RS
    Towns, M
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2001, 221 : U260 - U260
  • [32] CAPACITOR LOSS EVALUATION.
    Bock, Larry E.
    Electric Forum, 1979, 5 (01): : 28 - 30
  • [33] ROADS TO SYSTEMS EVALUATION.
    Enrick, Norbert L.
    Enrick, R.Neal
    Industrial Mathematics, 1987, 37 (pt 2): : 195 - 211
  • [34] Policy Evaluation. An Introduction
    Krapp, Stefanie
    ZEITSCHRIFT FUR EVALUATION, 2023, 22 (02): : 336 - 342
  • [35] COMPUTERS, DIAGNOSIS AND EVALUATION.
    Adams, Frank H.
    Physicians & Computers, 1984, 2 (08): : 23 - 25
  • [36] Evaluation. A systematic Handbook
    Stockmann, Reinhard
    Glenz, Heike
    Klaeren, Pascal
    Meiers, Ralph
    Mueller, Christoph E.
    Rech, Joerg
    Wolf, Sonja
    ZEITSCHRIFT FUR EVALUATION, 2011, 10 (02): : 325 - 329
  • [37] Blue Marble Evaluation.
    Beywl, Wolfgang
    ZEITSCHRIFT FUR EVALUATION, 2020, 19 (02): : 343 - 348
  • [38] IMAGE NOISE EVALUATION.
    Shaw, Rodney
    Proceedings of the SID, 1980, 21 (03): : 293 - 304
  • [39] Studio 130: Evaluation.
    Sweeder, RD
    Bartolin, JM
    Hessler, JA
    Gottfried, AC
    Coppola, BP
    Holl, MMB
    McKeachie, WJ
    Stewart, JR
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2003, 225 : U542 - U542
  • [40] Policy Evaluation. An Introduction
    Bussmann, Werner
    SWISS POLITICAL SCIENCE REVIEW, 2022, 28 (04) : 750 - 753
12345