Studier av säkerhetskritiska programvaruberoende system som utvecklats med hjälp av de nuvarande metoderna för byggtest visar att krav och arkitekturkonstruktionsfel utgör ungefär 70 % av alla defekter, många systemnivåer relaterade till driftkvalitetsattribut, och 80 % av dessa brister upptäcks sent i utvecklingslivscykeln [Redman 2010]. Exponentiell tillväxt i programvara storlek och komplexitet har drivit kostnaderna för den nuvarande generationen av flygplan till gränsen för överkomlighet. Vi presenterar fyra pelare i en förbättringsstrategi för en integrera-då-bygga praxis som resulterar i tidig upptäckt av defekter och ökat förtroende genom inkrementell end-to-end systemvalidering och verifiering under hela livscykeln (Figur 1 ). • Fånga uppdrags- och säkerhetskritiska krav i analysbar form. • Virtuell integrering av det fysiska systemet, maskinvaruplattformen och programvaruarkitekturer genom konsekventa analytiska arkitekturmodeller. • Statiska analystekniker som tillämpas på modellerna och det faktiska systemgenomförandet för att komplettera testning.
Software Engineering Institute (SEI) publicerade 2013 en vitbok som presenterar en förbättringsstrategi som omfattar fyra pelare av en integrera-då-bygga praxis som leder till förbättrad kvalitet genom tidig upptäckt av defekter och inkrementell end-to-end validering och verifiering REF.
Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems
{'venue': None, 'journal': None, 'mag_field_of_study': ['Engineering']}