Comparing two systematic approaches for testing automated driving functions

计算机科学
作者
Hermann Felbinger,Florian Klück,Yihao Li,Mihai Nica,Jianbo Tao,Franz Wotawa,Martin Zimmermann
标识
DOI:10.1109/iccve45908.2019.8965209
摘要

Thoroughly validating and verifying automated or autonomous driving functions is inevitable for assuring to meet quality criteria for safety-critical systems. In this paper, we discuss two system testing techniques that have been already used for detecting critical situations for the automated emergency braking function based on vehicle simulations. In particular, we introduce combinatorial testing and search-based testing techniques and compare them. Whereas the first is for identifying interactions of parameters that lead to harmful situations considering predefined value domains, the latter is for finding parameter values that cause such critical situations. We discuss the underlying foundations behind the methods as well as their potential application areas. In addition, we summarize the results obtained when using these methods for testing automated emergency braking.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
安逸1发布了新的文献求助10
1秒前
LYY完成签到,获得积分10
3秒前
亮仔完成签到,获得积分10
8秒前
9秒前
内向的小凡完成签到,获得积分10
9秒前
半夏完成签到,获得积分10
10秒前
10秒前
11秒前
安逸1发布了新的文献求助10
13秒前
墨倾池发布了新的文献求助10
13秒前
缥缈的芷卉完成签到,获得积分20
13秒前
向雅完成签到,获得积分10
15秒前
GK发布了新的文献求助10
15秒前
感性的夜玉完成签到,获得积分10
17秒前
酷波er应助安逸1采纳,获得10
21秒前
22秒前
胖橘梨花逻辑猫完成签到 ,获得积分10
26秒前
laura完成签到,获得积分10
27秒前
笨鸟一直飞完成签到,获得积分10
28秒前
29秒前
赘婿应助科研通管家采纳,获得30
29秒前
29秒前
ding应助科研通管家采纳,获得10
29秒前
星辰大海应助科研通管家采纳,获得10
29秒前
李健应助科研通管家采纳,获得10
29秒前
Lucas应助科研通管家采纳,获得10
30秒前
111发布了新的文献求助10
33秒前
善学以致用应助GK采纳,获得10
35秒前
35秒前
38秒前
淡然的衣发布了新的文献求助20
39秒前
坚强白玉完成签到,获得积分10
39秒前
安逸1发布了新的文献求助10
41秒前
luo完成签到,获得积分20
43秒前
44秒前
ssss完成签到,获得积分10
45秒前
Akim应助吴小苏采纳,获得10
46秒前
8848k纯帅完成签到,获得积分10
46秒前
今后应助安逸1采纳,获得10
48秒前
烟花应助谦让的雅青采纳,获得10
49秒前
高分求助中
Becoming: An Introduction to Jung's Concept of Individuation 600
Ore genesis in the Zambian Copperbelt with particular reference to the northern sector of the Chambishi basin 500
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
A new species of Velataspis (Hemiptera Coccoidea Diaspididae) from tea in Assam 500
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 500
Die Gottesanbeterin: Mantis religiosa: 656 400
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 400
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3165460
求助须知:如何正确求助?哪些是违规求助? 2816530
关于积分的说明 7913032
捐赠科研通 2476092
什么是DOI,文献DOI怎么找? 1318663
科研通“疑难数据库(出版商)”最低求助积分说明 632179
版权声明 602388