Kodestandarder:
50 år med kodesjekk
Britiske LDRA startet som en relativ smal virksomhet innen programvaretest. I dag er selskapet ledende innen en bransje som blir viktigere og bredere for hver dag.
– Vi startet jo i det små med løsninger for sjekk av kodekvalitet og -krav. Nå kan vi tilby full livssyklus-tjenester, og test av samsvar med de relevante standardene, forteller markedsdirektør Jim McElroy i LDRA. – I disse dager kommer for eksempel en ny versjon av retningslinjer for neste generasjon C-kode i kritiske systemer: MISRA C:2025. Vi har både styremedlem i MISRA, og bidrar kontinuerlig i standardiseringsarbeidet, fremholder han.
LDRA har et bredt tilbud av løsninger for å sjekke kodekvalitet og samsvar med krav. Et område McElroy ser spesielt stor vekst i nå, er RISC-V. – Det er høyt moment i industrien for RISC-V nå, sier McElroy, som kan fortelle at LDRA inngår stadig nye partnerskap innen dette området. For en tid siden inngikk de et samarbeid med Synopsys, og like før Embedded World 2025 kunne de melde at de har sluttet seg til Microchips Mi-V økosystem.
Det betyr at de legger til støtte for PolarFire SoC FPGAer og PIC64 MPUer i LDRA-verktøypakken. Samarbeidet mellom LDRA og Microchip utvider støtte for funksjonell sikkerhet og trygghet for Microchips RISC-V-arkitektur, med viktige nye verktøy og funksjoner som skal forenkle og fremskynde utvikling, verifisering og sertifisering av applikasjoner ved hjelp av PolarFire SoC FPGA-er og PIC64 MPUer, som begge inkluderer flere RISC-V-prosessorkjerner.
– I praksis betyr det at vi kan tilby analyse av parallellprosesser, og gjennom vår måleteknikk si noe om kundene kan møte aktuelle sanntidskrav, for eksempel, sier McElroy.
PolarFire SoC FPGA og PIC64 MPU-utviklere kan nå dra nytte av hele LDRA-verktøypakken, inkludert:
- Statisk analyse med kodegjennomgang (inkludert rapportering av brudd på kodestandard) og kvalitetsgjennomgang (klarhet, vedlikeholdbarhet, testbarhet)
- Dynamisk analyse som måler strukturell kodedekning
- Enhets- og integrasjonstesting, inkludert timingtester som Worst Case Execution Time (WCET)
- Krav til sporbarhet
- LDRAvault for en omfattende team- og datasentrisk tilnærming for å administrere og spore sertifiseringsfremgang
- Rapportering om samsvar med funksjonell sikkerhet og sikkerhetsstandarder
– Innen funksjonell sikkerhet har vi nå, ikke minst gjennom ulike partnere, et komplett tilbud innen funksjonell sikkerhet for RiSC-V, understreker han. – Vi merker økende etterspørsel, og ser at samarbeidet med Microchip vil utvide markedet for oss, avslutter McElroy.
