DO-178C juhend: RTCA DO-178 sertifitseerimise sissejuhatus
Sisukord
DO-178C plaanide ja standardite mallid
Sissejuhatus
DO-178C on lennunduse raadiotehnilise komisjoni (RTCA) poolt välja töötatud tarkvarastandard, mis määratleb juhised ohutuskriitilise avioonikatarkvara arendamiseks. See loob raamistiku õhusõidukites kasutatava tarkvara sertifitseerimiseks, tagades selle vastavuse rangetele ohutus- ja töökindlusnõuetele. Üks DO-178C vastavuse põhiaspekte on põhjalik testimine, sealhulgas konstruktsiooni katvuse mõõtmine. See artikkel uurib testimise ja struktuurilise katvuse tähtsust DO-178C kontekstis.
DO-178C mõistmine
DO-178C ülevaade
DO-178C, pealkirjaga "Tarkvara kaalutlused õhus kasutatavate süsteemide ja seadmete sertifitseerimisel", on praegune standard õhus kasutatavate süsteemide tarkvara arendamiseks ja sertifitseerimiseks. See loob raamistiku avioonikasüsteemides kasutatava tarkvara ohutuse, töökindluse ja nõuetele vastavuse kindlaksmääramiseks. DO-178C asendab oma eelkäija DO-178B ning tutvustab mitmeid täiustusi ja täpsustusi.
DO-178C vastavuse tähtsus
DO-178C järgimine on avioonikasüsteemide lennukõlblikkuse tagamiseks hädavajalik. Standard rõhutab süstemaatilist ja ranget lähenemist tarkvara arendamisele, verifitseerimisele ja valideerimisele. DO-178C järgimine mitte ainult ei aita tuvastada ja leevendada võimalikke tarkvaravigu, vaid soodustab ka tarkvara käitumise, liideste ja võimalike tõrkerežiimide igakülgset mõistmist.
Testimine DO-178C-s
Kinnitusprotsess
DO-178C kirjeldab kõikehõlmavat kontrolliprotsessi, mis hõlmab nõuetepõhist testimist, integratsiooni testimist ja süsteemi testimist. Testimise eesmärk on näidata, et tarkvara täidab ettenähtud funktsioone õigesti ja usaldusväärselt. Kontrolliprotsess koosneb neljast erinevast tasemest, millest igaüks tugineb eelmisele: tase A (kõige kriitilisem) kuni D tase (kõige vähem kriitiline). Olenemata tasemest on testimine DO-178C protsessi oluline komponent.
Testi eesmärgid
DO-178C testimise peamised eesmärgid on:
- Näidake, et tarkvara vastab määratud nõuetele.
- Tuvastage ja kõrvaldage vead, mis võivad ohustada ohutust.
- Esitage tõendid tarkvara sertifitseerimise toetamiseks.
Testimistehnikad
DO-178C võimaldab kasutada erinevaid katsemeetodeid, sealhulgas:
- Funktsionaalne testimine: Tarkvara funktsionaalse õigsuse kontrollimine, teostades selle funktsioone ja võimalusi rakendavaid testjuhtumeid.
- Struktuuri testimine: Keskendumine tarkvara sisemisele struktuurile, selle radade, harude ja otsustuspunktide uurimine tagamaks, et kõik loogilised tulemused on teostatud.
- Jõudluse testimine: Tarkvara jõudluse hindamine erinevates laadimistingimustes, et tagada selle vastavus kindlaksmääratud nõuetele.
- Regressioonitestid: Varem teostatud testide uuesti käivitamine tagamaks, et muudatused või täiustused ei too kaasa uusi defekte.
- Vea sissepritse testimine: Tarkvarasse vigade või vigade tahtlik sisestamine, et hinnata selle vastupidavust ja võimet tulla toime ebatavaliste tingimustega.
Struktuurne katvus DO-178C-s
Määratlus
Struktuurne katvus, tuntud ka kui koodi katvus, viitab selle mõõtmisele, kui suur osa tarkvara koodist on testimise ajal käivitatud. See aitab hinnata testimisprotsessi põhjalikkust, tuvastades valdkonnad, mida ei ole kasutatud. Struktuurne katvus tõendab, et tarkvara on piisavalt testitud ja aitab tagada, et tarkvara loogika kõiki võimalikke tulemusi on arvesse võetud.
Katvuse kriteeriumid
DO-178C määrab kindlaks mitu katvuskriteeriumi, mis peavad testimise ajal olema täidetud. Need kriteeriumid hõlmavad järgmist:
- Väljavõtte katvus: Tagab, et iga tarkvara käivitatav lause on testimise ajal käivitatud vähemalt korra.
- Otsuse katvus: Kontrollib, et tarkvara iga otsustuspunkt (nt kui-laused, lülituslaused) on teostatud nii tõeste kui ka valede tulemustega.
- Seisundi katvus: Tagab, et iga Boole'i tingimus otsustuspunktis on hinnatud nii tõeseks kui ka valeks.
- Muudetud seisukorra/otsuse katvus (MC/DC): See kinnitab, et iga tingimus mõjutab iseseisvalt otsuse tulemust.
Struktuurse katte eelised
Struktuurse katvuse mõõtmine pakub DO-178C kontekstis mitmeid eeliseid:
- Testimata või osaliselt testitud koodi varajane avastamine: Struktuurse katvuse analüüs aitab tuvastada tarkvara valdkonnad, mida olemasolevad testid ei kasutanud, võimaldades sihipärasemaid testimispüüdlusi.
- Riski vähendamine: Laiaulatusliku katvuse tagamine vähendab avastamata tarkvaravigade ja ohutuskriitiliste rikete tõenäosust.
- Sertifitseerimise tugi: Struktuurse katvuse mõõdikud annavad objektiivse tõendi selle kohta, et testimistoimingud on läbi viidud vastavalt DO-178C juhistele, hõlbustades sertifitseerimisprotsessi.
- Täiustatud tarkvara kvaliteet: Kasutades kõiki kooditeid ja otsustuspunkte, aitab struktuurse katvuse testimine parandada tarkvara üldist kvaliteeti ja töökindlust.
Professionaalsete tööriistade, nagu Visure Solutions, kasutamine DO-178C testimiseks ja katvusprotsessiks
Visure Solutions on juhtiv nõuete haldamise tööriist, mis pakub täielikku tuge kogu tarkvaraarenduse elutsükli jooksul. See pakub koostööpõhist ja integreeritud platvormi nõuete, testjuhtumite, jälgitavuse ja dokumentatsiooni haldamiseks. Visure Solutions on loodud vastama ohutuskriitiliste tööstusharude, sealhulgas lennunduse, rangetele nõuetele, kus standardite (nt DO-178C) järgimine on ülioluline.
Visure'i lahenduste põhifunktsioonid DO-178C testimiseks ja katmiseks
Visure Solutions pakub mitmeid funktsioone, mis on spetsiaalselt kohandatud DO-178C testimis- ja leviprotsessi toetamiseks:
- Nõuete haldamine: Visure Solutions võimaldab tarkvaranõuete püüdmist, korraldamist ja haldamist vastavalt DO-178C juhistele. See pakub jälgitavuse funktsioone, et luua ja säilitada jälgitavuse seoseid nõuete, disaini, testjuhtumite ja koodi vahel.
- Testjuhtumite haldamine: Tööriist hõlbustab testjuhtumite loomist, haldamist ja täitmist. Katsejuhtumeid saab siduda nõuetega, mis võimaldab tõhusat jälgitavust ja leviala kontrollimist.
- Struktuurse katvuse analüüs: Visure Solutions toetab struktuurilise katvuse mõõdikute analüüsi ja hindamist, sealhulgas avalduste katvust, otsuste katvust ja muudetud tingimuste/otsuste katvust (MC/DC). See pakub katvusandmete visuaalset esitust, võimaldades arendajatel tuvastada valdkonnad, mis vajavad täiendavat testimist.
- Jälgitavuse haldamine: Tööriist pakub tugevaid jälgitavuse haldusvõimalusi, tagades, et iga nõue on õigesti jälgitav kuni testjuhtumite ja koodiartefaktideni. See jälgitavus aitab tõendada vastavust DO-178C eesmärkidele ja aitab kaasa sertifitseerimisprotsessile.
- Muutuste juhtimine: Visure Solutions sisaldab muudatuste haldamise funktsioone, mis hõlbustavad nõuete, testjuhtumite ja muude projekti artefaktide muudatuste jälgimist ja kontrollimist. See tagab, et muudatused on nõuetekohaselt dokumenteeritud, üle vaadatud ja heaks kiidetud, säilitades vastavuse DO-178C konfiguratsioonihaldusnõuetega.
Visure'i lahenduste kasutamise eelised
- Parem tõhusus ja koostöö – Visure Solutions lihtsustab DO-178C testimis- ja katvusprotsessi, parandades tõhusust ja meeskonnaliikmete vahelist koostööd. Tööriist pakub tsentraliseeritud platvormi nõuete, testjuhtumite ja jälgitavuse haldamiseks, vähendades käsitsi haldusülesannete keerukust ja aega.
- Parem nähtavus ja jälgitavus – Visure Solutionsi võimendamisega saavutavad arendusmeeskonnad kogu tarkvaraarenduse elutsükli parema nähtavuse. Tööriist võimaldab igakülgset jälgimist nõuete, testjuhtumite ja koodide vahel, tagades iga nõude piisava testimise ja pakkudes selge kontrolljälje vastavuse tagamiseks.
- Kiirendatud sertifitseerimisprotsess – Visure Solutions aitab kiirendada tarkvara sertifitseerimisprotsessi, pakkudes struktureeritud ja organiseeritud dokumentatsiooni, mis vastab DO-178C standarditele. Tööriista jälgitavusfunktsioonid võimaldavad tõhusat ja täpset aruandlust nõuete katvuse ja struktuurse katvuse mõõdikute kohta, hõlbustades sertifitseerimistegevust ja auditeid.
- Vastavus DO-178C juhistele – Visure Solutions on loodud spetsiaalselt DO-178C nõuete täitmiseks. Tööriista kasutades saavad organisatsioonid tagada, et nende tarkvaraarendusprotsessid vastavad standardi juhistele ja eesmärkidele. Visure Solutions pakub sisseehitatud malle, töövooge ja funktsioone, mis on kohandatud vastama DO-178C vastavusnõuetele.
Järeldus
Testimine ja struktuurne katvus on DO-178C standardi kriitilised elemendid ohutuskriitilise avioonikatarkvara arendamiseks ja sertifitseerimiseks. Range testimine koos põhjaliku struktuurilise katvuse analüüsiga aitab tagada, et tarkvara vastab kindlaksmääratud nõuetele ja töötab usaldusväärselt ettenähtud keskkonnas. Järgides DO-178C testimisjuhiseid ja saavutades rahuldava struktuurilise katvuse, saavad lennundustarkvara arendajad näidata oma süsteemide ohutust ja töökindlust, aidates lõpuks kaasa ohutuma lennureiside saavutamisele.
DO-178C testimise ja leviala kontekstis pakub professionaalsete tööriistade, nagu Visure Solutions, kasutamine olulisi eeliseid tõhususe, koostöö, nähtavuse ja vastavuse osas. Tööriista spetsialiseeritud funktsioonid nõuete haldamiseks, testjuhtumite haldamiseks, struktuurilise katvuse analüüsiks, jälgitavuse haldamiseks ja muudatuste haldamiseks lihtsustavad kogu tarkvaraarendusprotsessi ja hõlbustavad DO-178C juhiste järgimist. Kasutage Visure'i 30-päevane tasuta prooviversioon et täiustada oma tarkvaraarenduse tavasid ja saavutada suurem kindlustunne oma avioonikasüsteemide töökindluse ja ohutuse suhtes.
Ärge unustage seda postitust jagada!
peatükid
1. Õhusõiduki standardi tutvustus
2. DO-178 sertifitseerimisprotsess
3. DO-178C tööriistad ja koolitused
4. DO-178C täpsemad teemad
5. DO-178C ressursid
6. Sõnastik
Visure abil saate kiiremini turule
- Tagada eeskirjade järgimine
- Täieliku jälgitavuse jõustamine
- Arengu sujuvamaks muutmine
