Proof vs testing in the context of safety standards

During software certification various forms of testing (e.g., unit, integration, regression) are undertaken. These testing processes are very important, but are also generally accepted as expensive, leading to a desire to replace testing with more cost-effective processes, where practicable. This pa...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Galloway, A., Paige, R.F., Tudor, N.J., Weaver, R.A., Toyn, I., McDermid, J.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Certification Safety Software testing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!