LDRA a Dassault zjednodušují ověřování bezpečnostně kritického softwaru

Tags: Bezpečnost | Certifikace | Dassault Systèmes | LDRA | Ověřování | Spolupráce

LDRA, zabývající se au­to­ma­ti­zo­va­ným ově­řo­vá­ním soft­wa­ru, sle­do­va­tel­nos­ti a do­dr­žo­vá­ní norem, ozná­mil 5. února LDRA TB­ma­na­ger In­te­gra­ti­on Pac­kage (TIP) pro No Magic Team­work Cloud. In­te­gra­ce do služ­by No Magic Team­work Cloud od Das­sault Sys­tè­mes roz­ši­řu­je sys­té­mo­vé in­že­nýr­ství za­lo­že­né na mo­de­lech a umo­ž­ňuje in­že­ný­rům do­sáh­nout níz­ko­úrov­ňo­vého a vy­so­ko­úrov­ňo­vého tes­to­vá­ní soft­wa­ru, které je po­vin­né pro za­jiš­tě­ní shody s nor­ma­mi funkč­ní bez­peč­nos­ti v ob­las­ti le­tec­tví, obra­ny a au­to­mo­bi­lo­vé­ho prů­mys­lu.

Mo­de­lo­vá­ní sys­té­mů, soft­wa­ro­vých a hard­wa­ro­vých ar­chi­tek­tur a cho­vá­ní je tra­dič­ně roz­pro­stře­no mezi ne­sou­vi­se­jí­cí ná­stro­je a do­ku­men­ty. Tyto ne­sou­ro­dé sys­témy ztě­žo­va­ly – ne-li zne­mož­ňo­valy – efek­tiv­ní a přes­né sle­do­vá­ní od po­ža­dav­ků k mo­de­lům, ke zdro­jo­vé­mu kódu a k ově­řo­va­cím čin­nos­tem a ar­te­fak­tům. Si­tu­a­ci kom­pli­ko­va­la ne­mož­nost pro­vést kom­plex­ní ana­lý­zu do­pa­du změn po­ža­dav­ků, změn mo­de­lu nebo kódu na celý pro­ces.

In­te­gra­ce sady ná­stro­jů LDRA do clou­du No Magic Team­work Cloud od Das­sault Sys­tè­mes řeší slo­ži­tý pro­blém sprá­vy změn sys­té­mu a ana­lý­zy do­pa­dů au­to­ma­tic­kým a obou­směr­ným pro­po­je­ním po­ža­dav­ků, mo­de­lů, kódu, testů a vý­sled­ných ar­te­fak­tů. Roz­ší­ře­ním di­gi­tál­ní nitě mezi soft­wa­ro­vý­mi ar­te­fak­ty a cer­ti­fi­ka­cí soft­wa­ru lze snad­no sle­do­vat a spra­vo­vat ja­ké­ko­li změny v pro­ce­su nebo pro­střed­cích, a to jak v před­cho­zím, tak v ná­sled­ném kroku. Tato in­te­li­gent­ní au­to­ma­ti­za­ce vede k vý­raz­ným úspo­rám ná­kla­dů opro­ti tra­dič­ním ne­sou­vi­se­jí­cím čin­nos­tem a ma­nu­ál­ní tvor­bě vý­vo­jo­vých a tes­to­va­cích ar­te­fak­tů.

Jak to funguje – Automatizace procesu testování a ověřování softwaru

In­te­grač­ní ba­lí­ček LDRA TB­ma­na­ger pro No Magic Team­work Cloud pro­po­ju­je vy­so­ko­úrov­ňové a níz­ko­úrovňové soft­wa­ro­vé po­ža­dav­ky, mo­de­ly, zdro­jo­vé kódy a vý­sled­né ar­te­fak­ty ově­řo­vá­ní. Díky to­mu­to ba­líč­ku mohou uži­va­te­lé au­to­ma­ti­zo­vat a urych­lit pro­ce­sy tes­to­vá­ní a ově­řo­vá­ní soft­wa­ru.

Zjednodušený pracovní postup

• In­že­ný­ři im­por­tu­jí vy­so­ko- a níz­ko­úrov­ňové soft­wa­ro­vé po­ža­dav­ky z mo­de­lů No Magic Team­work Cloud do TB­ma­na­ge­ru.
• Po­ža­dav­ky jsou pak pro­po­je­ny se soft­wa­ro­vý­mi sou­bo­ry a funk­ce­mi, tes­to­va­cí­mi pří­pa­dy a vý­sled­ky testů.
• Pokud všech­ny sou­vi­se­jí­cí testy pro po­ža­da­vek pro­jdou, stav ově­ře­ní po­ža­dav­ku au­to­ma­tic­ky od­rá­ží, že byl ově­řen.
• Stav ově­ře­ní všech po­ža­dav­ků spolu s dal­ší­mi změ­na­mi po­ža­dav­ků lze ex­por­to­vat zpět do No Magic Team­work Clou­du.
• Pokud je třeba změ­nit kód, po­ža­dav­ky nebo tes­to­va­cí pří­pa­dy, lze pří­sluš­ný test spus­tit znovu nebo podle po­tře­by re­gre­so­vat celou sadu testů.