Experiences with program static analysis

被引：6
|
作者：
Ogasawara, H [1 ]
Aizawa, M [1 ]
Yamada, A [1 ]
机构：
[1] Toshiba Corp, Syst & Software Res Labs, Saiwai Ku, Kawasaki, Kanagawa 2108501, Japan
来源：
FIFTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM - METRICS 1998, PROCEEDINGS | 1998年
关键词：
program static analysis; code review; quantitative analysis;
D O I：
10.1109/METRIC.1998.731235
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Conventionally, software quality has been measured mainly by the number of test items, the test coverage, and the number of faults in the test phase. This approach of relying heavily on testing is not satisfactory from a quality assurance viewpoint. Since software is becoming larger and more complex, quality must be assured from the early phases, such as requirements analysis, design and coding. Code reviews are effective to build in software quality from the coding phase. However, for a large-scale software development, there are limitations in covering all the programs. The advantage of using static analysis tools is the capability to detect fault-prone programs easily and automatically In this paper, we describe the effective use of a static analysis tool, and show the effectiveness of the static analysis technique.
引用
收藏
页码：109 / 112
页数：4
相关论文
共 50 条
  • [21] Multilevel static analysis for improving program quality
    Belevantsev, A. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2017, 43 (06) : 321 - 336
  • [22] Software Quality Assurance by Static Program Analysis
    Wilhelm, Reinhard
    SOFTWARE QUALITY: MODEL-BASED APPROACHES FOR ADVANCED SOFTWARE AND SYSTEMS ENGINEERING, 2014, 166 : 1 - 11
  • [23] Neural Program Generation Modulo Static Analysis
    Mukherjee, Rohan
    Wen, Yeming
    Chaudhari, Dipak
    Reps, Thomas W.
    Chaudhuri, Swarat
    Jermaine, Chris
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 34 (NEURIPS 2021), 2021, 34
  • [24] Practical program verification by means of static analysis
    Seidl H.
    Informatik-Spektrum, 2010, 33 (05) : 484 - 488
  • [25] Use of static analysis during program development
    Marakakis, EI
    Proceedings of the Eighth IASTED International Conference on Artificial Intelligence and Soft Computing, 2004, : 66 - 71
  • [26] Android Security via Static Program Analysis
    Shen, Feng
    MOBISYS'17 PHD FORUM: PROCEEDINGS OF THE 2017 WORKSHOP ON MOBISYS 2017 PH.D. FORUM, 2017, : 19 - 20
  • [27] STATIC ANALYSIS - AN AID TO PROGRAM MAINTENANCE AND DEVELOPMENT
    NARAYANASWAMY, K
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B492 - B499
  • [28] Neural Program Generation Modulo Static Analysis
    Mukherjee, Rohan
    Wen, Yeming
    Chaudhari, Dipak
    Reps, Thomas W.
    Chaudhuri, Swarat
    Jermaine, Chris
    Advances in Neural Information Processing Systems, 2021, 23 : 18984 - 18996
  • [29] Improving the testing process by program static analysis
    Kikuchi, N
    Kikuno, T
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 195 - 201
  • [30] An Abstract Specification Language for Static Program Analysis
    Vistein, Michael
    Ortmeier, Frank
    Reif, Wolfgang
    Huuck, Ralf
    Fehnker, Ansgar
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 181 - 197
12345