Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - Identification of test cases using a formal approach
AU - Sinha, Purnendu
AU - Suri, Neeraj
PY - 1999/6/15
Y1 - 1999/6/15
N2 - A key feature in fault injection (FI) based validation is identifying the relevant test cases to inject. This problem is exacerbated at the protocol level where the lack of detailed fault distributions limits the use of statistical approaches in deriving and estimating the number of test cases to inject. In this paper we develop and demonstrate the capabilities of a formal approach to protocol validation, where the deductive and computational analysis capabilities of formal methods are shown to be able to identify very specific test cases, and analytically identify equivalence classes of test cases.
AB - A key feature in fault injection (FI) based validation is identifying the relevant test cases to inject. This problem is exacerbated at the protocol level where the lack of detailed fault distributions limits the use of statistical approaches in deriving and estimating the number of test cases to inject. In this paper we develop and demonstrate the capabilities of a formal approach to protocol validation, where the deductive and computational analysis capabilities of formal methods are shown to be able to identify very specific test cases, and analytically identify equivalence classes of test cases.
KW - Data structures
KW - Equivalence classes
KW - Network protocols
KW - Query languages
KW - Dependency tree
KW - Fault injection
KW - Inference tree
KW - Fault tolerant computer systems
U2 - https://ieeexplore.ieee.org/document/781066
DO - https://ieeexplore.ieee.org/document/781066
M3 - Conference contribution/Paper
SN - 076950213X
T3 - Proc Annu Int Conf Fault Tolerant Comput
SP - 314
EP - 321
BT - Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
PB - IEEE
T2 - Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Y2 - 15 June 1999 through 18 June 1999
ER -