Sto cercando un buon testo introduttivo sulla teoria dell'analisi statica per la ricerca di errori. Qualche consiglio?Buon testo introduttivo sull'analisi statica per la ricerca dei bug?
6
A
risposta
2
Il numero wikipedia article è sufficiente? Ha molti collegamenti a informazioni più approfondite.
C'è anche un podcast su software engineering radio.
Here, here e here sono alcuni documenti accademici, ma possono essere più difficili da leggere e da comprendere.
1
3
- Patrick Cousot and Radhia Cousot, "Basic Concepts of Abstract Interpretation."
- Patrick Cousot, "Abstract Interpretation Based Formal Methods and Future Challenges."
- Bruno Blanchet et al., "A Static Analyzer for Large Safety-Critical Software."
- Jérôme Feret, "Static Analysis of Digital Filters."
- Antoine Miné, "Relational abstract domains for the detection of floating-point run-time errors." (PDF)
- Airbus France: Computing the Worst-Case Execution Time of an Avionics Program by Abstract Interpretation (PDF)
- Program Analyzer Generator: Related White Papers
Problemi correlati
- 1. Che cos'è un buon libro/risorsa di livello introduttivo per la compressione?
- 2. Un buon software di local tracking dei bug?
- 3. Come stile il testo introduttivo dell'articolo di Joomla 2.5?
- 4. Buon monitoraggio open source bug/software per il rilevamento dei problemi per Windows
- 5. testo automatizzato per la ricerca riproducibile
- 6. Ricerca di un buon parser semantico per la lingua russa
- 7. Alla ricerca di un buon algoritmo per la distribuzione equa
- 8. Primer per ricerca testo completo?
- 9. Un buon tutorial introduttivo sulla scrittura di file per il latex?
- 10. per la ricerca rapida dei nomi
- 11. C'è qualche breve tutorial introduttivo per pymongo?
- 12. ricerca di buon codice Lisp leggere
- 13. Come creare un testo di input per la ricerca semplice nella progettazione dei materiali di AngularJS?
- 14. introduttivo nello sviluppo di applicazioni Blackberry
- 15. alla ricerca di un buon calendario datepicker per Android
- 16. Alla ricerca di un buon plug-in datagrid per jQuery
- 17. Ricerca di testo completo
- 18. Come tenere il passo dei bug noti e delle correzioni dei bug nei pacchetti R?
- 19. Ricerca file di testo per la stringa corrispondente
- 20. Come creare un indice di testo per la ricerca '% abc%'?
- 21. C#: ricerca di bug: se (false)
- 22. ProjectManagement distribuito/Monitoraggio dei bug
- 23. Mostra testo nascosto durante la ricerca
- 24. Buon Php quadro per la sicurezza forte
- 25. ricerca a testo completo per phoenix framework
- 26. Qualunque buon editor di testo - App per Android - ottimizzato per i programmatori?
- 27. per la somiglianza del testo
- 28. Usa la classe statica per interfaccia?
- 29. Che cos'è un buon editor di testo per il cloud?
- 30. Ricerca di indice DropDownList per testo