Re: [LUG.ro] Los fallos del software y la responsabilidad de quien lo creó

["Sebastián D. Criado"]

El 12/05/09 11:55, Angel Arancibia escribió:
[...]
> PD: Si se puede dar garantia sobre el software !!!

Esta ultima afirmación no me convence y no estoy de acuerdo.
No te ofendas, tampoco me parece que se tenga que hablar *industria del
software* ya que no se fábrica nada. :D pero aunque lo mencionas, no voy
a molestar mucho con eso.

Creo que solo se podrían garantizar algunas cosas y bajo situaciones
controladas. Aun así, las posibilidad de que las cosas no se den como se
pensaron son grandes.

Ej:
Digamos que soy la empresa que hace el software y que mediante un error
en "otro" programa que yo no controlo, se produce un error que hace
inaccesible al sistema.
¿Como pude dar garantías de esto si yo no conocía el error?

Yo no creo que se pueda dar garantía como piden en el articulo.
Estamos hablando de dar garantías de algo que es intangible y que tiene
un gran cantidad de variables.

Ni siquiera tenemos algo como la gravedad para decir que es constante :D

A lo mejor se podrán dar *algunas* garantías se sigue un procedimiento
específico o coo vos indicas usando especificaciones
formales pero no una garantía absoluta. Sobre lo de *probadas*, eso
requiere un tiempo muy grande como para poder decirlo. Cuando se trata
de vienes tangibles, los procedimientos se han probado por MUCHOS años,
no solo de algunos como pasa con la informática.

A esto, hay que agregar otra cosa del lado del cliente.
¿Como puedo saber si se han cumplido con esas especificaciones formales?
Tendría que contratar un perito para que verifique el código.
¿Como hago con el código de Windows por ejemplo del cual no tengo
acceso? y, por más que lo tenga, ¿cuanto le llevaría a ese perito? y
¿estaría capacitado para hacer semejante auditoría?

En respuesta a lo que indicas:

> El Software es una de las pocas cosas (sino la unica) que se compra
> sin ningun tipo de garantia ....

No se puede comparar las garantías que se pueden dar en otras
disciplinas como la ingeniería por que la informática es relativamente
nueva y no se tiene todavía una metodología plenamente aceptada.
Las mismas, cambian permanentemente.

Esas afirmaciones como las que vos decís Angel son de las que se agarran
los que quieren la Matriculación en Informática y las urnas para voto
electrónico. Es decir, que se puede garantizar que un desarrollo
funcione de la manera que se pensó y que existe gente que está
capacitada para eso y que son solo ellos los que pueden hacer los programas.

Ojo, no digo que vos pienses eso, digo que es lo que se esgrime.

En ese particular, la misma UNR opina lo contrario a lo que vos indicas.
Esta opinión la podemos ver en su opinión con respecto a la
matriculación obligatoria.

[...]
Que desde el punto de vista académico, en coincidencia con lo que
explícitamente mencionan publicaciones científicas de renombre
internacional, *no existen en el actual estado del arte mecanismos que
permitan establecer de manera fehaciente capacidades globales para un
espectro tan grande como el de nuestra disciplina, ni que permitan
garantizar corrección, seguridad y correspondencia con las
especificaciones*.
[...] Ver: [1]

Con respecto al Software Libre, pasa lo mismo, solo que se tiene acceso
al código y que hay más ojos que podrían ver los errores.

[1]
http://noalamatricula.wordpress.com/2007/06/16/resulucion-de-la-unr-en-contra-de-la-matriculacion/



-- 
Sebastian.Criado en gmail.com - GPG: 1024D/FB208AA2
797A 6D01 B7FC B8C7 AD5E|counter.li.org: #146768
2A50 66E6 2FFB FB20 8AA2|http://www.lugro.org.ar
http://noalamatricula.wordpress.com/about/ read!
"Si  el Universo fuera un programa estaría hecho
en C, y correría sobre un sistema UNIX" Anónimo.