A System Identification based Oracle for Control-CPS Software Fault LocalizationTechnical TrackIndustry Program
Control-CPS software fault localization (SFL, aka bug localization) is of critical importance as bugs may cause major 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'' is still widely used, whose qualities heavily depend on the human experts’ expertise and availability. This paper proposes an oracle based on the well adopted autoregressive system identification (AR-SI).
With proven success for controlling black-box physical systems, AR-SI is adapted by us to identify the buggy control-CPS as a black-box. We use this identification result as an oracle to judge the control-CPS’s behaviors, and propose a methodology to prepare traces for control-CPS debugging. Comprehensive evaluations on classic control-CPSs with injected 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. Our approach also helps discover a new real-life bug in a consumer-grade control-CPS.
Wed 29 May Times are displayed in time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | Debugging and Fault LocalizationPapers / Journal-First Papers / Demonstrations / Technical Track at Laurier Chair(s): Marsha ChechikUniversity of Toronto | ||
14:00 20mTalk | A System Identification based Oracle for Control-CPS Software Fault LocalizationTechnical TrackIndustry Program Technical Track Zhijian HeThe Hong Kong Polytechnic University, Yao ChenThe Hong Kong Polytechnic University, Enyan HuangThe Hong Kong Polytechnic University, Qixin WangThe Hong Kong Polytechnic University, Yu PeiThe Hong Kong Polytechnic University, Haidong YuanThe Chinese University of Hong Kong | ||
14:20 20mTalk | VeDebug: Regression Debugging Tool for JavaDemos Demonstrations Ben BuhseThe University of Texas at Austin, Thomas WeiThe University of Texas at Austin, Zhiqiang ZangThe University of Texas at Austin, Aleksandar Milicevic, Milos GligoricUniversity of Texas at Austin | ||
14:40 20mTalk | ReCDroid: Automatically Reproducing Android Application Crashes from Bug Reports Technical Track Yu ZhaoUniversity of Kentucky, Tingting YuUniversity of Kentucky, Ting SuNanyang Technological University, Singapore, Yang LiuNanyang Technological University, Singapore, Wei ZhengNorthwestern Polytechnical University, Jingzhi ZhangNorthwestern Polytechnical University, William G.J. HalfondUniversity of Southern California | ||
15:00 10mTalk | How Practitioners Perceive Automated Bug Report Management TechniquesIndustry ProgramJournal-First Journal-First Papers Weiqin Zounju, David LoSingapore Management University, Zhenyu ChenNanjing University, Xin XiaMonash University, Yang FengUniversity of California, Irvine, Baowen Xu | ||
15:10 10mTalk | Chaff from the Wheat: Characterizing and Determining Valid Bug ReportsJournal-First Journal-First Papers Yuanrui Fan, Xin XiaMonash University, David LoSingapore Management University, Ahmed E. HassanQueen's University | ||
15:20 10mTalk | Discussion Period Papers |