Experimental program analysis

被引：3
作者：
Ruthruff, Joseph R. [1 ]
Elbaum, Sebastian [1 ]
Rothermel, Gregg [1 ]
机构：
[1] Univ Nebraska, Dept Comp Sci & Engn, Lincoln, NE 68588 USA
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 2010年 / 52卷 / 04期
关键词：
Experimental program analysis; Program analysis; Experimentation; SOFTWARE;
D O I：
10.1016/j.infsof.2009.10.002
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis techniques can be formulated as formal experiments. This article reports the results of research exploring this suggestion. Building on principles and methodologies underlying the use of experimentation in other fields, we provide descriptive and operational definitions of experimental program analysis, illustrate them by example, and describe several differences between experimental program analysis and experimentation in other fields. We also explore the applicability of experimental program analysis to three software engineering problems: program transformation, program debugging, and program understanding. Our findings indicate that experimental program analysis techniques can provide new and potentially improved solutions to these problems, and suggest that experimental program analysis offers a promising new direction for program analysis research. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码：359 / 379
页数：21
相关论文
共 51 条
  • [1] [Anonymous], P 14 INT S FDN SOFTW
  • [2] [Anonymous], 2014, SOFTWARE METRICS RIG
  • [3] [Anonymous], P INT A ERSH MEM C P
  • [4] ARNOLD M, 2001, P ACM SIGPLAN 2001 C, P168, DOI DOI 10.1145/378795.378832
  • [5] Ball T, 1999, LECT NOTES COMPUT SC, V1687, P216, DOI 10.1145/318774.318944
  • [6] BOWMAN M, 2007, P 23 IEEE INT C SOFT, P124
  • [7] Box GEP, 1978, SERIES PROBABILITY M
  • [8] CHILDERS BR, 2003, NAT SCI FDN WORKSH N
  • [9] CHOI JD, 2002, P INT S SOFTW TEST A, P210
  • [10] The AETG system: An approach to testing based on combinatorial design
    Cohen, DM
    Dalal, SR
    Fredman, ML
    Patton, GC
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (07) : 437 - 444
123456