Robustness Testing of Autonomy Software

被引:39
作者
Hutchison, Casidhe [1 ]
Zizyte, Milda [2 ]
Lanigan, Patrick E. [1 ]
Guttendorf, David [1 ]
Wagner, Michael [1 ]
Le Goues, Claire [3 ]
Koopman, Philip [2 ]
机构
[1] Carnegie Mellon Univ, Natl Robot Engn Ctr, Pittsburgh, PA 15213 USA
[2] Carnegie Mellon Univ, Dept Elect & Comp Engn, Pittsburgh, PA 15213 USA
[3] Carnegie Mellon Univ, Sch Comp Sci, Pittsburgh, PA 15213 USA
来源
2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - SOFTWARE ENGINEERING IN PRACTICE TRACK (ICSE-SEIP 2018) | 2018年
关键词
dependability; robustness testing; safety-critical systems; autonomy; FAULT;
D O I
10.1145/3183519.3183534
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
As robotic and autonomy systems become progressively more present in industrial and human-interactive applications, it is increasingly critical for them to behave safely in the presence of unexpected inputs. While robustness testing for traditional software systems is long-studied, robustness testing for autonomy systems is relatively uncharted territory. In our role as engineers, testers, and researchers we have observed that autonomy systems are importantly different from traditional systems, requiring novel approaches to effectively test them. We present Automated Stress Testing for Autonomy Architectures (ASTAA), a system that effectively, automatically robustness tests autonomy systems by building on classic principles, with important innovations to support this new domain. Over five years, we have used ASTAA to test 17 real-world autonomy systems, robots, and robotics-oriented libraries, across commercial and academic applications, discovering hundreds of bugs. We outline the ASTAA approach and analyze more than 150 bugs we found in real systems. We discuss what we discovered about testing autonomy systems, specifically focusing on how doing so differs from and is similar to traditional software robustness testing and other high-level lessons.
引用
收藏
页码:276 / 285
页数:10
相关论文
共 47 条
[1]  
[Anonymous], 2011, THESIS
[2]  
[Anonymous], 2011, Real-Time Systems: Design Principles for Distributed Embedded Applications
[3]  
Assistant Secretary of Defense for Research and Engineering (ASD(R&E)), 2011, TECHNICAL REPORT
[4]  
Banks G, 2006, LECT NOTES COMPUT SC, V4176, P343
[5]  
Bertoni A, 2003, LECT NOTES COMPUT SC, V2710, P1
[6]   How UGVs physically fail in the field [J].
Carlson, J ;
Murphy, RR .
IEEE TRANSACTIONS ON ROBOTICS, 2005, 21 (03) :423-437
[7]  
Caspi Paul, 1995, EUR C PAR PROC, P13
[8]   Automated Test Input Generation for Android: Are We There Yet? [J].
Choudhary, Shauvik Roy ;
Gorla, Alessandra ;
Orso, Alessandro .
2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, :429-440
[9]   JCrasher: an automatic robustness tester for Java']Java [J].
Csallner, C ;
Smaragdakis, Y .
SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (11) :1025-1050
[10]  
Dalal S. R., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P285, DOI 10.1109/ICSE.1999.841019