Program analysis
http://dbpedia.org/resource/Program_analysis an entity of type: Election
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
rdf:langString
컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다.
* 타입 시스템
*
*
*
rdf:langString
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).
rdf:langString
在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域：和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序的情况下进行（静态程序分析），也可在执行时进行（），或结合二者。
rdf:langString
Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι:
* τα συστήματα τύπων
* η
* η
* ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος.
rdf:langString
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
rdf:langString
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.
rdf:langString
rdf:langString
Program analysis
rdf:langString
Programmanalyse
rdf:langString
Ανάλυση προγράμματος (πληροφορική)
rdf:langString
Análisis de software
rdf:langString
프로그램 분석
rdf:langString
Analiza programów
rdf:langString
程序分析
xsd:integer
161905
xsd:integer
1115014051
rdf:langString
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
rdf:langString
Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι:
* τα συστήματα τύπων
* η
* η
* ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος. Μια τεχνική που χρησιμοποιείται συχνά για κάποιες περιπτώσεις ανάλυσης προγράμματος είναι το .
rdf:langString
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.
rdf:langString
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.
rdf:langString
컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다.
* 타입 시스템
*
*
*
rdf:langString
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).
rdf:langString
在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域：和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序的情况下进行（静态程序分析），也可在执行时进行（），或结合二者。
xsd:nonNegativeInteger
9945