ESPECIFICACIONES UTILES
(porque inservibles tambien hay y solo generan entropia y confusion)
Las especificaciones deben tener un montón de características
Una de las que me parece mas importante es : QUE SEA COMPROBABLE
Porque como ya hemos visto , la corrección de un soft debe ser verificado contra las especificaciones
Una especificación puede ser una reformulacion de un requisito que se ha elegido como una restricción , o una formulación de una característica funcional o no que se ha seleccionado
entonces.... son decisiones documentadas
El standard de la ieee dice algo al respecto
(un standard es una decisión tomada y que puede incorporarse como un requisito)
IEEE-STD-830-1998 : ESPECIFICACIONES DE LOS REQUISITOS DEL
SOFTWARE
2.3.6 Comprobable
Un SRS es comprobable si, y sólo si, cada requisito declarado es comprobable. Un
requisito es comprobable si, y sólo si, allí existe algún proceso rentable finito con que
una persona o la máquina puede verificar que el producto del software reúne el
requisito. En general cualquier requisito ambiguo no es comprobable.
Los requisitos de No-verificable incluyen las declaraciones como "trabaja bien",
"interface humana buena" y "normalmente pasará" no pueden verificarse los requisitos
de esos porque es imposible de definir las condiciones "bueno," "bien" o
"normalmente". La declaración que "el programa nunca entrará en una vuelta infinita"
es el no-verificable porque la comprobación de esta calidad es teóricamente imposible.
Un ejemplo de una declaración comprobable es:
El rendimiento del programa se producirá dentro de 20 seg de evento 60% del tiempo;
y se producirá dentro de 30 seg de evento 100% del tiempo.
Esta declaración puede verificarse porque usa condiciones concretas y las cantidades
mensurables.
Si un método no puede inventarse para determinar si el software reúne un requisito
particular, entonces ese requisito debe quitarse o debe revisarse.
