DO-178C-gids: Inleiding tot RTCA DO-178-certificering
Inhoudsopgave
DO-178C Sjablonen voor plannen en normen
Inleiding
DO-178C is een softwarestandaard ontwikkeld door de Radio Technical Commission for Aeronautics (RTCA) die de richtlijnen definieert voor de ontwikkeling van veiligheidskritieke elektronische software. Het biedt een raamwerk voor de certificering van software die wordt gebruikt in luchtlandingssystemen, en zorgt ervoor dat deze voldoen aan strenge veiligheids- en betrouwbaarheidseisen. Een van de belangrijkste aspecten van DO-178C-naleving is grondig testen, inclusief het meten van structurele dekking. Dit artikel onderzoekt het belang van testen en structurele dekking in de context van DO-178C.
DO-178C begrijpen
Overzicht van DO-178C
DO-178C, getiteld "Software Considerations in Airborne Systems and Equipment Certification", is de huidige standaard voor het ontwikkelen en certificeren van software in airborne-systemen. Het biedt een raamwerk voor het bepalen van de veiligheid, betrouwbaarheid en conformiteit van software die wordt gebruikt in elektronische systemen. DO-178C vervangt zijn voorganger, DO-178B, en introduceert verschillende verbeteringen en verduidelijkingen.
Het belang van DO-178C-naleving
Voldoen aan DO-178C is essentieel om de luchtwaardigheid van elektronische systemen te waarborgen. De norm legt de nadruk op een systematische en rigoureuze benadering van softwareontwikkeling, verificatie en validatie. Het naleven van DO-178C helpt niet alleen potentiële softwaredefecten te identificeren en te verminderen, maar bevordert ook een uitgebreid begrip van het gedrag, de interfaces en mogelijke storingsmodi van de software.
Testen in DO-178C
Verificatie proces
DO-178C schetst een uitgebreid verificatieproces dat op vereisten gebaseerde testen, integratietesten en systeemtesten omvat. Het doel van testen is om aan te tonen dat de software de beoogde functies correct en betrouwbaar uitvoert. Het verificatieproces bestaat uit vier verschillende niveaus, elk voortbouwend op het vorige: niveau A (de meest kritische) tot niveau D (de minst kritische). Ongeacht het niveau, testen is een essentieel onderdeel van het DO-178C-proces.
Doelstellingen testen
De primaire doelstellingen van testen in DO-178C zijn:
- Aantonen dat de software voldoet aan de gestelde eisen.
- Identificeer en elimineer defecten die de veiligheid in gevaar kunnen brengen.
- Lever bewijs ter ondersteuning van de certificering van de software.
Testtechnieken
DO-178C maakt verschillende testtechnieken mogelijk, waaronder:
- Functioneel testen: Verifiëren van de functionele correctheid van de software door het uitvoeren van testcases die de functies en mogelijkheden ervan uitoefenen.
- Structureel testen: Focussen op de interne structuur van de software, de paden, vertakkingen en beslissingspunten onderzoeken om ervoor te zorgen dat alle logische uitkomsten zijn uitgevoerd.
- Prestatietesten: Evalueren van de prestaties van de software onder verschillende belastingsomstandigheden om ervoor te zorgen dat deze voldoet aan de gespecificeerde vereisten.
- Regressietesten: Het opnieuw uitvoeren van eerder uitgevoerde tests om ervoor te zorgen dat wijzigingen of verbeteringen geen nieuwe defecten introduceren.
- Foutinjectie testen: Opzettelijk fouten of fouten in de software injecteren om de robuustheid en het vermogen om met abnormale omstandigheden om te gaan te beoordelen.
Structurele dekking in DO-178C
Definitie
Structurele dekking, ook wel codedekking genoemd, verwijst naar de meting van hoeveel van de softwarecode is uitgevoerd tijdens het testen. Het helpt de grondigheid van het testproces te beoordelen door gebieden te identificeren die niet zijn uitgevoerd. Structurele dekking levert het bewijs dat de software voldoende is getest en helpt ervoor te zorgen dat alle mogelijke uitkomsten van de softwarelogica zijn overwogen.
Dekkingscriteria
DO-178C specificeert verschillende dekkingscriteria waaraan tijdens het testen moet worden voldaan. Deze criteria omvatten:
- Verklaring Dekking: Zorgt ervoor dat elk uitvoerbaar statement in de software minstens één keer is uitgevoerd tijdens het testen.
- Beslissingsdekking: Verifieert dat elk beslissingspunt (bijv. if-statements, switch-statements) in de software is uitgevoerd met zowel ware als onware uitkomsten.
- Conditiedekking: Zorgt ervoor dat elke Booleaanse voorwaarde binnen een beslissingspunt is geëvalueerd op zowel ware als onwaar-waarden.
- Gewijzigde voorwaarde/beslissingsdekking (MC/DC): Dit verifieert dat elke voorwaarde onafhankelijk van invloed is op de uitkomst van een beslissing.
Voordelen van structurele dekking
Structurele dekkingsmeting biedt verschillende voordelen binnen de DO-178C-context:
- Vroegtijdige detectie van niet-geteste of gedeeltelijk geteste code: Structurele dekkingsanalyse helpt bij het identificeren van gebieden van de software die niet zijn uitgevoerd door bestaande tests, waardoor meer gerichte testinspanningen mogelijk zijn.
- Risico beperking: Door een uitgebreide dekking te garanderen, wordt de kans op onopgemerkte softwaredefecten en veiligheidskritieke storingen verkleind.
- Ondersteuning bij certificering: Structurele dekkingsstatistieken leveren objectief bewijs dat de testactiviteiten zijn uitgevoerd in overeenstemming met de DO-178C-richtlijnen, wat het certificeringsproces vergemakkelijkt.
- Verbeterde softwarekwaliteit: Door alle codepaden en beslissingspunten te oefenen, helpen structurele dekkingstests de algehele kwaliteit en betrouwbaarheid van de software te verbeteren.
Gebruik van professionele tools zoals Visure Solutions voor het DO-178C-test- en dekkingsproces
Visure Solutions is een toonaangevende tool voor vereistenbeheer die end-to-end ondersteuning biedt voor de gehele levenscyclus van softwareontwikkeling. Het biedt een collaboratief en geïntegreerd platform voor het beheer van vereisten, testgevallen, traceerbaarheid en documentatie. Visure Solutions is ontworpen om te voldoen aan de strenge eisen van veiligheidskritische industrieën, waaronder de luchtvaart, waar naleving van normen zoals DO-178C cruciaal is.
Belangrijkste kenmerken van Visure-oplossingen voor DO-178C-testen en -dekking
Visure Solutions biedt een reeks functies die specifiek zijn afgestemd op het ondersteunen van het DO-178C-test- en dekkingsproces:
- Vereistenbeheer: Visure Solutions maakt het vastleggen, organiseren en beheren van softwarevereisten mogelijk volgens de DO-178C-richtlijnen. Het biedt traceerbaarheidsfuncties om traceerbaarheidskoppelingen tussen vereisten, ontwerp, testcases en code tot stand te brengen en te onderhouden.
- Beheer van testcases: De tool vergemakkelijkt het maken, beheren en uitvoeren van testgevallen. Testgevallen kunnen worden gekoppeld aan eisen, waardoor een efficiënte traceerbaarheid en verificatie van de dekking mogelijk is.
- Analyse van structurele dekking: Visure Solutions ondersteunt de analyse en beoordeling van structurele dekkingsstatistieken, waaronder verklaringsdekking, beslissingsdekking en gewijzigde toestand/beslissingsdekking (MC/DC). Het biedt visuele representaties van dekkingsgegevens, waardoor ontwikkelaars gebieden kunnen identificeren die aanvullende tests vereisen.
- Traceerbaarheidsbeheer: De tool biedt krachtige mogelijkheden voor traceerbaarheidsbeheer, zodat elke vereiste correct wordt getraceerd naar testcases en codeartefacten. Deze traceerbaarheid helpt bij het aantonen van naleving van DO-178C-doelstellingen en helpt bij het certificeringsproces.
- Change Management: Visure Solutions omvat functies voor wijzigingsbeheer die het volgen en beheersen van wijzigingen in vereisten, testgevallen en andere projectartefacten vergemakkelijken. Dit zorgt ervoor dat wijzigingen correct worden gedocumenteerd, beoordeeld en goedgekeurd, waardoor de naleving van de DO-178C-configuratiebeheervereisten behouden blijft.
Voordelen van het gebruik van Visure-oplossingen
- Verbeterde efficiëntie en samenwerking – Visure Solutions stroomlijnt het DO-178C-test- en dekkingsproces, waardoor de efficiëntie en samenwerking tussen teamleden wordt verbeterd. De tool biedt een gecentraliseerd platform voor het beheer van vereisten, testgevallen en traceerbaarheid, waardoor de complexiteit en tijd die wordt besteed aan handmatige administratieve taken wordt verminderd.
- Verbeterde zichtbaarheid en traceerbaarheid – Door gebruik te maken van Visure Solutions krijgen ontwikkelingsteams meer inzicht in de gehele levenscyclus van softwareontwikkeling. De tool maakt uitgebreide traceerbaarheid tussen vereisten, testgevallen en code mogelijk, waardoor elke vereiste adequaat wordt getest en een duidelijk audittraject wordt geboden voor nalevingsdoeleinden.
- Versneld certificeringsproces – Visure Solutions helpt het softwarecertificeringsproces te versnellen door gestructureerde en georganiseerde documentatie te bieden die voldoet aan de DO-178C-normen. De traceerbaarheidsfuncties van de tool maken een efficiënte en nauwkeurige rapportage van vereistendekking en structurele dekkingsstatistieken mogelijk, waardoor certificeringsactiviteiten en audits worden vergemakkelijkt.
- Naleving van de DO-178C-richtlijnen – Visure Solutions is speciaal ontworpen om aan de vereisten van DO-178C te voldoen. Door de tool te gebruiken, kunnen organisaties ervoor zorgen dat hun softwareontwikkelingsprocessen in overeenstemming zijn met de richtlijnen en doelstellingen van de norm. Visure Solutions biedt ingebouwde sjablonen, workflows en functionaliteiten die zijn afgestemd op de nalevingsvereisten van DO-178C.
Conclusie
Testen en structurele dekking zijn cruciale elementen van de DO-178C-standaard voor de ontwikkeling en certificering van veiligheidskritische elektronische software. Strenge tests, gecombineerd met een uitgebreide analyse van de structurele dekking, helpen ervoor te zorgen dat de software voldoet aan de gespecificeerde vereisten en betrouwbaar werkt in de bedoelde omgeving. Door zich te houden aan de testrichtlijnen van DO-178C en een bevredigende structurele dekking te bereiken, kunnen luchtvaartsoftwareontwikkelaars de veiligheid en betrouwbaarheid van hun systemen aantonen, wat uiteindelijk bijdraagt aan veiliger vliegreizen.
In de context van DO-178C-testen en -dekking biedt het gebruik van professionele tools zoals Visure Solutions aanzienlijke voordelen op het gebied van efficiëntie, samenwerking, zichtbaarheid en naleving. De gespecialiseerde functies van de tool voor vereistenbeheer, testcasebeheer, structurele dekkingsanalyse, traceerbaarheidsbeheer en wijzigingsbeheer stroomlijnen het gehele softwareontwikkelingsproces en vergemakkelijken de naleving van de DO-178C-richtlijnen. Maak gebruik van Visure's Gratis proefperiode van 30-dag om uw softwareontwikkelingspraktijken te verbeteren en meer vertrouwen te krijgen in de betrouwbaarheid en veiligheid van hun elektronische systemen.
Vergeet dit bericht niet te delen!
hoofdstukken
1. Airborne-standaardintroductie
2. DO-178-certificeringsproces
3. DO-178C hulpmiddelen en trainingen
4. Geavanceerde DO-178C-onderwerpen
5. DO-178C-bronnen
6. Glossarium
Sneller op de markt met Visure
- Zorg voor naleving van de regelgeving
- Volledige traceerbaarheid afdwingen
- Stroomlijn ontwikkeling
