From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis

被引：114
作者：
Harman, Mark [1 ,2 ]
O'Hearn, Peter [1 ,2 ]
机构：
[1] Facebook London, London, England
[2] UCL, London, England
来源：
2018 IEEE 18TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM) | 2018年
关键词：
SOFTWARE; MUTATION; SELECTION; TESTABILITY; BARRIERS; ADOPTION;
D O I：
10.1109/SCAM.2018.00009
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes some of the challenges and opportunities when deploying static and dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz Technologies at Facebook, each of which started life as a research-led start-up that was subsequently deployed at scale, impacting billions of people worldwide. The paper identifies open problems that have yet to receive significant attention from the scientific community, yet which have potential for profound real world impact, formulating these as research questions that, we believe, are ripe for exploration and that would make excellent topics for research projects.
引用
收藏
页码：1 / 23
页数：23
相关论文
共 136 条
[1]  
Acharya M, 2011, 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), P746, DOI 10.1145/1985793.1985898
[2]  
Adamopoulos K, 2004, LECT NOTES COMPUT SC, V3103, P1338
[3]  
Allamanis M., 2016, CORR
[4]  
Alshahwan N., 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, P3, DOI 10.1109/ASE.2011.6100082
[5]  
Anand S, 2008, LECT NOTES COMPUT SC, V4963, P367, DOI 10.1007/978-3-540-78800-3_28
[6]   An orchestrated survey of methodologies for automated software test case generation [J].
Anand, Saswat ;
Burke, Edmund K. ;
Chen, Tsong Yueh ;
Clark, John ;
Cohen, Myra B. ;
Grieskamp, Wolfgang ;
Harman, Mark ;
Harrold, Mary Jean ;
McMinn, Phil ;
Bertolino, Antonia ;
Li, J. Jenny ;
Zhu, Hong .
JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (08) :1978-2001
[7]   An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing [J].
Androutsopoulos, Kelly ;
Clark, David ;
Dan, Haitao ;
Hierons, Robert M. ;
Harman, Mark .
36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, :573-583
[8]  
[Anonymous], 2016, INT S SOFTW TEST AN
[9]  
[Anonymous], 5 INT WORKSH MUT AN
[10]  
[Anonymous], 2015, ISSTA
12345678910