Ordlista

Innehållsförteckning

Ordlista

Förkortningar
Villkor
Definition
CC
Kodtäckning
Ett mått på i vilken utsträckning källkoden för ett mjukvarusystem har testats genom exekvering av specifika testfall.
CSCI
Konfigurationsobjekt för datorprogramvara
En samling programvaror som är designade för att utvecklas, testas och levereras som en enda enhet.
DAL
Designsäkringsnivå
En klassificering som används i DO-178C för att kategorisera programvaruobjekt baserat på deras kritiska betydelse för den övergripande systemsäkerheten.
DCL
Datakopplingsnivå
Ett mått på graden av ömsesidigt beroende mellan två programvarumoduler eller komponenter baserat på data som utbyts mellan dem.
DO-178C
Programvaruöverväganden i luftburna system och utrustningscertifiering
En standard publicerad av RTCA, Inc. ger vägledning för utveckling och certifiering av programvara i luftburna system.
FAA
Federal Aviation Administration
Ett tillsynsorgan i USA ansvarar för reglering och tillsyn av civil luftfart inom landet.
FMEA
Fellägen och effektanalys
En systematisk teknik som används för att identifiera och analysera potentiella fellägen för ett system, en komponent eller en process, och deras effekter.
HLR
Krav på hög nivå
Breda uttalanden om vad mjukvarusystemet förväntas åstadkomma, vanligtvis specificerade i början av utvecklingsprocessen.
IMA
Integrerad modulär avionik
En systemarkitektur som integrerar flera avionikfunktioner i en gemensam hårdvaruplattform för att minska vikt, storlek och effektkrav.
LP
Lågnivåkrav
Detaljerade uttalanden som specificerar beteendet och funktionaliteten hos enskilda programvarukomponenter, härledda från höga krav.
MCDC
Modifierat skick/beslutstäckning
Ett strukturellt testkriterium som kräver att varje villkor i ett beslutsuttalande ska testas oberoende, vilket resulterar i en utvärdering av alla möjliga utfall.
MTTR
Medeltid att reparera
Den genomsnittliga tid som krävs för att reparera ett felaktigt programvarusystem eller komponent och återställa det till sitt normala driftläge.
OOT
Objektorienterad teknik
Ett tillvägagångssätt för mjukvaruutveckling som betonar användningen av objekt, klasser och arv för att designa och implementera mjukvarusystem.
PDR
Preliminär designgranskning
En formell granskning utförd för att utvärdera den initiala designen av ett mjukvarusystem eller en komponent, vanligtvis utförd före den detaljerade designfasen.
PPS
Process Performance Standard
En fördefinierad uppsättning mått och kriterier som används för att bedöma prestanda och effektivitet i processer för programvaruutveckling.
QA
Kvalitetssäkring
En uppsättning aktiviteter och processer som syftar till att säkerställa att mjukvaruprodukter och system uppfyller specificerade krav och kvalitetsstandarder.
RCS
Sammanfattning av kravändringar
Ett dokument som fångar och spårar ändringar som gjorts i programvarusystemkraven under hela utvecklingsprocessen.
RTCA
Radiotekniska kommissionen för flygteknik
En organisation som tar fram konsensusbaserade rekommendationer och standarder för flygindustrin.
SCMP
Programvarukonfigurationshanteringsplan
Ett dokument som definierar de procedurer och verktyg som ska användas för att hantera och kontrollera programvarukonfigurationsobjekten under utvecklingens livscykel.
SCSC
Programvarukritik och säkerhetsklassificering
Processen att tilldela konstruktionssäkringsnivåer (DALs) och säkerhetsklassificeringar till programvaror baserat på deras inverkan på systemsäkerheten.
SQA
Kvalitetssäkring av programvara
Den systematiska övervakningen och utvärderingen av de olika processerna för mjukvaruutveckling för att säkerställa överensstämmelse med fördefinierade kvalitetsstandarder.
SSD
Säkerhetsdata för programvara
En samling artefakter och bevis som används för att visa överensstämmelse med mjukvarans säkerhetsmål och krav.
SSC
Säkerhetsväska för programvara
Ett dokument som presenterar ett strukturerat argument som stöds av bevis för att visa att mjukvarusystemet uppfyller de specificerade säkerhetsmålen.
STP
Programvarutestplan
Ett dokument som beskriver tillvägagångssätt, omfattning, mål och schema för att testa mjukvarusystemet eller komponenterna.
SV
Strukturell täckning
Ett mått på i vilken utsträckning ett mjukvarusystems struktur, såsom uttalanden, beslut och villkor, har utövats under testning.
TLD
Design på högsta nivå
En arkitektonisk design på hög nivå av ett mjukvarusystem som ger en överblick över dess struktur, komponenter och gränssnitt.
TTCN-3
Testning och testkontrollnotation version 3
Ett standardiserat testspråk som används för att definiera och utföra testfall för mjukvarusystem.
V&V
Verifiering och validering
Processen att utvärdera och verifiera att ett mjukvarusystem eller en komponent uppfyller de specificerade kraven och fungerar som avsett.
VSCS
Version och källkontrollsystem
Ett mjukvaruverktyg eller system som används för att hantera och kontrollera versioner av programvarans källkod och relaterade artefakter.

Glöm inte att dela detta inlägg!

kapitel

Kom till marknaden snabbare med Visure

Synergi mellan en modellbaserad systemteknik- och kravhanteringsprocess

December 17th, 2024

11:5 EST | 8 CEST | XNUMX PST

Fernando Valera

Fernando Valera

CTO, Visure Solutions

Överbrygga klyftan från krav till design

Lär dig hur du överbryggar klyftan mellan MBSE och Requirements Management Process.