„Huawei“ ieškos programos kodo trūkumų naudodami statinį analizatorių

Statinis analizatorius automatiškai patvirtins programos kodą ir suras paslėptą

jo defektai.Dėl to padidės parašyto kodo kokybė. Kūrėjai teigia, kad naujasis sprendimas bus efektyvesnis už esamus analizatorius. Be to, produktas bus atvirojo kodo, o tai reiškia, kad juo bus galima patikrinti programų tekstus kitose įmonėse.

Be „Huawei“, naujų gyventojų sąrašas irtarp partnerių buvo 15 įmonių, įskaitant „Ak Bars Digital Solutions“, „Ozon Technologies“, „Cyberscape Investments“, „Promvad“, „Synergy Soft“, „HightechPark“ ir kitas.

Kitas SEZ partneris – koncernas KUKA, vienas išpasaulyje pirmaujantys robotikos, pramonės ir sistemų įrangos gamintojai – kartu su Innopolio universitetu atidarys kompetencijų centrą įmonėms, besidominčioms gamybos procesų modernizavimu. Pramoninis robotas su įdiegta programine įranga turėtų būti sukurtas pagal užsakovo reikalavimus.

O įmonė „Ozone Technologies“ pristatė projektąapie OZON rinkos logistikos robotizavimą ir automatizavimą. Projektas susijęs su logistikos centrų robotizavimu ir robotų sistemų, skirtų efektyviam užsakymų saugojimui, apdorojimui ir pristatymui, kūrimu. Mes kuriame savo programinės ir techninės įrangos platformą.

Skaityti Toliau

Mokslininkams trejus metus nepavyko sugauti „Rambo“ lapės. Tai neleidžia retų gyvūnų paleisti į mišką

Nematomi lėktuvai nebegali slėptis: Kinija sukuria kvantinį radarą, kad juos surastų

Mokslininkai pasakojo, kam didesnė tikimybė susirgti koronavirusu kitoje bangoje