APSEC 2022
Tue 6 - Fri 9 December 2022
Thu 8 Dec 2022 13:40 - 14:00 at Room3 - Bug Report Chair(s): Deron Liang

A Cyber-Physical System-of-Systems (CPSoS) has innate uncertainties from operation in the physical environment and interaction among the constituent systems. This uncertainty makes CPSoS more susceptible to oracle problem, a challenge in determining the correct behavior when testing the system. Metamorphic testing (MT) suggests a solution to addressing this challenge by utilizing metamorphic relations (MRs), relations among multiple inputs and corresponding outputs of the system. However, when applying MT on CPSoS, generating MRs is difficult due to the continuous operation of a CPSoS in uncertain environment. In this study, we propose a method to automatically generate MRs from field operational test (FOT) data logs of a CPSoS. We define a MR template to capture the CPSoS behaviors. We then apply genetic algorithm to adapt the MR generated by the engineers, and thus improve the testing effectiveness. Our method is validated in a case study of an autonomous robot vehicle. Our results show that the automatically generated MRs capture the behaviors of a CPSoS more realistically than the manually generated MRs. With our method, engineers can obtain CPSoS MRs with minimal manual effort.

Thu 8 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 14:30
Bug ReportTechnical Track at Room3
Chair(s): Deron Liang National Central University
13:00
20m
Paper
Incremental Relational Topic Model for Duplicate Bug Report Detection
Technical Track
Nitsan Amit Hebrew University, Tien N. Nguyen University of Texas at Dallas
13:20
20m
Paper
Multifaceted Hierarchical Report Identification for Non-Functional Bugs in Deep Learning Frameworks
Technical Track
Guoming Long Loughborough University, Tao Chen Loughborough University, Georgina Cosma Loughborough University
13:40
20m
Paper
Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm
Technical Track
Esther Cho Korea Advanced Institute of Science and Technology, Yong-Jun Shin Korea Advanced Institute of Science and Technology (KAIST), Sangwon Hyun Korea Advanced Institute of Science and Technology, Hansu Kim Korea Advanced Institute of Science and Technology, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
14:00
20m
Paper
An approach for hazard analysis of multiple-cooperative systems considering dynamic configuration uncertainty
Technical Track
Sejin Jung Konkuk university, Junbeom Yoo Konkuk University