Fiabilidad

El hecho de que un equipo deje de cumplir en algn momento con su funcin es un hecho
indeseado. Esta caracterstica esta ligada a la fiabilidad del equipo.
Ms propiamente, la fiabilidad se define por la probabilidad de que un componente, producto,
equipo, o sistema funcione durante un lapso de tiempo bajo condiciones de carga prefijadas.
veamos qu significado tienen y en qu se traduce cada uno de ellos.
Al definir la fiabilidad como una probabilidad, esto lleva implcito que:
los resultados son aplicables al comportamiento de poblaciones
los resultados son aplicables solo al lote del cual se extrajeron las muestras
los resultados solo pueden obtenerse de tratamientos estadsticos basados en pruebas
experimentales o evaluaciones de campo
la estimacin tendr un riesgo asociado al tratamiento estadstico
Es claro que si la caracterizacin se restringiera solo al lote del cual se extrajeron las muestras
tendra poca utilidad. El incumplimiento de la especificacin puede ser temporario o definitivo,
puede ser parcial o completo, puede ser repentino o gradual, lo cual lleva a clasificar las fallas de
distintas formas, por ejemplo atendiendo su causa:
Fallas primarias: fallas no causadas ni directamente ni indirectamente por la falla de otro
dispositivo
Fallas secundarias: fallas provocadas por la falla de otro dispositivo
Falla por debilidad inherente: si sobreviene operando el dispositivo dentro de su especificacin
Falla por desgaste: cuando la falla sobreviene con el uso
Atendiendo la velocidad de aparicin se clasifican tambin en fallas repentinas o fallas progresivas,
y dependiendo del grado o severidad en falla parcial o completa.
Otra clasificacin toma en cuenta el grado y la velocidad, diferenciando entre fallas catastrficas,
las cuales son fallas repentinas, completas y definitivas y fallas por degradacin o fallas
paramtricas, las cuales son fallas progresivas y parciales.
Fiabilidad observada, estimada, extrapolada y prevista
La probabilidad es una medida de la relacin entre xitos (o eventos favorables) sobre
eventos posibles. Supongamos que se cuenta con un lote de No elementos no
reparables, puestos a funcionar en el instante t=0. Anotando la cantidad de ellos que van
entrando en falla a lo largo del tiempo se obtiene una curva de mortalidad, figura 2.
En un instante t en particular habrn fallado Nf(t) elementos y sobrevivido Ns(t), por
tanto la probabilidad de que ocurra la falla antes del instante t resultara dada por

Tasa de fallas
Propongmonos hallar la cantidad de elementos fallados en un intervalo
posterior a t, t+t a partir de la curva de mortalidad. Es obvio que la cantidad de
elementos que fallen en el lapso t va a ser proporcional a t, y a la
cantidad de sobrevivientes hasta el instante t. Obviamente, solo podrn fallar
durante t los que estn en funcionamiento en el instante t. Al coeficiente de

proporcionalidad se le denomina tasa de fallas, y se indica por ,

Fallas infantiles, accidentales y por envejecimiento

La variacin de la tasa de fallas con el tiempo, (t), responde a un
modelo genrico, consecuencia de la combinacin de dos mecanismos: Uno
debido a las debilidades que puede tener el dispositivo por vicios de proceso o
debilidades de los materiales (fallas infantiles), y otro debido al desgaste con el
uso (fallas por envejecimiento). Su combinacin determina un comportamiento
que, por la forma que toma, se conoce como curva en baera, figura 5. La tasa
de fallas es funcin, adems del tiempo, de la carga: si esta se incrementa, la
tasa de fallas sube.

Estimacin de la tasa de fallas

Siendo la tasa de fallas un evento raro, para su determinacin se
recurre a ensayos censurados. Un ensayo se dice censurado cuando se
impone un limite a las observaciones; es decir, se restringe el intervalo dentro
del cual se van efectuar las observaciones. La censura determina el criterio
que define la finalizacin del ensayo, lo cual puede ocurrir cuando se alcanza
un nmero prefijado de fallas r (censura de tipo I), o bien cuando transcurre un
tiempo prefijado de ensayo T (censura de tipo II), denominados a veces ensayos
truncados en tiempo.
El valor de r, o el valor de T, es fijado al inicio del ensayo, al igual que la
cantidad de elementos N a ensayar. En un ensayo censurado del tipo I, el
tiempo tr al cabo del cual se produce la r-esima falla es la variable aleatoria. El
tiempo total acumulado de funcionamiento de los N elementos ser
S t1 t 2 ... t r ( N r ).t r
si no se hace reemplazo de los elementos fallados. Es claro que S es una
nueva variable aleatoria, que para el caso de una prueba con reemplazo
valdra,

S N .t r
Si es la tasa de fallas y N.tr es el tiempo acumulado hasta que se
produzca la falla r, cabe esperar que el nmero de fallas r sea una variable
aleatoria cercana a .N.tr. Mas precisamente, Epstein y Sobel demostraron que
la variable
u 2 .N .t r .
responde a una distribucin 2 con n=2.r grados de libertad, y que es
adems un estimador insesgado de .

Ensayos acelerados
Se podra simplificar el ensayo si fuese conocida la relacin entre la tasa
de fallas para la condicin de carga especificada y la tasa de fallas para una
condicin ms severa, de modo que la tasa de fallas sea varios miles de veces
superior y ello acorte el tiempo requerido para alcanzar un nmero de fallas
prefijado. Luego, en base al factor de aceleracin AF, que relaciona las tasas
de fallas para ambas condiciones de carga,

se determina la tasa de fallas que corresponde a la condicin de carga normal, n. La

nica
limitacin para su aplicacin es que se mantenga el mecanismo de falla.
Ley de Arrhenius
La ley de Arrhenius mide la velocidad de los procesos fsico-qumicos,
vale decir, la velocidad v de cambio de una caracterstica por unidad de tiempo.
La ley expresa que

donde Ea se conoce como energa de activacin, y es medida en eV;

k=8,63x10-5 eV/K , es la constante de Boltzmann; T es la temperatura en
Kelvinos ( K ), y Vo es la mxima velocidad del proceso.
Ley de los aislantes
Para los aislantes se usa como variable de aceleracin la tensin. La ley
general de los aislantes supone que la tasa de fallas responde a la ley,

por lo cual, la aceleracin resulta dada en este caso por la expresin,

donde es una caracterstica propia del material aislante.

Expresin general de la fiabilidad

la cual puede resolverse dado que se conocen las condiciones iniciales, pues es
siempre R(0)=1, de modo que

Fallas por solicitacin

El modelo de tasa de fallas constantes, derivado para sistemas
sometidos a una carga fija, puede aplicarse tambin a sistemas expuestos a
una serie de solicitaciones, cada una con una pequea probabilidad p de
provocar la falla. Suponiendo que la probabilidad de falla en cada solicitacin
es independiente de las solicitaciones previas, luego de n solicitaciones la
fiabilidad estar dada por
Si en la igualdad

Resulta

Tiempo medio entre fallas

Aparte de la fiabilidad, R(t), otro parmetro indicativo es el tiempo
medio para la falla, TMPF, termino usado para el caso de equipos o
componentes no reparables. En el caso de equipos reparables ser el tiempo
medio entre fallas, TMEF, indicado a veces como MTBF (Mean Time Between
Failures ). Este se define por la esperanza matemtica de primer orden,

Modelos de fallas: fiabilidad extrapolada

Con los datos relevados en las pruebas experimentales sera posible
determinar la distribucin de las fallas en funcin del tiempo. Pero, este
relevamiento en la mayora de los casos es imposible de realizar en forma
completa en todo el tiempo de inters. Se trata entonces de ver como unos
pocos datos obtenidos en tiempos relativamente breves pueden ser
extrapolados a cualquier otro instante. Esto es posible si se demuestra que las
fallas responden a un modelo analtico determinado, y en tal caso se habla de
una fiabilidad extrapolada
Aunque de hecho cualquier distribucin de probabilidades podra ser propuesta, con frecuencia
los modelos propuestos se reducen a unos pocos. El mas conocido es el exponencial, siendo otros
modelos muy usados los de Weibull, el lognormal, y el normal.

Papel probabilstico
Un modo practico y rpido de hallar si un modelo de fallas se ajusta a los
resultados experimentales es utilizando papel probabilstico. La idea del papel
probabilstico es realizar una deformacin ( transformacin ) de las escalas
de modo que la representacin de la distribucin en dicho papel se
corresponda a una recta. Como esta transformacin es propia de cada tipo de
distribucin, cada papel se conoce por el nombre de la distribucin que linealiza.
Estos papeles permiten obtener una estimacin de los parmetros de la

distribucin, y con ello la extrapolacin de los resultados ms all de los datos

experimentales. Si bien el papel probabilstico normal es de uso frecuente, no
es ese el caso de los papeles de las otras distribuciones. Actualmente, todos
los paquetes de software dedicados al tratamiento estadstico, como el
Minitab, incluyen para las funciones de distribucin usuales la graficacin en los
papeles probabilsticos correspondientes.

Disponibilidad
Si un equipo que es reparable falla, cabe esperar que en algn momento
posterior se encuentre nuevamente en funcionamiento. La disponibilidad, A(t),
mide precisamente la probabilidad de encontrar el equipo funcionando en un
instante cualquiera t. Si el instante t esta suficientemente alejado del instante en
que entro en reparacin o se hizo la reposicin de funcionamiento, la
disponibilidad resulta independiente de t, y define lo que se conoce como
disponibilidad a largo plazo o disponibilidad final del equipo. La disponibilidad
final es un factor importante en equipos de uso continuo, pues mide su mxima
posibilidad de utilizacin.

Un equipo reparable solo pueda estar en uno de dos estados:

funcionando o en reparacin. Supongamos que sea tri el tiempo insumido en
la reparacin i, y que sea tfi, el lapso de tiempo que funciona sin discontinuidad
hasta la aparicin de la falla siguiente, figura
Claramente se ve que al cabo de un tiempo T se habrn efectuado n
reparaciones, siendo el tiempo total de funcionamiento

que se ve es funcin de la relacin entre el tiempo medio entre fallas, TMEF,

y el tiempo medio de reparacin, TMR. Esta relacin define precisamente la
disponibilidad de largo plazo.
Metas de Fiabilidad aplicadas al diseo
El desarrollo del producto debe considerar las metas de fiabilidad,
basndose en consideraciones sobre el sistema, es decir, expresndolas en
trminos orientados al uso, contemplando las condiciones de uso y el tiempo
durante el cual se requiere un desempeo satisfactorio. En una relacin
contractual, las exigencias se volcaran en clusulas, referidas a:
Objetivos, o requerimientos de desempeo expresados normalmente por

ejemplo en trminos de disponibilidad y tiempo de cada

El criterio bajo el cual se considera que el producto deja de funcionar

satisfactoriamente
Condiciones de uso y de mantenimiento bajo las cuales se deben asegurar las metas
Tiempo de vida del producto durante el cual deben asegurarse las metas
Medios requeridos para asegurar las metas
Penalizaciones por incumplimientos

Prediccin de la fiabilidad
Para predecir la fiabilidad de un sistema es necesario conocer la tasa de falla de los equipos, y
como estos se combinan. A nivel de equipos se necesita conocer la tasa de falla de los
componentes. Y a nivel de componentes sern datos suministrados por el fabricante de
componentes, o informacin que debe ser relevada experimentalmente, o que es obtenible de
datos disponibles de usos similares.
Para efectuar la prediccin hay diversos mtodos; la aplicacin de un
mtodo u otro depender del tipo de falla, la ley de distribucin de las fallas,
la forma en que la parte se integra y afecta al sistema, la finalidad del anlisis y
la simplicidad del mtodo. Bsicamente se usara:
Modelo fsico de fallas : Para el diseo de pruebas experimentales
Mtodo de redes: para estimar la fiabilidad de equipos, sin elementos
redundantes
Simulacin de Monte Carlo: cuando los elementos tienen dos modos
de falla, por apertura y corto, y ambos tienen consecuencias distintas.
Tambin se usa cuando las fallas siguen leyes complejas, o los
elementos tienen una asociacin compleja
rbol de fallas: cuando importa conocer solo ciertas fallas,

atendiendo sus consecuencias; especficamente cuando se deben

realizar estimaciones de seguridad
Modelo fsico de fallas
Con los modelos fsicos de fallas se busca contar con una prediccin de
fallas basndose en consideraciones sobre la distribucin de las propiedades
fsicas de los elementos y modelos de reparticin de las cargas. Asumiendo
para la carga y la resistencia un comportamiento probabilstico, la fiabilidad
puede estimarse en base a la yuxtaposicin de ambas distribuciones: la de
capacidad o resistencia de los elementos y la de distribucin de las cargas.

Mtodo de las redes

En el mtodo de las redes cada componente es asociado a un bloque de
fiabilidad, el cual se vincula con otros bloques segn el modo en que su falla
incida en la falla del sistema. Dos son las formas bsicas de asociacin: la serie
y el modo paralelo. Dos bloques se disponen en serie, si la falla de cualquiera
de ellos implica la falla del sistema, estando cada elemento de la red
caracterizado por su fiabilidad o por su tasa de fallas. Considerando solo las
fallas primarias, la falla de cada componente es un evento independiente de los
dems, por lo cual la probabilidad de funcionamiento del conjunto estar dada
por

Simulacin de Monte Carlo

La simulacin de Monte Carlo es una herramienta muy general y
poderosa, que requiere, para su aplicacin, contar con la funcin de distribucin
de cada uno de las variables probabilsticas que participan del proceso. Es decir,
si tenemos un conjunto de componentes X1, X2, ...., Xi, es necesario conocer la
funcin de distribucin de fallas de los mismos.
Suponiendo conocidas las distribuciones, figura 17a, se determinan los
tiempos tfi de falla de cada componente Xi mediante una simulacin del
proceso. Cada tiempo de falla se obtiene entrando con un nmero aleatorio
como argumento en la funcin de distribucin inversa, figura 17b. Conocidos
los tiempos de falla de cada componente, se halla la fiabilidad del equipo para
esa realizacin en base a la configuracin de la red de fiabilidad. Contando
con una cantidad elevada de realizaciones se puede caracterizar
estadsticamente el proceso.

Mtodo del rbol de fallas (FTA)

El mtodo del rbol de fallas es una herramienta proactiva usada desde
las fases ms tempranas del diseo con la finalidad de descubrir los puntos
dbiles del sistema frente a modos de falla definidos. Es decir, no todas las
fallas tienen el mismo significado, y deben ser tratadas del mismo modo. En
particular, cuando la falla puede ser fuente de graves daos el diseo debe
satisfacer metas de seguridad.
Cuando los sistemas o equipos estn sujetos a exigencias de seguridad,
la aparicin de una falla puede dar lugar a alguna de las siguientes
consecuencias:

Menores, cuando la falla implica una degradacin menor del

sistema, o se ve disminuida su capacidad para seguir cumpliendo la
funcin en el futuro.
Significativas, si hay perdida de funcionalidad, pero no tiene
consecuencia sobre personas o bienes, y no requiere la intervencin
inmediata para reponer la funcionalidad por que la falla no acarrea
peligro.
Crticas, en las cuales puede haber daos menores, pero susceptible
de provocar mayores daos si no se interviene en forma inmediata
Catastrficas, en las cuales hay daos mayores ( destruccin del
sistema, heridos graves o muertes )

Mtodo de las Cadenas de Harkov

As como el mtodo de redes es apropiado a nivel de equipo, a nivel
de sistemas, donde por lo general hay redundancia, es ms apropiado el
tratamiento por cadenas de Markov. Un sistema puede tomar un conjunto de
estados, cada uno definido por una situacin particular de los equipos, y dentro
de los cuales evoluciona con tasas conocidas. Supongamos que en un
momento dado t el sistema se encuentre en un estado particular i. Desde ese
estado, en el intervalo siguiente t, podr saltar a otro estado cualquiera j con
una tasa, ij, desde el cual podr evolucionar a cualquier otro estado, entre

ellos al i, con una tasa ji, en el intervalo de tiempo subsiguiente. Esta

evolucin ocurre entre todos los estados del sistema.

Sistema con carga compartida

Supongamos el caso de dos diodos en paralelo, figura 24. En este caso,
en su condicin normal, estado 1, ambos diodos estn activos
simultneamente. Los estados 2 y 3 corresponden a uno de los dos diodos
fallados (esto implica dos estados distintos), y el estado 4 se tendr cuando los
dos diodos estn fallados.
Si hay simetra (nunca la hay, pero a los efectos del modelo se
supondr) se puede suponer que ambos diodos soportan la misma carga, o sea
que tienen idntica tasa de fallas. Si uno de los diodos falla el otro diodo debe
soportar toda la corriente, mientras que si ambos funcionan cada uno soporta
la mitad de corriente. En otras palabras, al producirse la falla de un diodo, el
diodo que sigue funcionando pasa a tener una tasa de fallas distinta, porque
aumenta la carga a la que esta sometido. Al circular ms corriente aumenta la
cada de tensin, y con ms cada de tensin y ms corriente aumenta la
disipacin, y con ello aumenta la temperatura. Si aumenta la temperatura,
aumenta la tasa de fallas.

Sistemas con reserva

En los sistemas con reserva, al producirse la falla del equipo que esta en
operacin el sistema debe conmutar a la unidad de reserva; el problema es que
esta conmutacin no siempre ser exitosa. Una primera simplificacin es
suponer que la conmutacin no falla. Tambin puede darse esta otra
situacin: que la unidad que est como reserva falle an en estado de
reserva. Por lo general podr suponerse que en estado de reserva la tasa de
fallas va a ser ms baja, digamos una tasa -. Es decir, el nivel de carga que
tiene el equipo activo ser siempre mucho mayor, aunque esto a veces puede
no ser as. Por ejemplo en un ambiente de alta humedad, el dispositivo que
est activo genera calor, y por lo tanto puede sufrir menos la humedad
ambiente que el elemento que est inactivo. Una baja disipacin, en ese caso,
acta favorecindolo.

Sistema con reserva y mantenibilidad

El mtodo de Markov resulta muy apropiado cuando se quiere analizar
un sistema con mantenibilidad. Es decir, los equipos cuando caen en falla pasan
a mantenimiento, y uno de los que esta en reserva pasa a funcionamiento.
Cuando interesa solo la fiabilidad, prefijado el estado del cual se parte,
nicamente deben ser consideradas las transiciones que aseguren la
continuidad del servicio.
Tcnicas para la mejora de la fiabilidad
La fiabilidad inherente del equipo se puede calcular en base a la tasa de
fallas de los componentes, basndose en la informacin suministrada por los
fabricantes, la obtenida en evaluaciones propias, o bien tomando los valores
del manual militar HDBK-217 como representativos.
Supongamos haber realizado dicho clculo y que los valores se siten en
el orden de la meta, Sera esto aceptable? Bueno, la fiabilidad final del
producto o sistema va a ser consecuencia de muchos factores de fiabilidad,
todos independientes entre s, pero siempre con un factor limitante que es la
fiabilidad intrnseca o inherente a los componentes. Es decir, esta sera la mejor
fiabilidad esperable, que supone como nico factor de falla la inherente a los
componentes. Esto supone que no hay errores de diseo, que el equipo no
esta sometido a ningn tipo de abuso y es bien mantenido, y que adems el
proceso de manufactura no ha producido ninguna degradacin, y que el
software no contiene errores.
Anlisis de fiabilidad
La fiabilidad final de un equipo depender de los componentes que lo
integran, de su diseo mecnico y elctrico, de los procesos de fabricacin, los
mtodos de prueba realizados, la calidad de la instalacin y la fiabilidad del
software. Es decir, los anlisis de fiabilidad comprenden dos etapas:
anlisis del diseo
anlisis de los resultados de los ensayos
Ensayos de aceptacin. Ensayos progresivos
La finalidad de un ensayo de aceptacin de fiabilidad es demostrar
que el diseo satisface la meta de fiabilidad. Uno de los ensayos mas simples
se basa en el proceso binomial para prueba de hiptesis. El objetivo es
demostrar que al cabo del tiempo T la fiabilidad es R1.
En esta prueba se colocan n unidades a ensayar, y se observa la cantidad
de fallas X al cabo del tiempo T, resultado que se compara con la probabilidad
de que siendo cierto ese valor de fiabilidad se produzcan esas r fallas. La
desventaja de este mtodo es que se podra haber
tomado una decisin con menor tiempo de ensayo, y adems, para igual tiempo
calendario, con un menor volumen de ensayo.

Si el ensayo es realizado sobre la base de alcanzar un nmero de

fallas dado, es necesario un monitoreo continuo o a intervalos pequeos hasta
que se produzcan las r fallas. La ventaja es que los equipos en falla pueden ser
reparados y repuestos en funcionamiento, lo cual permite aumentar el volumen
de ensayo para un tiempo dado.
Depuracin del diseo y crecimiento de la fiabilidad
A medida que progresa el proyecto, adicionalmente a los FMEAs
realizados desde una etapa temprana, se realizan ensayos sobre las distintas
partes definidas para el equipo buscando depurar su diseo. Este proceso es
esencial y debe ser previo a la fase de validacin.
Los ensayos depuradores se centran especialmente en las partes ms
susceptibles a errores de diseo, evaluando las caractersticas funcionales
requeridas en la especificacin, y haciendo mediciones de consumo,
polarizaciones y niveles lgicos correspondientes al estado inicial del circuito, y
de otros estados ms relevantes, as como una verificacin trmica, de
interferencias, ruido, sensibilidades, etc.
En estas pruebas, dedicadas a mejora continua de la fiabilidad, se
disean y siguen procedimientos especficos orientados a la depuracin del
diseo. En su nivel ms primario se harn sobre plaquetas armadas por el
propio ingeniero de desarrollo. Opcionalmente, previo a estas pruebas, podrn
hacerse verificaciones armando el circuito en plaquetas de prueba, del tipo
bread-boarding, o recurriendo a un programa de simulacin como SPICE. En
esta etapa se testean en forma independiente algunas reas o etapas del
circuito, aisladas de otras, y recin despus de verificada su funcionalidad y
caractersticas de inters, se podr hacer una prueba completa sobre 3 o 4
prototipos. Si no se hicieran, y hubiera muchas fallas debido a errores de diseo,
comn en los primeros prototipos, se hara muy difcil la tarea de aislar los
errores. La prueba por mdulos es el mejor modo de simplificar esta tarea.
No hacer comprobaciones parciales del diseo solo posterga el momento de
aparicin del problema, ocasionando mayores costos y perjuicios. Adems,
lograr un diseo ms robusto implica un esfuerzo por nica vez.
Modelos de crecimiento de la fiabilidad
Los ensayos de fiabilidad tienden a mostrar que el diseo y los
procesos de manufactura son adecuados, y que el producto satisface las
exigencias de uso. Hasta lograr que el equipo pase los ensayos de
aceptabilidad, se realizaran continuas pruebas, investigaciones, y anlisis hasta
la deteccin y posterior correccin del problema.

Fiabilidad de componentes: Datos de los fabricantes

Aunque todos los fabricantes realizan esfuerzos para la mejora de la
fiabilidad de sus componentes, son pocos los que proveen informacin precisa
de ayuda para el diseo. Solo en pocos casos se cuenta con anlisis y datos
disponibles, como los suministrados por caso por Siemens para la seleccin de
capacitores electrolticos, Siemens Components Report 5/78 y 6/83. El anlisis
parte del supuesto de que el tiempo para la falla m a una temperatura T se
vincula con el tiempo para la falla mo, a una temperatura de referencia To=40C,

por

Fiabilidad de software
La fiabilidad de software se diferencia de la de hardware en que en
software las fallas son siempre consecuencia de errores, y por tanto un
programa en su ejecucin funcionara o fallara siempre; en este sentido, no
tendra carcter aleatorio. Deviene as solo cuando el camino en el que esta
el error es recorrido en forma aleatoria durante la ejecucin del programa, y
esto ocurrir para cierta combinacin de entradas y estados anteriores.
Bajo el supuesto anterior, se define la fiabilidad de software como la
probabilidad de que un programa opere sin fallas durante un tiempo en un
entorno dado. El entorno se relaciona con el perfil operativo. Este resulta definido
por la caracterstica de distribucin de las entradas, o de los estados del sistema.

El desarrollo de software sigue el proceso: El primer paso es definir la

especificacin. Este documento incluye las exigencias del usuario y las que
impone el hardware, es decir, las que resultan de la plataforma que le sirve de
base y con la cual debe interactuar. En tanto que la especificacin de hard es
comn que exista en todos los proyectos, una especificacin de software
completa es menos frecuente. Esto podra explicarse por el hecho de que el
conocimiento del hard es necesario para poder realizar el soft, a efectos de que
este sepa como manipular el hard; mientras que el soft no tiene otro cliente
que requiera documentacin. Por otro lado, el software cambia con
frecuencia, debido a lo fcil que es agregar o sacar funcionalidad con solo
variar unas lneas, y esto hace ms difcil mantener actualizada la
documentacin. Este es el punto dbil de muchos proyectos, quizs porque el
software es lo ltimo que se realiza, y el tiempo que resta para documentar es
escaso, quedando en muchos casos tan solo resumida a comentarios a
continuacin de las lneas de cdigo.
La documentacin de software debiera identificar los detalles de diseo
necesarios para entender como funciona, y contener:

Listado de los requerimientos, especificacin de ingeniera, definicin del hardware

Protocolos de comunicaciones con otro software, dentro del mismo
producto y externos al mismo. Esto incluye los mecanismos de interfase,
protocolos de comando y de respuesta, definicin de los conflictos o
colisiones, y todo lo necesario para el intercambio de informacin entre
las partes
Una descripcin de cmo el diseo es implementado, en su
relacin con las interfaces, valindose de flujogramas, diagramas de
estado, seudo codificacin, etc.

Mtricas de complejidad
El objetivo de la depuracin es eliminar errores a fin de mejorar la
fiabilidad, o lo que es igual, aumentar el tiempo medio para la falla.Es obvio
que la posibilidad de cometer errores ser dependiente de la complejidad del
software, de su tamao y de la estructuracin de la solucin. Si bien los
programas cortos pueden estar libres de errores, en los programas muy largos
estos sern inevitables y seguramente la cantidad de errores ET inicial ser
proporcional a la longitud del programa, medida por lneas de cdigo (LOC).

Estructuracin y modularizacin
Un programa se vuelve ms fiable en la media en que es estructurado
y modular. Una solucin modular busca que un problema complejo y de difcil
tratamiento como conjunto sea resuelto mediante la solucin de pequeos
problemas, ms fcilmente tratables. Un mdulo, por definicin, es un trozo de
programa que tiene una nica entrada y una sola salida.
Cuando el programa esta compuesto por una secuencia de
instrucciones que se ejecutan una a continuacin de otra, de haber un error,
siempre fallara en su ejecucin. Esto puede no ocurrir si el programa tiene al
menos una bifurcacin, y solo una de sus ramas contiene el error. En tal caso,
la falla depender de la probabilidad de pasar por esa rama.

McCabe defini una medida de complejidad, denominada complejidad

ciclomtica, y la vinculo con la fiabilidad del programa. McCabe supone que un
programa es ms susceptible al error en los puntos de decisin (una rama de
cualquier tipo) que en el medio de una codificacin lineal. Es decir, cuantos ms
lazos haya, mayor ser el nivel de complejidad, ms difcil ser su desarrollo,
insumir ms tiempo la depuracin, y ser tambin menos fiable y ms difcil de
mantener.

Modelos de fiabilidad de software

En su primer corrida el programa tendr cierta cantidad de errores ET,
que referidos a la cantidad de sentencias o instrucciones IT define la tasa inicial
de errores,

la cual puede oscilar entre el 0.1% y 1%. Conociendo la longitud del programa,
es posible por tanto tener una idea aproximada de la cantidad de errores
iniciales que contiene.
Cuando se ejecuta el programa, la probabilidad de que encuentre un
error depender de que la ejecucin pase por el camino donde se encuentra
el error. Si se piensa en que la ejecucin de un programa consiste en moverse
dentro de una red de software, en la cual los arcos representan segmentos de
ejecucin del programa y los nodos estados del programa previos a la
ejecucin de un segmento, habr entonces una probabilidad pi de que estando
en el estado j sea seleccionado un arco dado i. La ejecucin de las
sentencias de este arco supone un tiempo ti.
Modelo de Shooman
Shooman propone para la fiabilidad un modelo exponencial, con una tasa de
fallas
proporcional a la tasa residual de errores,

El modelo implica:
Aceptar que el programa quedara siempre con errores residuales ( l0 )
La fiabilidad puede mejorarse con mayor tiempo de depuracin
ET y k son constantes invariables del modelo, obtenidos de datos experimentales

Mtodo de las cero fallas

Admitiendo que el proceso de correccin de errores tiene un decaimiento

exponencial, se puede prefijar el tiempo de prueba requerido para asegurar un

nmero residual de errores. Es decir, el modelo asume que la cantidad de
errores residuales despus del tiempo t de correccin es

donde a y b son constantes apropiadas del modelo. Este modelo es til para
determinar el tiempo de depuracin prefijada una meta de fiabilidad. Pfleeger,
(Software Engineering, Prentice-Hall, 1998) da la siguiente expresin, sin
fundamentar,

Mtodos para la prueba de software

La tarea mas difcil y compleja del desarrollo de un programa es la de

depuracin, con la cual se busca:
detectar errores
corregir errores
Para llevar a cabo esta tarea es necesario definir primero una
estrategia de depuracin, de modo de detectar el mximo de errores con el
menor esfuerzo posible. En ciertos casos ser conveniente trabajar en la
condicin real de operacin, usando programas de diagnostico especiales, y en
otros bastara con recurrir a emuladores. El mayor problema es que para una
prueba consistente, muchos sistemas deben operar en tiempo real, sin que
haya alteracin alguna en los tiempos.
Un modo de simplificar la tarea es depurando por mdulos, en forma
independiente, o en forma progresiva: es decir a los probados se van agregando
los nuevos mdulos a probar. Las pruebas deberan contemplar:
pasar por todas la sentencias
probar todas las ramas
probar todos los caminos