用于深度学习激光雷达点云目标探测器变形测试的安全关键oracle

IF 4.6 Q2 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Simon Speth;Maximilian Trien;Dominik Kufer;Alexander Pretschner
{"title":"用于深度学习激光雷达点云目标探测器变形测试的安全关键oracle","authors":"Simon Speth;Maximilian Trien;Dominik Kufer;Alexander Pretschner","doi":"10.1109/OJITS.2025.3532777","DOIUrl":null,"url":null,"abstract":"Robustness testing is crucial for verifying autonomous vehicles, especially for safety-critical deep learning components like light detection and ranging (LiDAR) object detectors. Metamorphic testing (MT) assesses the robustness by automatically generating test cases based on abstract system specifications known as metamorphic relations (MRs). However, a key challenge is ensuring a traceable safety argumentation for MRs that is in line with industry standards. To ensure this traceability, we derive seven traceable metamorphic transformations from defects identified through interviews with industry experts. Another challenge is prioritizing failures by safety criticality, as not all failing test cases, as evaluated by current intersection over union (IoU)-based metamorphic oracles, pose the same safety risk. We address this by introducing novel egocentric test oracles based on traffic participants’ bounding boxes shifted into or out of the ego vehicle’s expected lane. Testing five LiDAR object detection systems working on two datasets by executing half a million metamorphic test cases (MTCs) shows that the number of failures decreases from 48k using IoU metrics to 342 safety-critical failures with our novel test oracle “shift out of ego lane.” This reduction enables testers to stay within the test analysis budget and, hence, manually analyze each failed MTC by prioritizing safety-critical test failures.","PeriodicalId":100631,"journal":{"name":"IEEE Open Journal of Intelligent Transportation Systems","volume":"6 ","pages":"95-108"},"PeriodicalIF":4.6000,"publicationDate":"2025-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10849578","citationCount":"0","resultStr":"{\"title\":\"Safety-Critical Oracles for Metamorphic Testing of Deep Learning LiDAR Point Cloud Object Detectors\",\"authors\":\"Simon Speth;Maximilian Trien;Dominik Kufer;Alexander Pretschner\",\"doi\":\"10.1109/OJITS.2025.3532777\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Robustness testing is crucial for verifying autonomous vehicles, especially for safety-critical deep learning components like light detection and ranging (LiDAR) object detectors. Metamorphic testing (MT) assesses the robustness by automatically generating test cases based on abstract system specifications known as metamorphic relations (MRs). However, a key challenge is ensuring a traceable safety argumentation for MRs that is in line with industry standards. To ensure this traceability, we derive seven traceable metamorphic transformations from defects identified through interviews with industry experts. Another challenge is prioritizing failures by safety criticality, as not all failing test cases, as evaluated by current intersection over union (IoU)-based metamorphic oracles, pose the same safety risk. We address this by introducing novel egocentric test oracles based on traffic participants’ bounding boxes shifted into or out of the ego vehicle’s expected lane. Testing five LiDAR object detection systems working on two datasets by executing half a million metamorphic test cases (MTCs) shows that the number of failures decreases from 48k using IoU metrics to 342 safety-critical failures with our novel test oracle “shift out of ego lane.” This reduction enables testers to stay within the test analysis budget and, hence, manually analyze each failed MTC by prioritizing safety-critical test failures.\",\"PeriodicalId\":100631,\"journal\":{\"name\":\"IEEE Open Journal of Intelligent Transportation Systems\",\"volume\":\"6 \",\"pages\":\"95-108\"},\"PeriodicalIF\":4.6000,\"publicationDate\":\"2025-01-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10849578\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Open Journal of Intelligent Transportation Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10849578/\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Open Journal of Intelligent Transportation Systems","FirstCategoryId":"1085","ListUrlMain":"https://ieeexplore.ieee.org/document/10849578/","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE","Score":null,"Total":0}
引用次数: 0

摘要

鲁棒性测试对于验证自动驾驶汽车至关重要,特别是对于光探测和测距(LiDAR)物体探测器等安全关键型深度学习组件。变形测试(MT)通过基于称为变形关系(MRs)的抽象系统规范自动生成测试用例来评估健壮性。然而,一个关键的挑战是确保mr的可追溯安全性论证符合行业标准。为了确保这种可追溯性,我们从通过与行业专家的访谈确定的缺陷中得出七个可追溯的变形转换。另一个挑战是根据安全严重性对故障进行优先级排序,因为并不是所有失败的测试用例都会造成相同的安全风险,正如当前基于联合交叉(IoU)的变形预言机所评估的那样。我们通过引入新的以自我为中心的测试预言机来解决这个问题,该预言机基于交通参与者的边界盒进入或离开自我车辆的预期车道。通过执行50万个变形测试用例(MTCs),在两个数据集上测试了五个LiDAR目标检测系统,结果表明,使用IoU指标的故障数量从48k减少到使用我们的新测试oracle“shift out of ego lane”的342个安全关键故障。这种减少使测试人员能够保持在测试分析预算之内,因此,通过优先考虑安全关键测试失败,手动分析每个失败的MTC。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Safety-Critical Oracles for Metamorphic Testing of Deep Learning LiDAR Point Cloud Object Detectors
Robustness testing is crucial for verifying autonomous vehicles, especially for safety-critical deep learning components like light detection and ranging (LiDAR) object detectors. Metamorphic testing (MT) assesses the robustness by automatically generating test cases based on abstract system specifications known as metamorphic relations (MRs). However, a key challenge is ensuring a traceable safety argumentation for MRs that is in line with industry standards. To ensure this traceability, we derive seven traceable metamorphic transformations from defects identified through interviews with industry experts. Another challenge is prioritizing failures by safety criticality, as not all failing test cases, as evaluated by current intersection over union (IoU)-based metamorphic oracles, pose the same safety risk. We address this by introducing novel egocentric test oracles based on traffic participants’ bounding boxes shifted into or out of the ego vehicle’s expected lane. Testing five LiDAR object detection systems working on two datasets by executing half a million metamorphic test cases (MTCs) shows that the number of failures decreases from 48k using IoU metrics to 342 safety-critical failures with our novel test oracle “shift out of ego lane.” This reduction enables testers to stay within the test analysis budget and, hence, manually analyze each failed MTC by prioritizing safety-critical test failures.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
5.40
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信