Expertos de la UOC idean una técnica que detecta fallos tempranos de software

Barcelona, 15 ene (EFE).- Los investigadores de la Universitat Oberta de Catalunya (UOC) Robert Clarisó y Jordi Cabot han diseñado una técnica de verificación de software que detecta errores tempranos en los programas y no solo al final de sus procesos de creación.

En un comunicado emitido este viernes, la UOC ha informado de que el nuevo sistema -expuesto en la revista científica Journal of Object Technology- permite examinar los programas cada vez que surge un cambio, lo que implica una verificación más rápida.

“Proponemos métodos de verificación incremental” que permiten detectar fallos a medida que se construyen modelos, sin tener que empezar desde cero, ha precisado Clarisó.

La universidad catalana ha notificado que el procedimiento ideado se aplica a modelos UML -los más conocidos-, que incorporan datos de los componentes que usará el software y que al mismo tiempo sirven para hacer simulaciones antes de establecer su código fuente.

Robert Clarisó también ha confirmado que el novedoso método está basado en el uso de certificados, que son ejemplos que ilustran el funcionamiento correcto de los programas.

“Cuando modificamos un modelo, podríamos ahorrarnos verificarlo si tuviéramos un nuevo certificado para él”, ha remarcado Clarisó.

En este sentido, la propuesta de los investigadores plantea adaptar un certificado del modelo original al nuevo, en vez de tener que verificar este último.