automated diagnosis of software configuration errors
play

Automated Diagnosis of Software Configuration Errors Sai Zhang , - PowerPoint PPT Presentation

Automated Diagnosis of Software Configuration Errors Sai Zhang , Michael D. Ernst University of Washington


  1. Automated Diagnosis of Software Configuration Errors Sai Zhang , Michael D. Ernst University of Washington

  2. ��������������������������� ������� ������ �������� �

  3. ������������������������������������� � ��������������������� ������������ ������� �������� ������ �

  4. ������������������������������������ This paper! Configuration errors � ��������������������� ������������ ������� �������� ������ Bugs Wrong inputs ���������������������������������� �������������������� �

  5. ������������������������� • Fixable by ������������������������������ • Actionable by system administrators or end�users • 17% of the total technical support cost [Kapoor ’03, Yin ’11] • Configuration options ���� Inputs – Options: customize program behaviors by altering the control flow – Input values: produce output for a specific task �

  6. ������� • Example • The ConfDiagnoser Technique • Evaluation • Related Work • Contributions �

  7. ������������������������������ • A “bug report” against the Randoop test generation tool 9 ������� ����� ����������������������������� ���������� ������������������ ���� ���������������������� ������� ��� ���� ����������� �������������������������������������������������� ������ ���� �����������! �

  8. ����������������������������!������ ����� • A silent failure – No crashing points – No stacktrace – No error message • Inputs are already minimized Delta debugging [Zeller’02], dynamic slicing [Zhang’06], capture/replay [Whitaker’04], stack trace analysis [Rakbin’11], tainting [Attariyan’12] 9 �

  9. !�����������������!������ ������������������� ���������� �������� in total � ������� ����� � ������� ����� ��� ������������ ������������������ ����������������� ���������� ������������ � ��� ������������������������������ ���������������������� ���������������������� �

  10. "��� ��������#� ���������������� • A ranked list of suspicious configuration options • The top�ranked option for the Randoop error: ����������� ���������������������������������������� �����������!��"�!�#����������$������ %���������������������&�� �����'"��������������( ������)*+,�����������$����-�����$&��������� ����������� .!������$�������#���������������� )�)/�����!��������������������� )+�0/�����!�����������!����$�����$���� ��

  11. ������� • Example • The ConfDiagnoser Technique • Evaluation • Related Work • Contributions ��

  12. ������� • Example • The ConfDiagnoser Technique • Evaluation • Related Work • Contributions ��

  13. "��� ��������#� ����������� ������� ��������� Configuration errors ������ � ��������������������� ������������ ������� �������� ������ Bugs Wrong inputs ��

  14. "��� ��������#� ����������� ������� ��������� Configuration errors ConfDiagnoser ������ ������ 1. 2. � 3. � ��������������������� ������������ ������� �������� ������ ��

  15. "��� ��������#� ��$������� • Fully�automatically diagnoses configuration errors • Diagnoses both crashing and non�crashing errors • Requires no OS�level support ��

  16. "��� ��������#� ������� • Control flow propagates most configuration options’ effects • Correct execution traces serve as approximate oracles – The control flow difference provides debugging clues 11���������������������� ��� ������� �����$-���2�����$3�������� ��� ������������ ������������������ ����������������� ���������� ������������ � ��������������������������������� ! " ��������������� ������� ���� #!$" ������������������� ��% ���� ��

  17. %���"��� �������� ��������� """"" """ """"""""" """"" """""""""""" �������������� �������� ���������� &���������� ��� ��� """"" '���(��� """""""""""" !���� ��������������� !������������"��������������� )���%*����+�,- 11���������������������� ��� ������� �����$-���2�����$3������ ������������ ���������������������� ��� ���������������������������� ������������ � ������������������ ��� ��

  18. %���"��� �������� ��������� """"" """ """"""""" """"" """""""""""" �������������� �������� """"" ���������� """ """"""""" ���������� &���������� ��� ��� """"" """"" '���(��� """""""""""" """""""""""" !���� ��������������� #�����������������������������������$������� #��������������������������������$��������������� ��

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend