亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!

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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
大方大船完成签到,获得积分10
8秒前
谦让幻珊发布了新的文献求助10
9秒前
温柔灵波完成签到 ,获得积分10
10秒前
田様应助科研通管家采纳,获得10
13秒前
李爱国应助科研通管家采纳,获得10
13秒前
13秒前
14秒前
可爱的函函应助谦让幻珊采纳,获得10
15秒前
ding应助江洋大盗采纳,获得10
20秒前
Song完成签到 ,获得积分10
20秒前
谦让幻珊完成签到,获得积分10
22秒前
嗨好发布了新的文献求助20
28秒前
34秒前
沈惠映完成签到 ,获得积分10
34秒前
40秒前
嗨好完成签到,获得积分10
40秒前
Isaac完成签到 ,获得积分10
42秒前
莹yy完成签到 ,获得积分10
42秒前
乐正亦寒完成签到 ,获得积分10
53秒前
斯文败类应助haha采纳,获得10
56秒前
Swear完成签到 ,获得积分10
1分钟前
1分钟前
1分钟前
1分钟前
JingjingYao发布了新的文献求助10
1分钟前
行舟完成签到 ,获得积分10
1分钟前
太清发布了新的文献求助10
1分钟前
江洋大盗发布了新的文献求助10
1分钟前
1分钟前
WWW完成签到 ,获得积分10
1分钟前
鲁丁丁发布了新的文献求助10
1分钟前
秋蚓完成签到 ,获得积分10
1分钟前
一切随风发布了新的文献求助50
1分钟前
超威蓝猫完成签到,获得积分10
1分钟前
ztayx完成签到 ,获得积分10
1分钟前
图治完成签到,获得积分10
1分钟前
rangersl1发布了新的文献求助10
1分钟前
1分钟前
图治发布了新的文献求助10
1分钟前
三横一竖发布了新的文献求助10
1分钟前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 700
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3976619
求助须知:如何正确求助?哪些是违规求助? 3520720
关于积分的说明 11204567
捐赠科研通 3257359
什么是DOI,文献DOI怎么找? 1798716
邀请新用户注册赠送积分活动 877897
科研通“疑难数据库(出版商)”最低求助积分说明 806613