Embedded World:

Kvalifisering av C++ bibliotek og kompilator

Solid Sands lanserer to nye løsninger under Embedded World 2023.

Publisert

Solid Sands, en ledende leverandør av test- og kvalifiseringsteknologi for kompilatorer og bibliotek, kommer til å bruke sin tilstedeværelse på Embedded World 2023 til å lansere utviklingen av to nye løsninger som skal møte et økende behov for kvalifisering av C++ bibliotek og kompilatorer.

Her vil de vise frem en ny versjon av SuperGuard Library Safety Qualification Suite for C++ som vil bli tilgjengelig mot slutten av 2023.

- Etter hvert som innvevde applikasjoner blir mer og mer omfattende, lengter utviklere sikkerhetskritiske produkter etter et programmeringsspråk som tilbyr hastigheten og kontrollen til C, og som kan håndtere abstraksjonene som trengs for komplekse prosjekter, og har et robust bibliotek med eksisterende kode, skriver selskapet i en pressemelding.

Det språket er C++, slår de samtidig fast.

Solid Sands har lenge støttet C++ kompilatorkvalifisering med SuperTest. Selskapet kan nå fortelle verden at de også leverer SuperGuard for standard bibliotekkvalifisering for C++, på forespørsel og for spesifikke deler.

Solid Sands vil dele stand med sin partner BUGSENG, en ledende leverandør av løsninger for statisk kodeanalyse og -tjenester. I et felles prosjekt med Solid Sands opprettet BUGSENG den såkalte CerTran-utvidelsen til ECLAIR.

CerTran automatiserer konfigurasjonen av SuperTest for kompilatorkvalifisering ved å skanne applikasjonsbyggingsprosessen og lage de eksakte testkonfigurasjonsfilene som trengs for å dekke alle brukstilfellene. Ikke bare sparer dette mye tid, men det unngår også konfigurasjonsfeil som lett kan oppstå når byggeprosessen skannes manuelt, hevder selskapet.

- Når man utvikler sikkerhetskritiske applikasjoner i C/C++, er det to nøkkelfaktorer å ta i betraktning – gjør kompilatoren og biblioteket det de skal, og overholder applikasjonens kildekode programmeringsretningslinjer som MISRA? For den første har vi SuperTest, for det andre har BUGSENG ECLAIR. Med ECLAIRs CerTran-integrasjon kan disse to nå jobbe sømløst sammen. Det gjør sikkerhetskritisk utvikling så mye mer effektiv, uttaler teknisk direktør i Solid Sands, Marcel Beemster.

www.solidsands.nl

Powered by Labrador CMS