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.
De hecho, la mayoría de técnicas de rebanamiento estático, incluida la propia técnica de Weiser, tampoco incluirían la sentencia write(suma), ya que en la sentencia write(suma), el valor de suma no es afectado por la sentencia en sí.
Meilir Page-Jones, "The Practical Guide to Structured Systems Design", Yourdon Press,1980, ISBN 0-917072-17-0
Enlaces externos
Tufts University:
StaticSlicer, StaticSlicer, una sencilla herramienta para demostrar el rebanamiento estático sobre la base de la definición original de Mark Weiser,
Datos:Q1413145
Agosto 04, 2021
rebanamiento, estático, rebanamiento, estático, técnica, área, programación, computadoras, conocida, como, mantenimiento, software, usada, para, identificar, todo, código, programa, puede, afectar, algún, modo, valor, variable, dada, descripción, breve, cálcul. El rebanamiento estatico es una tecnica en el area de programacion de computadoras conocida como mantenimiento de software Es usada para identificar todo el codigo de programa que puede afectar de algun modo el valor de una variable dada Una descripcion breve de su calculo es el siguiente Basado en la definicion original de Mark Weiser una rebanada estatica de programa S consiste de todas las sentencias en un programa P que pueden afectar el valor de la variable v en algun 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 estatica incluye todas las sentencias que afectan la variable v para un conjunto de todos los posibles inputs en el punto de interes Las rebanadas estaticas son computadas encontrando conjuntos consecutivos de sentencias indirectamente relevantes de acuerdo a los datos y dependencias de control Indice 1 Ejemplo 2 Vease tambien 3 Referencias 4 Enlaces externosEjemplo Editarint i int suma 0 int producto 1 for i 0 i lt N i suma suma i producto producto i write suma write producto El siguiente programa es un rebanamiento valido del anterior respecto al criterio write suma suma int i int suma 0 for i 0 i lt N i suma suma i write suma De hecho la mayoria de tecnicas de rebanamiento estatico incluida la propia tecnica de Weiser tampoco incluirian la sentencia write suma ya que en la sentencia write suma el valor de suma no es afectado por la sentencia en si Vease tambien EditarSoftware CMMReferencias EditarMeilir Page Jones The Practical Guide to Structured Systems Design Yourdon Press 1980 ISBN 0 917072 17 0Enlaces externos EditarTufts University Ensayo sobre Mantenimiento como parte del Ciclo de Vida del Software en ingles StaticSlicer StaticSlicer una sencilla herramienta para demostrar el rebanamiento estatico sobre la base de la definicion original de Mark Weiser Datos Q1413145Obtenido de https es wikipedia org w index php title Rebanamiento estatico amp oldid 125248925, wikipedia, wiki, leyendo, leer, libro, biblioteca,
