Ich bin auf der Suche nach einem guten Einführungstext auf die Theorie der statischen Analyse für Bug-Suche. Irgendwelche Empfehlungen?Guter einleitender Text zur statischen Analyse für die Fehlersuche?
6
A
Antwort
2
Ist die wikipedia article einleitend genug? Es enthält viele Links zu weiteren Informationen.
Es gibt auch eine podcast auf software engineering radio.
Here, here und here sind einige wissenschaftliche Arbeiten, aber sie können schwerer zu lesen und zu verstehen sein.
1
Versuchen Sie diese, die die erste war, die Microsoft Prefast Werkzeug eingeführt wurde. Das ist eines der erfolgreichsten statischen Analysewerkzeuge.
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
Verwandte Themen
- 1. Guter Text zur Bestellungsanalyse
- 2. Algorithmus zur Analyse von Text von Wörtern
- 3. Erstellen einer Funktion zur Fehlersuche
- 4. Gibt es Werkzeuge zur statischen Analyse von Scala-Code?
- 5. Guter Datensatz für die Stimmungsanalyse?
- 6. iPhone: Verwendung von Alarmen zur Fehlersuche
- 7. Postgresql Patroni Dokumentation zur Installation/Fehlersuche
- 8. Einkaufswagen macht manchmal Verkäufe für $ 0 ... wie zur Fehlersuche?
- 9. Beratung für die Analyse von Apache-Logs zur Anzeige
- 10. Java-Text-Analyse-Bibliotheken
- 11. Coverity für Java statische Analyse
- 12. Alternative zur statischen Klasse für zustandslose Objekte
- 13. Bildlaufleiste für statischen Text in wxpython?
- 14. Regex für Text zwischen zwei statischen Strings
- 15. C# -Code-Analyse Abneigungen geschützten statischen s_Foo (CA1709, CA1707)
- 16. Fehlersuche Django-Regression-Redux
- 17. Fehlersuche Sellerie und Redis für Django App
- 18. Guter Leitfaden für die Sicherheit von Webanwendungen?
- 19. Guter Ansatz für die XSD-Schemaversionierung?
- 20. Guter Ersatz für Qt
- 21. Datenbankpartitionierung zur Analyse von Zeitreihen erstellen
- 22. Fehlersuche Thermodrucker Treiber
- 23. Resharper Ignore Unit Tests zur Verwendung Analyse
- 24. mysql kyrillische Fehlersuche
- 25. Kann ich einige Verträge leicht von der statischen Analyse ausschließen?
- 26. Fehlersuche JS-bedingte
- 27. Fehlersuche?:,? =,?! Und Rückwärtsreferenzen. .
- 28. Java-XML-Analyse für die Daten
- 29. Verwenden der Fourier-Analyse für die Zeitreihenvorhersage
- 30. Fehlersuche aus der Ferne