Focus of thesis is on the effective reliability-driven verification of large critical software systems. Many challenges have to be addressed towards this aim. These range from the ac- curate identification of the most critical software components for effective effort allocation, to the selection of most proper verification technique(s) to adopt for a software component in hands, up to the adoption of suitable techniques able to detect faults that typically man- ifest only at runtime (e.g., software aging).
Reliability-Oriented Verification of Mission-Critical Software Systems / Russo, Stefano. - (2009).
Reliability-Oriented Verification of Mission-Critical Software Systems
RUSSO, STEFANO
2009
Abstract
Focus of thesis is on the effective reliability-driven verification of large critical software systems. Many challenges have to be addressed towards this aim. These range from the ac- curate identification of the most critical software components for effective effort allocation, to the selection of most proper verification technique(s) to adopt for a software component in hands, up to the adoption of suitable techniques able to detect faults that typically man- ifest only at runtime (e.g., software aging).File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
