A tool has been created that allows you to detect bugs right at the time of writing code

Any project requires the development of a series of initial plans before implementation begins, which serve as the basis and

guidance for the entire process. A similar procedure is followed in software development involving a specific step known as modeling.

Engineers use simulation to describeprogram from a specific point of view, for example, with the data that it will use, its components, or the way they expect to work. Going back to the construction project example, the plans will be “models” that can be used as a guide during the design phase, as well as for modeling and testing.

According to researchers, the most commonThe type of model used is the Unified Modeling Language (UML) class diagram notation, which is used to describe the structure of a software system. The advantage of working with these models is that they are more abstract than the source code, which contains many specific details about the technology used. And these models can be more concise, easier to manufacture and understand. "

So the simulation could serverather a preliminary step than an alternative to the source code. Models make it easier to understand the system being developed, and can also be used to create specific implementation elements, automating the most repetitive parts of the programming process.

Engineers use verification tools to prevent errors that could affect the code itself and therefore the final implementation of the system.

“We need to make sure that the models are correct to minimize any software errors that could arise as a result.”

Professor at the Oberta de Catalunya University, member of the SOM Research Lab research group Robert Clariso

Every time a change is made to the model,for example, adding, removing or changing information - this means that the entire system has to be re-analyzed, so validation is usually only done after the final model has been created at the end of the process.

This method is also innovative in thatconcerns the use of certificates, examples illustrating the correct operation of the model. As the researcher noted: “When we modify the model, having a new certificate removes the need to validate it.

It is much cheaper to adapt the certificatethan restarting the verification process. Explaining the process, the authors propose that instead of validating the new model, the original model certificate can be adapted to the new one. The biggest challenge they currently face is integrating these techniques into existing software modeling tools and environments.

Read also:

The earth will reach a critical temperature in 20 years.

Abortion and science: what will happen to the children who will give birth.

The oldest rock art in the world was found.

The Ministry of Health of Argentina disclosed data on side effects in those who received Sputnik V.