Download to read offline
![Data Loss Oracles
[
…
{
'content_description': None,
'resource_id': None,
'text': 'Editing "test123"',
'visible': True,
'checkable': False,
'children': [],
'size': '720*81',
'checked': False,
'temp_id': 4,
'selected': False,
'child_count': 0,
...
}
...
]
Snapshot-based oracle Property-based oracle](https://image.slidesharecdn.com/issta2020-201012094315/85/Data-loss-detector-automatically-revealing-data-loss-bugs-in-Android-apps-36-320.jpg?cb=1634117471)
Data loss detector: automatically revealing data loss bugs in Android apps
- 1. Data Loss Detector: AutomaticallyRevealing Data Loss Bugs in Android Apps Oliviero Riganelli University of Milano Bicocca joint work with Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci and Leonardo Mariani Distinguished Artifact
- 2. Recreating Android Activity Running (visible) Destroyed Created Running (visible) createactivity restore activity state save activity state1 2 3
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11. https://disco.unimib.it oliviero.riganelli …………. https://disco.unimib.it Created Running (visible) restore activity state3 InstanceState Data Loss The metronome is frustrating. I use it when I practice but if I ever stop it, and turn off the screen, it resets to 40bpm and 4/4 time As soon as I opened a comic through this app I was really happy given its functionality and ease of use. But everytime I rotate the screen, the app exits saying " file could not be loaded" Randomly sets back to 100% and auto brightness after using camera
- 12. Pervasiveness of DataLoss Problems APP APP APP APP APP
- 13. Pervasiveness of DataLoss Problems 88% Apps with data loss 12% App without data loss
- 14. Pervasiveness of DataLoss Problems 88% Apps with data loss 12% App without data loss
- 15. Pervasiveness of DataLoss Problems 88% Apps with data loss 12% App without data loss
- 16. Pervasiveness of DataLoss Problems 88% Apps with data loss 12% App without data loss
- 17. Data Loss Detector(DLD) https://disco.unimib.it oliviero.riganelli …………. https://disco.unimib.it
- 18. Data Loss Detector(DLD) Touch buttons Type text Press HOME key …
- 19. Data Loss Detector(DLD) Touch buttons Type text Press HOME key …
- 20.
- 21. TouchEvent(“3”) GrantPermissionsActivity <FIRST> GrantPermissionsActivity MainActivity MainActivity Launcher TouchEvent(“ALLOW”) TouchEvent(“ALLOW”) KeyEvent(HOME) GUIModel GUI: ACTIONS: KeyEvent(HOME) TouchEvent(“ALLOW”) … STATE
- 22. TouchEvent(“3”) GrantPermissionsActivity <FIRST> GrantPermissionsActivity MainActivity MainActivity Launcher TouchEvent(“ALLOW”) TouchEvent(“ALLOW”) KeyEvent(HOME) GUIModel Type: Touch View: Command: adb shell input … EVENT
- 23. https://disco.unimib.it oliviero.riganelli …………. Data Loss Detector(DLD) oliviero.riganelli Love is the answer Biased Model-Based Exploration Data Loss Oracles Data-Loss-Revealing Actions
- 24.
- 25. Sn KeyEvent(MENU) Biased Model-Based Exploration 90%Unexecuted event 10% Any event TouchEvent(“OK”) TouchEvent(“NO THANKS”)
- 26. Sn KeyEvent(MENU) Biased Model-Based Exploration P:0.333 P:0.333 P:0.333 90%Unexecuted event 10% Any event TouchEvent(“OK”) TouchEvent(“NO THANKS”)
- 27. Sn KeyEvent(MENU) Biased Model-Based Exploration P:0.333 P:0.333 P:0.333 90%Unexecuted event 10% Any event TouchEvent(“OK”) TouchEvent(“NO THANKS”)
- 28. Sn KeyEvent(MENU) Biased Model-Based Exploration P:0.033 P:0.483 P:0.483 90%Unexecuted event 10% Any event TouchEvent(“OK”) TouchEvent(“NO THANKS”)
- 29. Sn KeyEvent(MENU) Biased Model-Based Exploration 90%Unexecuted event 10% Any event TouchEvent(“OK”) TouchEvent(“NO THANKS”) P:0.033 P:0.483 P:0.483
- 30. Sn KeyEvent(MENU) Biased Model-Based Exploration P:0.033 P:0.933 P:0.033 90%Unexecuted event 10% Any event TouchEvent(“OK”) TouchEvent(“NO THANKS”)
- 31.
- 32.
- 33.
- 34.
- 35.
- 36. Data Loss Oracles [ … { 'content_description':None, 'resource_id': None, 'text': 'Editing "test123"', 'visible': True, 'checkable': False, 'children': [], 'size': '720*81', 'checked': False, 'temp_id': 4, 'selected': False, 'child_count': 0, ... } ... ] Snapshot-based oracle Property-based oracle
- 37. Data Loss Oracles Snapshot Property … ‘content_description': … … ‘content_description': ... Beforedouble rotation After double rotation
- 38. Data Loss Oracles Snapshot Property … ‘content_description': 'Opennavigation drawer', … … ‘content_description': ‘Close navigation drawer', ... Before double rotation After double rotation
- 39. EvaluationEvaluation Research Questions APPs Configuration Google Nexus5 Android 6.0 RQ0 - What is the ε that provides the best exploration? RQ1 - How effective is DLD with data loss problems? RQ2 - Is DLD more effective than state- of-the-art techniques? RQ3 - What is the tradeoff between the snapshot- and property- based oracles? RQ4 - Are data loss faults relevant to developers? 110 real data loss 54 app releases Riganelli et al. "A Benchmark of Data Loss Bugs for Android Apps”, MSR 2019.
- 40. RQ1 - Howeffective is DLD with data loss problems? 110 Benchmark Data Loss
- 41. RQ1 - Howeffective is DLD with data loss problems? 27 83 267 Benchmark Data Loss Detected by DLD
- 42. RQ1 - Howeffective is DLD with data loss problems? 27 83 267 Benchmark Data Loss Detected by DLD 90% of faults confirmed by developers, see RQ4 in the paper
- 43. RQ2 - IsDLD more effective than state-of-the-art techniques? 0 50 100 150 200 Faulty Activity Benchmark Faults New Faults Spuriuos Violations Alaric DLD
- 44. RQ2 - IsDLD more effective than state-of-the-art techniques? 0 50 100 150 200 Faulty Activity Benchmark Faults New Faults Spuriuos Violations Alaric DLD COMPARISON TO QUANTUM IN THE PAPER
- 45. RQ3 - Whatis the tradeoff between the snapshot- and property- based oracles? 73% 18% 9% snapshot-based oracle property-based oracle both incomplete rotation 74% 21% 5% Data loss detected Spurious oracle violations
- 46.