A Holistic Automated Software Structure Exploration Framework for Testing

计算机科学 软件 强化学习 人工智能 接口(物质) 软件工程 软件框架 机器学习 软件建设 软件开发 人机交互 程序设计语言 最大气泡压力法 气泡 并行计算
作者
Yushi Cao,Yon Shin Teo,Yan Zheng,Yuxuan Toh,Shang‐Wei Lin
出处
期刊:Frontiers in artificial intelligence and applications
标识
DOI:10.3233/faia220259
摘要

Exploring the underlying structure of a Human-Machine Interface (HMI) product effectively while adhering to the pre-defined test conditions and methodology is critical for validating the quality of the software. We propose an reinforcement-learning powered Automated Software Structure Exploration Framework for Testing (ASSET), which is capable of interacting with and analyzing the HMI software under testing (SUT). The main challenge is to incorporate the human instructions into the ASSET phase by using the visual feedback such as the downloaded image sequence from the HMI, which could be difficult to analyze. Our framework combines both computer vision and natural language processing techniques to understand the semantic meanings of the visual feedback. Building on the semantic understanding, we develop a rules-guided software exploration algorithm via reinforcement learning and deterministic finite automaton (DFA). We conducted experiments on HMI software in actual production phase and demonstrate that the exploration coverage and efficiency of our framework outperforms current start-of-art methods.

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
华仔应助老迟到的若魔采纳,获得10
1秒前
斯文败类应助外向千亦采纳,获得10
2秒前
哇哇哇发布了新的文献求助10
2秒前
Ava应助饲料批发采纳,获得10
2秒前
moonlight发布了新的文献求助10
2秒前
NexusExplorer应助饱满的睿渊采纳,获得10
3秒前
麻辣香郭发布了新的文献求助10
3秒前
沉静夏之应助怡然伟帮采纳,获得10
4秒前
6秒前
人机分离10米一键荡平万邦完成签到 ,获得积分10
7秒前
共享精神应助黎小静采纳,获得10
8秒前
lbh发布了新的文献求助10
9秒前
秦梓椋发布了新的文献求助10
10秒前
麻辣香郭完成签到,获得积分10
12秒前
啊啊啊关注了科研通微信公众号
12秒前
12秒前
沉静夏之应助HHadiii采纳,获得10
13秒前
13秒前
邬紫依发布了新的文献求助10
14秒前
14秒前
15秒前
16秒前
Fly发布了新的文献求助10
17秒前
li完成签到 ,获得积分10
18秒前
黎小静完成签到,获得积分10
18秒前
传奇3应助wzwz采纳,获得10
18秒前
19秒前
Asteria发布了新的文献求助10
20秒前
lixin发布了新的文献求助10
20秒前
yyy发布了新的文献求助10
21秒前
23秒前
深情安青应助正在采纳,获得10
23秒前
小黑马完成签到,获得积分10
24秒前
25秒前
你在教我做事啊完成签到 ,获得积分10
26秒前
26秒前
秀丽雁风完成签到,获得积分10
26秒前
28秒前
molihuakai应助渔婆采纳,获得10
28秒前
高分求助中
Principles of Economics, 11th Edition 10000
University Physics with Modern Physics, 16th edition 10000
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Development of a Bridge Weigh-In-Motion System: A technology to convert the bridge response to the passage of traffic into data on vehicle configurations, speeds, times of travel and weights 1000
Molecular Mechanisms of Photosynthesis, 4th Edition 1000
Organic Reactions, Volume 116 1000
Current concepts in cutaneous toxicity : proceedings of the Fourth Conference on Cutaneous Toxicity, Washington, D.C., May 9-11, 1979 1000
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 内科学 物理 复合材料 催化作用 细胞生物学 无机化学 光电子学 物理化学 电极 基因
热门帖子
关注 科研通微信公众号,转发送积分 7261894
求助须知:如何正确求助?哪些是违规求助? 8883366
关于积分的说明 18773232
捐赠科研通 6941193
什么是DOI,文献DOI怎么找? 3202326
关于科研通互助平台的介绍 2375639
邀请新用户注册赠送积分活动 2178062