Desafios de análise estática e dinâmica

19 views

Skip to first unread message

Maurício Aniche

unread,

Jul 6, 2018, 8:55:40 AM7/6/18

to tdd-no-mundo-real

Oi pessoal,

Aqui um paper bem legal [1] do Mark Harman e Peter O'Hearn. Os dois são bem famosos na academia (Mark por ser pioneiro em ML para testes de software, e Peter por ter formalizado Concurrent Separation Logic (famoso pra quem gosta de CS e métodos formais)).

Ambos tiveram uma startup de teste de software comprada pelo Facebook ano passado [2]. Agora, trabalham nas equipes que desenvolvem ferramentas de teste do Facebook, como Infer (análise estática) [3] e Sapienz (análise dinâmica) [4].

O paper discute os desafios de se fazer ferramentas como essas na escala que o FB precisa.

O texto é longo, mas bem bom.

[1] https://research.fb.com/wp-content/uploads/2018/05/from-start-ups-to-scale-ups-opportunities-and-open-problems-for-static-and-dynamic-program-analysis.pdf

[2] https://arstechnica.com/information-technology/2017/08/facebook-dynamic-analysis-software-sapienz/

[3] http://fbinfer.com/

[4] https://code.fb.com/developer-tools/sapienz-intelligent-automated-software-testing-at-scale/

Um abraço,

Maurício Aniche

Assistant Professor

Delft University of Technology

www.mauricioaniche.com

@mauricioaniche