Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/80309
Title: MPC system identification method based oracle for control-CPS software fault localization
Authors: He, Zhijian
Advisors: Wang, Qixin (COMP)
Keywords: Software engineering
Debugging in computer science
Issue Date: 2018
Publisher: The Hong Kong Polytechnic University
Abstract: Control-CPS software fault localization (SFL, aka debugging) is of critical importance as bugs may cause major mission failures, even injuries/deaths. To locate the bugs in control-CPSs, SFL tools often demand many labeled ("correct"/"incorrect") source code execution traces as inputs. To label the correctness of these traces, we must judge the corresponding control-CPS physical trajectories' correctness. However, unlike discrete outputs, the boundaries between correct and incorrect physical trajectories are often vague. The mechanism (aka oracle) to judge the physical trajectories' correctness thus becomes a major challenge. So far, the ad-hoc practice of "human oracles" are still widely used, whose qualities are heavily dependent upon the human experts' expertise and availability. This thesis proposes an oracle based on the system identification (SI) method used in the renowned model predictive control (MPC) technology. Originally designed for controlling black-box physical systems, the MPC-SI is adapted by us to learn the buggy control-CPS as a black-box. We use this learning result as an oracle to judge the control-CPS's behaviors, and propose a framework of methodology to prepare traces for control-CPS debugging. Evaluation results on classic control-CPSs with real-life and artificial bugs show that our proposed approach significantly outperforms the human oracle approach in SFL accuracy, recall, and latency, and in oracle false positive/negative rates.
Description: xi, 114 pages : color illustrations
PolyU Library Call No.: [THS] LG51 .H577P COMP 2018 He
URI: http://hdl.handle.net/10397/80309
Rights: All rights reserved.
Appears in Collections:Thesis

Files in This Item:
File Description SizeFormat 
991022180953703411_link.htmFor PolyU Users167 BHTMLView/Open
991022180953703411_pira.pdfFor All Users (Non-printable)3.97 MBAdobe PDFView/Open
Show full item record
PIRA download icon_1.1View/Download Contents

Page view(s)

4
Citations as of Mar 22, 2019

Download(s)

2
Citations as of Mar 22, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.