Foi criada uma ferramenta que permite detectar bugs na hora de escrever o código

Qualquer projeto requer o desenvolvimento de uma série de planos iniciais antes do início da implementação, que servem de base e

orientação para todo o processo. Um procedimento semelhante é seguido no desenvolvimento de software envolvendo uma etapa específica conhecida como modelagem.

Engenheiros usam simulação para descreverprograma de um ponto de vista específico, por exemplo, com os dados que vai usar, seus componentes ou a forma como eles esperam funcionar. Voltando ao exemplo do projeto de construção, os planos serão “modelos” que podem ser usados ​​como um guia durante a fase de projeto, bem como para modelagem e teste.

Segundo pesquisadores, os mais comunsO tipo de modelo usado é a notação de diagrama de classe UML (Unified Modeling Language), que é usada para descrever a estrutura de um sistema de software. A vantagem de trabalhar com esses modelos é que eles são mais abstratos do que o código-fonte, que contém muitos detalhes específicos sobre a tecnologia usada. E esses modelos podem ser mais concisos, fáceis de fabricar e entender. "

Portanto, a simulação pode servirmais uma etapa preliminar do que uma alternativa para o código-fonte. Os modelos facilitam o entendimento do sistema em desenvolvimento e também podem ser usados ​​para criar elementos de implementação específicos, automatizando as partes mais repetitivas do processo de programação.

Os engenheiros utilizam ferramentas de verificação para evitar erros que possam afetar o próprio código e, portanto, a implementação final do sistema.

“Precisamos ter certeza de que os modelos estão corretos para minimizar quaisquer erros de software que possam surgir como resultado.”

Professor da Universidade Oberta de Catalunya, membro do grupo de pesquisa SOM Research Lab Robert Clariso

Cada vez que uma mudança é feita no modelo,por exemplo, adicionar, remover ou alterar informações - isso significa que todo o sistema deve ser reanalisado, de modo que a validação geralmente só é feita após a criação do modelo final no final do processo.

Este método também é inovador porquediz respeito à utilização de certificados, exemplos que ilustram o correto funcionamento do modelo. Como observou o pesquisador: “Quando modificamos o modelo, ter um novo certificado elimina a necessidade de validá-lo.

É muito mais barato adaptar o certificadodo que reiniciar o processo de verificação. Explicando o processo, os autores propõem que em vez de validar o novo modelo, o certificado do modelo original possa ser adaptado ao novo. O maior desafio que eles enfrentam atualmente é integrar essas técnicas às ferramentas e ambientes de modelagem de software existentes.

Leia também:

A Terra atingirá uma temperatura crítica em 20 anos.

Aborto e ciência: o que acontecerá com as crianças que vão dar à luz.

A arte rupestre mais antiga do mundo foi encontrada.

O Ministério da Saúde da Argentina divulgou dados sobre os efeitos colaterais em quem recebeu o Sputnik V.