Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article
Free access

Metamorphic testing of driverless cars

Published: 21 February 2019 Publication History

Abstract

Metamorphic testing can test untestable software, detecting fatal errors in autonomous vehicles' onboard computer systems.

References

[1]
Baidu, Inc. Apollo Reference Hardware, Mar. 2018; http://apollo.auto/platform/hardware.html
[2]
Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., and Yoo, S. The oracle problem in software testing: A survey. IEEE Transactions on Software Engineering 41, 5 (May 2015), 507--525.
[3]
Brown, J., Zhou, Z.Q., and Chow, Y.-W. Metamorphic testing of navigation software: A pilot study with Google Maps. In Proceedings of the 51<sup>st</sup> Annual Hawaii International Conference on System Sciences (Big Island, HI, Jan. 3--6, 2018) 5687--5696; http://hdl.handle.net/10125/50602
[4]
Chen, T.Y., Kuo, F.-C., Liu, H., Poon, P.-L., Towey, D., Tse, T.H., and Zhou, Z.Q. Metamorphic testing: A review of challenges and opportunities. ACM Computing Surveys 51, 1 (Jan. 2018), 4:1--4:27.
[5]
Chen, T.Y., Kuo, F.-C., Ma, W., Susilo, W., Towey, D., Voas, J., and Zhou, Z.Q. Metamorphic testing for cybersecurity. Computer 49, 6 (June 2016), 48--55.
[6]
Chen, T.Y., Tse, T.H., and Zhou, Z.Q. Fault-based testing without the need of oracles. Information and Software Technology 45, 1 (2003), 1--9.
[7]
Donaldson, A.F., Evrard, H., Lascu, A., and Thomson, P. Automated testing of graphics shader compilers. Proceedings of the ACM on Programming Languages 1 (2017), 93:1--93:29.
[8]
Jarman, D.C., Zhou, Z.Q., and Chen, T.Y. Metamorphic testing for Adobe data analytics software. In Proceedings of the IEEE/ACM Second International Workshop on Metamorphic Testing, in conjunction with the 39<sup>th</sup> International Conference on Software Engineering (Buenos Aires, Argentina, May 22). IEEE, 2017. 21--27
[9]
Kanewala, U., Pullum, L.L., Segura, S., Towey, D., and Zhou, Z.Q. Message from the workshop chairs. In Proceedings of the IEEE/ACM First International Workshop on Metamorphic Testing, in conjunction with the 38<sup>th</sup> International Conference on Software Engineering (Austin, TX, May 16). ACM Press, New York, 2016.
[10]
Le, V., Afshari, M., and Su, Z. Compiler validation via equivalence modulo inputs. In Proceedings of the 35<sup>th</sup> ACM SIGPLAN Conference on Programming Language Design and Implementation (Edinburgh, U.K., June 9--11). ACM Press, New York, 2014, 216--226.
[11]
Lee, D. Sensor firm Velodyne 'baffled' by Uber self-driving death. BBC News (Mar. 23, 2018); http://www.bbc.com/news/technology-43523286
[12]
Levin, S. Uber crash shows 'catastrophic failure' of self-driving technology, experts say. The Guardian (Mar. 23, 2018); https://www.theguardian.com/technology/2018/mar/22/self-driving-car-uber-death-woman-failure-fatal-crash-arizona
[13]
Lindvall, M., Ganesan, D., Árdal, R., and Wiegand, R.E. Metamorphic model-based testing applied on NASA DAT --- An experience report. In Proceedings of the 37<sup>th</sup> IEEE/ACM International Conference on Software Engineering (Firenze, Italy, May 16--24). IEEE, 2015, 129--138.
[14]
Lindvall, M., Porter, A., Magnusson, G., and Schulze, C. Metamorphic model-based testing of autonomous systems. In Proceedings of the Second IEEE/ACM International Workshop on Metamorphic Testing, in conjunction with the 39<sup>th</sup> International Conference on Software Engineering (Buenos Aires, Argentina, May 22). IEEE, 2017, 35--41.
[15]
Ohnsman, A. LiDAR maker Velodyne 'baffled' by self-driving Uber's failure to avoid pedestrian. Forbes (Mar. 23, 2018); https://www.forbes.com/sites/alanohnsman/2018/03/23/lidar-maker-velodyne-baffled-by-self-driving-ubers-failure-to-avoid-pedestrian
[16]
Posky, M. LiDAR supplier defends hardware, blames Uber for fatal crash. The Truth About Cars (Mar. 23, 2018); http://www.thetruthaboutcars.com/2018/03/lidar-supplier-blames-uber/
[17]
Regehr, J. Finding Compiler Bugs by Removing Dead Code. Blog, June 20, 2014; http://blog.regehr.org/archives/1161
[18]
Segura, S., Fraser, G., Sanchez, A.B., and Ruiz-Cortés, A. A survey on metamorphic testing. IEEE Transactions on Software Engineering 42, 9 (Sept. 2016), 805--824.
[19]
Segura, S. and Zhou, Z.Q. Metamorphic testing: Introduction and applications. ACM SIGSOFT webinar, Sept. 27, 2017; https://event.on24.com/wcc/r/1451736/8B5B5925E82FC9807CF83C84834A6F3D
[20]
Segura, S. and Zhou, Z.Q. Metamorphic testing 20 years later: A hands-on introduction. In Proceedings of the 40<sup>th</sup> IEEE/ACM International Conference on Software Engineering (Gothenburg, Sweden, May 27--June 3, 2018). ACM Press, New York, 2018.
[21]
Tian, Y., Pei, K., Jana, S., and Ray, B. DeepTest: Automated testing of deep neural network-driven autonomous cars. In Proceedings of the 40<sup>th</sup> IEEE/ACM International Conference on Software Engineering (Gothenburg, Sweden, May 27--June 3, 2018). ACM Press, New York, 2018.
[22]
Vassilev, A. and Celi, C. Avoiding cyberspace catastrophes through smarter testing. Computer 47, 10 (Oct. 2014), 102--106.
[23]
Velodyne, Velodyne's HDL-64E: A High-Definition LiDAR Sensor for 3-D Applications, White Paper, 2007; https://www.velodynelidar.com/
[24]
Zhou, Z.Q., Towey, D., Poon, P.-L., and Tse, T.H. Introduction to the special issue on test oracles. Journal of Systems and Software 136 (Feb. 2018), 187
[25]
Zhou, Z.Q., Xiang, S., and Chen, T.Y. Metamorphic testing for software quality assessment: A study of search engines. IEEE Transactions on Software Engineering 42, 3 (Mar. 2016), 264--284.

Cited By

View all
  • (2024)LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language ModelsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695520(1497-1508)Online publication date: 27-Oct-2024
  • (2024)PAFOT: A Position-Based Approach for Finding Optimal Tests of Autonomous VehiclesProceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024)10.1145/3644032.3644457(159-170)Online publication date: 15-Apr-2024
  • (2024)Selecting and Constraining Metamorphic RelationsProceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings10.1145/3639478.3639781(212-216)Online publication date: 14-Apr-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 62, Issue 3
March 2019
109 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/3314328
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 February 2019
Published in CACM Volume 62, Issue 3

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Popular
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)406
  • Downloads (Last 6 weeks)65
Reflects downloads up to 10 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2024)LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language ModelsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695520(1497-1508)Online publication date: 27-Oct-2024
  • (2024)PAFOT: A Position-Based Approach for Finding Optimal Tests of Autonomous VehiclesProceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024)10.1145/3644032.3644457(159-170)Online publication date: 15-Apr-2024
  • (2024)Selecting and Constraining Metamorphic RelationsProceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings10.1145/3639478.3639781(212-216)Online publication date: 14-Apr-2024
  • (2024)MetaCDP: Metamorphic Testing for Quality Assurance of Containerized Data Pipelines2024 IEEE Cloud Summit10.1109/Cloud-Summit61220.2024.00029(135-142)Online publication date: 27-Jun-2024
  • (2024)Enhancing ADS Testing: An Open Educational Resource for Metamorphic Testing2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)10.1109/COMPSAC61105.2024.00029(138-147)Online publication date: 2-Jul-2024
  • (2024)Informating and Automating in Systems Design: Extending the Zuboffian View of Technology Ready-to-Use vs. Technology Unintuitive-to-UseJournal of Global Information Technology Management10.1080/1097198X.2024.237255427:3(200-221)Online publication date: 4-Jul-2024
  • (2024)A cybersystemic view of autonomous weapon systems (AWS)Technological Forecasting and Social Change10.1016/j.techfore.2024.123514205(123514)Online publication date: Aug-2024
  • (2024)Semantic-guided fuzzing for virtual testing of autonomous driving systemsJournal of Systems and Software10.1016/j.jss.2024.112017212:COnline publication date: 1-Jun-2024
  • (2024)A Survey on an Emerging Safety Challenge for Autonomous Vehicles: Safety of the Intended FunctionalityEngineering10.1016/j.eng.2023.10.01133(17-34)Online publication date: Feb-2024
  • (2024)TM-fuzzer: fuzzing autonomous driving systems through traffic managementAutomated Software Engineering10.1007/s10515-024-00461-w31:2Online publication date: 1-Nov-2024
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media