Metamorphic Testing of an Automated Parking System: An Experience Report

正确性 甲骨文公司 阿波罗 计算机科学 软件 人气 测试用例 考试(生物学) 人工智能 软件工程 程序设计语言 机器学习 心理学 动物 社会心理学 回归分析 生物 古生物学
作者
Dave Towey,Zhiyong Luo,Zemin Zheng,Peijian Zhou,Jun Yang,Puttipatt Ingkasit,Changyang Lao,Matthew Pike,Yifan Zhang
标识
DOI:10.1109/compsac57700.2023.00274
摘要

Automated Driving Systems (ADSs) have gained popularity recently. However, the unstable and unsafe ADSs have caused many traffic accidents and received widespread attention. One way to alleviate such issues is to enhance the correctness and efficiency of testing ADSs. Due to the difficulty of checking ADSs’ behavior such as parking the car, confirming the correctness of the actual behavior may be non-trivial or impossible. This kind of problem is called the test oracle problem. Unlike traditional software testing, Metamorphic Testing (MT) does not focus on the correctness of the actual strategy but examines whether or not the inputs and outputs of multiple executions of a Software Under Test (SUT) satisfy certain relations of the SUT, called Metamorphic Relations (MRs). The paper also implements Mutation Analysis (MA) on Baidu Apollo ADS to evaluate our MT. MA involves small modifications to a program’s source code to see if test-cases can detect these changes. This work was part of a larger endeavour to create an Open Educational Resource (OER) to support learning about how to apply MT to ADSs. This paper reports on an experience of implementing MT to test the Automated Parking System (APS) of Apollo ADS and applying MA to evaluate the MT.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
Ava应助哭泣笑柳采纳,获得10
1秒前
萧水白应助小远采纳,获得10
1秒前
宁annie完成签到,获得积分10
1秒前
白日幻想家完成签到 ,获得积分10
2秒前
郁盈完成签到,获得积分10
2秒前
万能图书馆应助xdc采纳,获得10
2秒前
哈哈哈哈发布了新的文献求助10
2秒前
MHCL完成签到 ,获得积分10
5秒前
哈基米德应助一颗小番茄采纳,获得30
5秒前
矮小的天菱完成签到,获得积分10
6秒前
长安发布了新的文献求助10
6秒前
9秒前
ddddddd完成签到,获得积分20
10秒前
章半仙完成签到,获得积分10
11秒前
12秒前
14秒前
amberzyc应助小远采纳,获得10
15秒前
qiongqiong完成签到,获得积分10
16秒前
淡定的依瑶完成签到,获得积分10
17秒前
江璃发布了新的文献求助10
19秒前
20秒前
21秒前
美丽的安珊完成签到,获得积分10
22秒前
22秒前
24秒前
Gilana完成签到,获得积分10
24秒前
xyh发布了新的文献求助10
24秒前
江璃完成签到,获得积分10
25秒前
TT发布了新的文献求助10
25秒前
美梦成真完成签到,获得积分10
26秒前
Gakay完成签到,获得积分10
26秒前
量子星尘发布了新的文献求助10
27秒前
szj完成签到,获得积分0
28秒前
旦皋完成签到,获得积分10
28秒前
赘婿应助花壳在逃野猪采纳,获得10
29秒前
卷卷完成签到,获得积分10
31秒前
JSY完成签到 ,获得积分20
31秒前
xyh完成签到,获得积分10
32秒前
小曾应助Florencia采纳,获得10
33秒前
高分求助中
【提示信息,请勿应助】关于scihub 10000
Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000
徐淮辽南地区新元古代叠层石及生物地层 3000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Handbook of Industrial Diamonds.Vol2 1100
Global Eyelash Assessment scale (GEA) 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 550
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 4038368
求助须知:如何正确求助?哪些是违规求助? 3576068
关于积分的说明 11374313
捐赠科研通 3305780
什么是DOI,文献DOI怎么找? 1819322
邀请新用户注册赠送积分活动 892672
科研通“疑难数据库(出版商)”最低求助积分说明 815029