|
Un marco razonable para comprobar la calidad del software |
|
|
08.08.2005 |
 No es fácil determinar si un sistema satisface atributos de calidad críticos en áreas como rendimiento, modificabilidad o fiabilidad; y para obtener respuestas confiables es necesario emplear herramientas y teorías complejas.
Hace pocas semanas publicó SEI el informe técnico Reasoning Frameworks, en el que se describe un método para encapsular el conocimiento de los atributos de calidad necesarios, para ver el comportamiento de calidad como un marco razonable que puede ser empleado por personas no expertas.
Para saber más sobre este marco para describir sin complejidad técnica los atributos de calidad de un sistema: (continúa).
El trabajo de este informe es una continuación del publicado ya el año pasado: Overview of ComFoRT: A Model Checking Reasoning Framework, en el que se establece el concepto de "componente de predicción " PECT como interpretación de los componentes tecnológicos en un marco no técnico.
También en ese informe previo se presentó ya el marco razonable ComFoRT como evolución de MAGIC (Modular Analisys of proGrams In C).
Enlaces relacionados:
Magic
ComFoRT (descripción y descarga de la herramienta).
 |
RSS de los comentarios
Estudio informatica y estoy realizando la tesis sobre tecnicas formales para la fiabilidad del software, pero necesito documentacion, por eso les pido que si tienen conocimiento de bibliografia relacionada con el tema que la comuniquen por esta via
Saludos