Byl vytvořen nástroj, který umožňuje detekovat chyby přímo v době psaní kódu

Každý projekt vyžaduje před zahájením realizace vypracování řady počátečních plánů, které slouží jako základ a

návod na celý proces. Podobný postup se používá při vývoji softwaru, který zahrnuje specifický krok známý jako modelování.

Inženýři k popisu používají simulaciprogram z konkrétního hlediska, například s údaji, které bude používat, jeho komponentami nebo způsobem, jakým očekávají, že budou fungovat. Vrátíme-li se k příkladu stavebního projektu, plány budou „modely“, které lze použít jako vodítko během fáze návrhu, jakož i pro modelování a testování.

Podle vědců nejčastějšíPoužitým typem modelu je zápis diagramu tříd Unified Modeling Language (UML), který se používá k popisu struktury softwarového systému. Výhodou práce s těmito modely je, že jsou abstraktnější než zdrojový kód, který obsahuje mnoho konkrétních podrobností o použité technologii. A tyto modely mohou být stručnější, snadněji vyrobitelné a srozumitelné. “

Simulace tedy mohla sloužitspíše předběžný krok než alternativa ke zdrojovému kódu. Modely usnadňují pochopení vyvíjeného systému a lze je také použít k vytvoření konkrétních implementačních prvků, které automatizují nejvíce se opakující části programovacího procesu.

Inženýři používají ověřovací nástroje, aby zabránili chybám, které by mohly ovlivnit samotný kód a tím i konečnou implementaci systému.

"Musíme se ujistit, že modely jsou správné, abychom minimalizovali veškeré softwarové chyby, které by v důsledku toho mohly nastat."

Profesor na univerzitě Oberta de Catalunya, člen výzkumné skupiny SOM Research Lab Robert Clariso

Pokaždé, když dojde ke změně modelu,například přidání, odebrání nebo změna informací - to znamená, že celý systém musí být znovu analyzován, takže ověření se obvykle provádí až po vytvoření konečného modelu na konci procesu.

Tato metoda je v tom také inovativnítýká se používání certifikátů, příkladů ilustrujících správné fungování modelu. Jak výzkumník poznamenal: „Když model upravujeme, nový certifikát odstraňuje nutnost jeho ověření.

Je mnohem levnější přizpůsobit certifikátnež restartování procesu ověřování. Autoři vysvětlují postup a navrhují, aby místo ověření nového modelu bylo možné původní certifikát certifikátu přizpůsobit novému. Největší výzvou, které v současné době čelí, je integrace těchto technik do stávajících nástrojů a prostředí softwarového modelování.

Přečtěte si také:

Země dosáhne kritické teploty za 20 let.

Potrat a věda: co se stane s dětmi, které porodí.

Bylo nalezeno nejstarší skalní umění na světě.

Ministerstvo zdravotnictví Argentiny zveřejnilo údaje o vedlejších účincích u těch, kteří dostávali přípravek Sputnik V.