多模态人体轨迹预测的变形试验

IF 4.3 2区 计算机科学 Q2 COMPUTER SCIENCE, INFORMATION SYSTEMS
Helge Spieker , Nadjib Lazaar , Arnaud Gotlieb , Nassim Belmecheri
{"title":"多模态人体轨迹预测的变形试验","authors":"Helge Spieker ,&nbsp;Nadjib Lazaar ,&nbsp;Arnaud Gotlieb ,&nbsp;Nassim Belmecheri","doi":"10.1016/j.infsof.2025.107890","DOIUrl":null,"url":null,"abstract":"<div><h3>Context:</h3><div>Predicting human trajectories is crucial for the safety and reliability of autonomous systems, such as automated vehicles and mobile robots. However, rigorously testing the underlying multimodal Human Trajectory Prediction (HTP) models, which typically use multiple input sources (e.g., trajectory history and environment maps) and produce stochastic outputs (multiple possible future paths), presents significant challenges. The primary difficulty lies in the absence of a definitive test oracle, as numerous future trajectories might be plausible for any given scenario.</div></div><div><h3>Objectives:</h3><div>This research presents the application of Metamorphic Testing (MT) as a systematic methodology for testing multimodal HTP systems. We address the oracle problem through metamorphic relations (MRs) adapted for the complexities and stochastic nature of HTP.</div></div><div><h3>Methods:</h3><div>We present five MRs, targeting transformations of both historical trajectory data and semantic segmentation maps used as an environmental context. These MRs encompass: (1) label-preserving geometric transformations (mirroring, rotation, rescaling) applied to both trajectory and map inputs, where outputs are expected to transform correspondingly. (2) Map-altering transformations (changing semantic class labels, introducing obstacles) with predictable changes in trajectory distributions. We propose probabilistic violation criteria based on distance metrics between probability distributions, such as the Wasserstein or Hellinger distance.</div></div><div><h3>Results:</h3><div>The empirical evaluation on a popular HTP model called Y-net demonstrated the feasibility and effectiveness of TrajTest on this dataset. For label-preserving MRs, the oracle-less Wasserstein violation criterion identified violations with statistically significant agreement relative to ground-truth-dependent metrics, confirming its utility. Map-altering MRs successfully triggered expected changes, such as statistically significant decreases in path probabilities over areas made less walkable or obstacle avoidance.</div></div><div><h3>Conclusion:</h3><div>This study introduces TrajTest, a MT framework for the oracle-less testing of multimodal, stochastic HTP systems. It allows for assessment of model robustness against input transformations and contextual changes without reliance on ground-truth trajectories.</div></div>","PeriodicalId":54983,"journal":{"name":"Information and Software Technology","volume":"188 ","pages":"Article 107890"},"PeriodicalIF":4.3000,"publicationDate":"2025-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Metamorphic Testing of Multimodal Human Trajectory Prediction\",\"authors\":\"Helge Spieker ,&nbsp;Nadjib Lazaar ,&nbsp;Arnaud Gotlieb ,&nbsp;Nassim Belmecheri\",\"doi\":\"10.1016/j.infsof.2025.107890\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><h3>Context:</h3><div>Predicting human trajectories is crucial for the safety and reliability of autonomous systems, such as automated vehicles and mobile robots. However, rigorously testing the underlying multimodal Human Trajectory Prediction (HTP) models, which typically use multiple input sources (e.g., trajectory history and environment maps) and produce stochastic outputs (multiple possible future paths), presents significant challenges. The primary difficulty lies in the absence of a definitive test oracle, as numerous future trajectories might be plausible for any given scenario.</div></div><div><h3>Objectives:</h3><div>This research presents the application of Metamorphic Testing (MT) as a systematic methodology for testing multimodal HTP systems. We address the oracle problem through metamorphic relations (MRs) adapted for the complexities and stochastic nature of HTP.</div></div><div><h3>Methods:</h3><div>We present five MRs, targeting transformations of both historical trajectory data and semantic segmentation maps used as an environmental context. These MRs encompass: (1) label-preserving geometric transformations (mirroring, rotation, rescaling) applied to both trajectory and map inputs, where outputs are expected to transform correspondingly. (2) Map-altering transformations (changing semantic class labels, introducing obstacles) with predictable changes in trajectory distributions. We propose probabilistic violation criteria based on distance metrics between probability distributions, such as the Wasserstein or Hellinger distance.</div></div><div><h3>Results:</h3><div>The empirical evaluation on a popular HTP model called Y-net demonstrated the feasibility and effectiveness of TrajTest on this dataset. For label-preserving MRs, the oracle-less Wasserstein violation criterion identified violations with statistically significant agreement relative to ground-truth-dependent metrics, confirming its utility. Map-altering MRs successfully triggered expected changes, such as statistically significant decreases in path probabilities over areas made less walkable or obstacle avoidance.</div></div><div><h3>Conclusion:</h3><div>This study introduces TrajTest, a MT framework for the oracle-less testing of multimodal, stochastic HTP systems. It allows for assessment of model robustness against input transformations and contextual changes without reliance on ground-truth trajectories.</div></div>\",\"PeriodicalId\":54983,\"journal\":{\"name\":\"Information and Software Technology\",\"volume\":\"188 \",\"pages\":\"Article 107890\"},\"PeriodicalIF\":4.3000,\"publicationDate\":\"2025-09-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information and Software Technology\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0950584925002290\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information and Software Technology","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0950584925002290","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

摘要

背景:预测人类轨迹对于自动驾驶系统(如自动驾驶汽车和移动机器人)的安全性和可靠性至关重要。然而,严格测试潜在的多模态人类轨迹预测(HTP)模型,通常使用多个输入源(例如,轨迹历史和环境地图)并产生随机输出(多个可能的未来路径),提出了重大挑战。主要的困难在于缺乏一个明确的测试oracle,因为对于任何给定的场景,许多未来的轨迹可能是合理的。目的:本研究介绍了变质测试(MT)作为测试多模态HTP系统的系统方法的应用。我们通过适应http的复杂性和随机性的变质关系(MRs)来解决oracle问题。方法:我们提出了五个MRs,目标是作为环境上下文使用的历史轨迹数据和语义分割图的转换。这些mr包括:(1)应用于轨迹和地图输入的保持标签的几何变换(镜像、旋转、重新缩放),其中输出预计会相应地变换。(2)具有轨迹分布可预测变化的映射改变转换(改变语义类标签,引入障碍)。我们提出了基于概率分布之间距离度量的概率违例准则,如Wasserstein或Hellinger距离。结果:在流行的http模型Y-net上的实证评估证明了TrajTest在该数据集上的可行性和有效性。对于保留标签的MRs,无oracle的Wasserstein违规标准识别出与基于事实的度量具有统计显著一致性的违规行为,证实了它的实用性。改变地图的MRs成功地触发了预期的变化,比如在不太适合步行或避障的地区,路径概率在统计上显著降低。结论:本研究引入了TrajTest,这是一个用于多模态随机HTP系统的无oracle测试的机器翻译框架。它允许评估模型对输入转换和上下文变化的鲁棒性,而不依赖于真实轨迹。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Metamorphic Testing of Multimodal Human Trajectory Prediction

Context:

Predicting human trajectories is crucial for the safety and reliability of autonomous systems, such as automated vehicles and mobile robots. However, rigorously testing the underlying multimodal Human Trajectory Prediction (HTP) models, which typically use multiple input sources (e.g., trajectory history and environment maps) and produce stochastic outputs (multiple possible future paths), presents significant challenges. The primary difficulty lies in the absence of a definitive test oracle, as numerous future trajectories might be plausible for any given scenario.

Objectives:

This research presents the application of Metamorphic Testing (MT) as a systematic methodology for testing multimodal HTP systems. We address the oracle problem through metamorphic relations (MRs) adapted for the complexities and stochastic nature of HTP.

Methods:

We present five MRs, targeting transformations of both historical trajectory data and semantic segmentation maps used as an environmental context. These MRs encompass: (1) label-preserving geometric transformations (mirroring, rotation, rescaling) applied to both trajectory and map inputs, where outputs are expected to transform correspondingly. (2) Map-altering transformations (changing semantic class labels, introducing obstacles) with predictable changes in trajectory distributions. We propose probabilistic violation criteria based on distance metrics between probability distributions, such as the Wasserstein or Hellinger distance.

Results:

The empirical evaluation on a popular HTP model called Y-net demonstrated the feasibility and effectiveness of TrajTest on this dataset. For label-preserving MRs, the oracle-less Wasserstein violation criterion identified violations with statistically significant agreement relative to ground-truth-dependent metrics, confirming its utility. Map-altering MRs successfully triggered expected changes, such as statistically significant decreases in path probabilities over areas made less walkable or obstacle avoidance.

Conclusion:

This study introduces TrajTest, a MT framework for the oracle-less testing of multimodal, stochastic HTP systems. It allows for assessment of model robustness against input transformations and contextual changes without reliance on ground-truth trajectories.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Information and Software Technology
Information and Software Technology 工程技术-计算机:软件工程
CiteScore
9.10
自引率
7.70%
发文量
164
审稿时长
9.6 weeks
期刊介绍: Information and Software Technology is the international archival journal focusing on research and experience that contributes to the improvement of software development practices. The journal''s scope includes methods and techniques to better engineer software and manage its development. Articles submitted for review should have a clear component of software engineering or address ways to improve the engineering and management of software development. Areas covered by the journal include: • Software management, quality and metrics, • Software processes, • Software architecture, modelling, specification, design and programming • Functional and non-functional software requirements • Software testing and verification & validation • Empirical studies of all aspects of engineering and managing software development Short Communications is a new section dedicated to short papers addressing new ideas, controversial opinions, "Negative" results and much more. Read the Guide for authors for more information. The journal encourages and welcomes submissions of systematic literature studies (reviews and maps) within the scope of the journal. Information and Software Technology is the premiere outlet for systematic literature studies in software engineering.
×
引用
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学术文献互助群
群 号:604180095
Book学术官方微信