Sikkerhetskritiske systemer:

Oppdatert C++ test

Oppdatering av SuperTest Vermeer med Tempest2 og 800 andre C++ tester.

Publisert Sist oppdatert

Solid Sands, den nederlandske leverandøren av test- og kvalifiseringsteknologi for kompilatorer og biblioteker, har lansert oppdatering #4 av sin SuperTest Vermeer-utgivelse.

Denne SuperTest Vermeer Release Update #4 påstås å ta ting til neste nivå for utviklere av sikkerhetskritiske applikasjoner programmert i C++. Dette er takket være de 800 ekstra testene som er gjort tilgjengelig. SuperTest skal tilfredsstille kravene til trygghet, funksjonell sikkerhet og atferd i ISO 26262. Ved å støtte testen og valideringen av C++20-kompilatorer, gjør SuperTest det mulig for utviklere å følge med på den siste utviklingen innen C++-programmering, heter det.

Oppdateringen inneholder også en mer effektiv optimaliseringspakke, og introduserer Tempest2, den nyeste versjonen av det populære og brukervennlige verktøyet som automatiserer repeterende testmønstre. Tempest2 bruker Solid Sands sin generiske mekanisme for å inkludere testgeneratorer, noe som gjør det mulig å generere tester fra kontekstfri grammatikk og en kodemal. Tempest2 er utviklet for å bruke "bånd" («ties») som en måte å binde sammen flere literaler, og tilbyr testutviklere nøyaktig kontroll over hvordan tester genereres.

- Jeg er sikker på at brukerne våre i bilindustrien og andre sikkerhetskritiske industrier vil ønske denne oppdateringen velkommen fordi den gir et stort skritt fremover for C++, kommenterer Marcel Beemster, CTO hos Solid Sands. - Et spesielt høydepunkt er det forbedrede standardbibliotekets strukturelle dekning for C++11 og C++14, som nærmer seg 100 %. Men vi er også forpliktet til våre mange andre brukere, som vil sette pris på forbedringene til optimaliseringstestpakken, ved at applikasjonsomfanget er mye bredere, og finjusteringen av testsuiteorganisasjonen for å bedre matche språkspesifikasjonene. Til slutt, selv om de kanskje ikke skriver maler for Tempest2 selv, vil alle dra nytte av det med en gang fordi vi allerede har laget mange tester med den, avslutter han.

Powered by Labrador CMS