| dbo:abstract
|
- Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind:
* Abstrakte Interpretation
*
* Datenflussanalyse
* Typ- und Effektsysteme (de)
- Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι:
* τα συστήματα τύπων
* η
* η
* ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος. Μια τεχνική που χρησιμοποιείται συχνά για κάποιες περιπτώσεις ανάλυσης προγράμματος είναι το . (el)
- En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son:
* Análisis de control del flujo y
*
*
* Verificación de tipos y efectos
* Rebanamiento estático
* Model checking Otros campos similares son el profiling y la verificación formal de software. (es)
- In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do. Program analysis can be performed without executing the program (static program analysis), during runtime (dynamic program analysis) or in a combination of both. (en)
- 컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다.
* 타입 시스템
*
*
* (ko)
- Analiza programów – badanie programów komputerowych gotowych do uruchomienia lub w postaci kodów źródłowych. Analiza w trakcie działania programu nazywa się analizą dynamiczną, natomiast badanie bez uruchamiania programu nazywa się analizą statyczną. Najważniejszymi zastosowaniami analizy programów jest znajdowanie i usuwanie przyczyn ich błędnego działania (debugowanie), poprawianie jakości programów (optymalizacja) oraz poznawanie szczegółów zasad działania programu (reverse engineering). (pl)
- 在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域：和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序的情况下进行（静态程序分析），也可在执行时进行（），或结合二者。 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9945 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind:
* Abstrakte Interpretation
*
* Datenflussanalyse
* Typ- und Effektsysteme (de)
- 컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다.
* 타입 시스템
*
*
* (ko)
- Analiza programów – badanie programów komputerowych gotowych do uruchomienia lub w postaci kodów źródłowych. Analiza w trakcie działania programu nazywa się analizą dynamiczną, natomiast badanie bez uruchamiania programu nazywa się analizą statyczną. Najważniejszymi zastosowaniami analizy programów jest znajdowanie i usuwanie przyczyn ich błędnego działania (debugowanie), poprawianie jakości programów (optymalizacja) oraz poznawanie szczegółów zasad działania programu (reverse engineering). (pl)
- 在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域：和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序的情况下进行（静态程序分析），也可在执行时进行（），或结合二者。 (zh)
- Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι:
* τα συστήματα τύπων
* η
* η
* ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος. (el)
- En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son:
* Análisis de control del flujo y
*
*
* Verificación de tipos y efectos
* Rebanamiento estático
* Model checking (es)
- In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do. (en)
|
| rdfs:label
|
- Program analysis (en)
- Programmanalyse (de)
- Ανάλυση προγράμματος (πληροφορική) (el)
- Análisis de software (es)
- 프로그램 분석 (ko)
- Analiza programów (pl)
- 程序分析 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:academicDiscipline
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:fields
of | |
| is foaf:primaryTopic
of | |
