We introduce necessary and sufficient conditions for comparing the expected values of the number of failures caused by applications of software testing techniques. Our conditions are based only on the knowledge of a total or even a hierarchical order among the failure rates of the subdomains of a program’s input domain. We also prove conditions for comparing the probability of causing at least one failure in three important special cases.

On the analytical comparison of testing techniques

MORASCA, SANDRO;SERRA CAPIZZANO, STEFANO
2004-01-01

Abstract

We introduce necessary and sufficient conditions for comparing the expected values of the number of failures caused by applications of software testing techniques. Our conditions are based only on the knowledge of a total or even a hierarchical order among the failure rates of the subdomains of a program’s input domain. We also prove conditions for comparing the probability of causing at least one failure in three important special cases.
2004
International Symposium on Software Testing and Analysis 2004 (ISSTA 2004)
9781581138207
2004 ACM SIGSOFT International Symposium on Software Testing and Analysis
Boston (USA)
11-14 luglio 2004
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/1492690
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 26
  • ???jsp.display-item.citation.isi??? ND
social impact