Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Wed 23 Sep 2020 01:10 - 01:30 at Wombat - Testing of Emerging Applications Chair(s): Yuan Tian

Network partitions are inevitable in large-scale cloud systems. Despite developers’ efforts in handling network partitions throughout designing, implementing and testing cloud systems, bugs caused by network partitions, i.e., partition bugs, still exist and cause severe failures in production clusters. It is challenging to expose these partition bugs because they often require network partitions to start and stop at specific timings.

In this paper, we propose Consistency-Guided Fault Injection (CoFI), a novel technique that smartly injects network partitions to effectively expose partition bugs. We observe that, network partitions can leave cloud systems at inconsistent states, where partition bugs are more likely to occur. Based on this observation, CoFI first infers invariants (i.e., consistent states) among different nodes in a cloud system. Once observing a violation to the inferred invariants (i.e., inconsistent states) while running the cloud system, CoFI injects network partitions to prevent the cloud system from recovering back to consistent states, and thoroughly tests whether the cloud system still proceeds correctly at inconsistent states.We have applied CoFI to three widely-deployed cloud systems, i.e., Cassandra, HDFS, and YARN. CoFI has detected 7 previously-unknown bugs, and three of them have been confirmed by developers.

Wed 23 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

01:10 - 02:10: Testing of Emerging ApplicationsResearch Papers / Tool Demonstrations at Wombat
Chair(s): Yuan TianQueens University, Kingston, Canada
01:10 - 01:30
Talk
CoFI: Consistency-Guided Fault Injection for Cloud Systems
Research Papers
Haicheng ChenThe Ohio State University, USA, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of software, Chinese academy of sciences, Feng QinOhio State University, USA
01:30 - 01:50
Talk
ChemTest: An Automated Software Testing Framework for an Emerging ParadigmACM Distinguished Paper
Research Papers
Michael C. GertenIowa State University, James I. LathropIowa State University, Myra CohenIowa State University, Titus H. KlingeDrake University
Pre-print
01:50 - 02:00
Talk
ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies
Tool Demonstrations
hao wang, Guoping RongNanjing University, Yangchen XuNanjing University, Yong YouMeituan-Dianping Group