Identification of Test Cases Using a Formal Approach

Authors:
Purnendu Sinha;Neeraj Suri
Affiliations:
-;-
Venue:
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Year:
1999

Citing 0
Cited 1

Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Verification

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.