Analiza programu
Analiza Program dotyczy metod (automatyczna) analizy programów komputerowych .
Metody analizy programów pozwalają programistom na lepsze zrozumienie złożonych programów, tak jak w przypadku tłumaczy ustnych i pisemnych zastosowane metody optymalizacji . Zależności między podprogramami na podstawie listy miejsc użycia i struktury wywołania można określić i wyświetlić w statycznym drzewie wywołań .
Ważnymi metodami są:
- Abstrakcyjna interpretacja
- Analiza oparta na ograniczeniach
- Analiza przepływu danych
- Systemy typów i efektów
Zobacz też
literatura
- Flemming Nielson, Hanne R. Nielson, Chris Hankin: Principles of Program Analysis , Springer, 1999, ISBN 3-540-65410-0 , strona internetowa książki