Ero sivun ”Turvakriittinen järjestelmä” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
Rivi 24:
Järjestelmän testaaminen on olennainen osa järjestelmän kehitystä. [[IEC 61508]] -standardin mukaan ohjelmistolle on tehtävä [[yksikkötestaaminen]] ({{k-en|unit testing}}).<ref>{{Verkkoviite | osoite = http://www.win.tue.nl/~mvdbrand/courses/sse/1213/iec61508_overview.pdf | nimeke = IEC 61508 Overview Report | julkaisija = exida | julkaistu = 2.1.2006 | viitattu = 27.9.2017}}</ref>
[[DO-178B]] vaatii ''formaalia todistetta'' ohjelmakoodin oikeellisuudesta ja kaikkien syötteiden ja tilojen huomioimisesta toteutuksen toiminnassa (ks. [[DO-333]]). Myös [[laiteohjelma]] ({{k-en|firmware}}) on huomioitava kehityksessä ja testaamisessa.
== Katso myös ==
| |||