Program slicing (original) (raw)
Unter Slicing (genauer Program Slicing) versteht man die Analyse eines Computerprogramms mit dem Ziel herauszufinden, welche Anweisungen eines Programms eine bestimmte Anweisung in einem bestimmten Programmpunkt beeinflussen bzw. von ihr beeinflusst werden. Bei Static Slicing erfolgt diese Analyse unabhängig von einer bestimmten Startkonfiguration, während sie bei Dynamic Slicing für eine bestimmte Startkonfiguration erfolgt.
| Property | Value |
|---|---|
| dbo:abstract | Unter Slicing (genauer Program Slicing) versteht man die Analyse eines Computerprogramms mit dem Ziel herauszufinden, welche Anweisungen eines Programms eine bestimmte Anweisung in einem bestimmten Programmpunkt beeinflussen bzw. von ihr beeinflusst werden. Bei Static Slicing erfolgt diese Analyse unabhängig von einer bestimmten Startkonfiguration, während sie bei Dynamic Slicing für eine bestimmte Startkonfiguration erfolgt. Unter Approximate Dynamic Slicing ist zu verstehen, dass für die Methode des Static Slicing nicht das gesamte Programm herangezogen wird, sondern nur diejenigen Teile des Programms, welche bei einer speziellen Startkonfiguration durchlaufen wurden. (de) El rebanamiento estático es una técnica en el área de programación de computadoras conocida como mantenimiento de software. Es usada para identificar todo el código de programa que puede afectar de algún modo el valor de una variable dada. Una descripción breve de su cálculo es el siguiente: Basado en la definición original de Mark Weiser una rebanada estática de programa (S) consiste de todas las sentencias en un programa P que pueden afectar el valor de la variable v en algún punto p. La rebanada es definida por un criterio de rebanamiento C=(x,V), donde x es una sentencia en un programa P y V es un subconjunto de variables en P. Una rebanada estática incluye todas las sentencias que afectan la variable v para un conjunto de todos los posibles inputs en el punto de interés. Las rebanadas estáticas son computadas encontrando conjuntos consecutivos de sentencias indirectamente relevantes, de acuerdo a los datos y dependencias de control. (es) In computer programming, program slicing is the computation of the set of program statements, the program slice, that may affect the values at some point of interest, referred to as a slicing criterion. Program slicing can be used in debugging to locate source of errors more easily. Other applications of slicing include software maintenance, optimization, program analysis, and information flow control. Slicing techniques have been seeing a rapid development since the original definition by Mark Weiser. At first, slicing was only static, i.e., applied on the source code with no other information than the source code. and introduced dynamic slicing, which works on a specific execution of the program (for a given execution trace). Other forms of slicing exist, for instance path slicing. (en) |
| dbo:wikiPageExternalLink | http://indus.projects.cis.ksu.edu/index.shtml http://pp.info.uni-karlsruhe.de/project.php%3Fid=30 http://www.users.miamioh.edu/alomarhw/ https://onlinelibrary.wiley.com/journal/20477481 http://www.cs.wisc.edu/wpis/html/ |
| dbo:wikiPageID | 569460 (xsd:integer) |
| dbo:wikiPageLength | 10067 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1108852963 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Program_analysis_(computer_science) dbc:Debugging dbr:Debugging dbr:Dependence_analysis dbr:Non-interference_(security) dbr:Optimization_(computer_science) dbr:Thomas_W._Reps dbr:Computer_programming dbr:Data_dependency dbr:Frama-C dbr:Association_for_Computing_Machinery dbc:Software_maintenance dbr:Academic_Press dbc:Program_analysis dbr:Susan_B._Horwitz dbr:Reaching_definition dbr:Mark_Weiser dbc:Program_transformation dbr:Software_maintenance dbr:IEEE_Computer_Society dbr:Partial_dead_code_elimination dbr:C_program dbr:World_Scientific_Publishing dbr:Bogdan_Korel dbr:Janusz_Laski |
| dbp:wikiPageUsesTemplate | dbt:More_footnotes dbt:Other_uses_of dbt:Reflist |
| dcterms:subject | dbc:Debugging dbc:Software_maintenance dbc:Program_analysis dbc:Program_transformation |
| gold:hypernym | dbr:Computation |
| rdf:type | dbo:ProgrammingLanguage |
| rdfs:comment | Unter Slicing (genauer Program Slicing) versteht man die Analyse eines Computerprogramms mit dem Ziel herauszufinden, welche Anweisungen eines Programms eine bestimmte Anweisung in einem bestimmten Programmpunkt beeinflussen bzw. von ihr beeinflusst werden. Bei Static Slicing erfolgt diese Analyse unabhängig von einer bestimmten Startkonfiguration, während sie bei Dynamic Slicing für eine bestimmte Startkonfiguration erfolgt. (de) El rebanamiento estático es una técnica en el área de programación de computadoras conocida como mantenimiento de software. Es usada para identificar todo el código de programa que puede afectar de algún modo el valor de una variable dada. (es) In computer programming, program slicing is the computation of the set of program statements, the program slice, that may affect the values at some point of interest, referred to as a slicing criterion. Program slicing can be used in debugging to locate source of errors more easily. Other applications of slicing include software maintenance, optimization, program analysis, and information flow control. (en) |
| rdfs:label | Program Slicing (de) Rebanamiento estático (es) Program slicing (en) |
| owl:sameAs | freebase:Program slicing wikidata:Program slicing dbpedia-de:Program slicing dbpedia-es:Program slicing dbpedia-mk:Program slicing https://global.dbpedia.org/id/R2bx |
| prov:wasDerivedFrom | wikipedia-en:Program_slicing?oldid=1108852963&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Program_slicing |
| is dbo:wikiPageDisambiguates of | dbr:Slicing |
| is dbo:wikiPageRedirects of | dbr:Program_slice dbr:Dynamic_program_slicing dbr:Dynamic_slicing dbr:Static_program_slice dbr:Static_program_slicing dbr:Slicing_criterion dbr:Approximate_dynamic_slicing dbr:Static_slicing |
| is dbo:wikiPageWikiLink of | dbr:Program_slice dbr:Delta_debugging dbr:Dependence_analysis dbr:GrammaTech dbr:Thomas_W._Reps dbr:Shmuel_Sagiv dbr:Frama-C dbr:Software_regression dbr:Dynamic_program_slicing dbr:Dynamic_slicing dbr:Static_program_slice dbr:Static_program_slicing dbr:Slicing_criterion dbr:Approximate_dynamic_slicing dbr:Mark_Harman_(computer_scientist) dbr:Search-based_software_engineering dbr:Slicing dbr:Program_comprehension dbr:Static_slicing |
| is foaf:primaryTopic of | wikipedia-en:Program_slicing |