Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

A Plan for Testing Conformance and Interoperability of Implementations of the GSC-IS

Published

Author(s)

Eric Dalci, Elizabeth N. Fong, Alan H. Goldfine

Abstract

Our results extending Kuhn's fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique that allows us to elegantly prove that the hierarchy applies to arbitrary expressions, not just those in disjunctive normal form. We also use the technique to extend the hierarchy to a wider range of fault classes. To demonstrate broad applicability, we compare faults in practical situations and analyze previous results. In particular, using our technique, we show that the basic meaningful impact strategy of Weyuker et al. tests for stuck-at faults, not just variable negation faults.
Citation
NISTGCR

Citation

Dalci, E. , Fong, E. and Goldfine, A. (2003), A Plan for Testing Conformance and Interoperability of Implementations of the GSC-IS, NISTGCR, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=150508, http://xw2k.sdct.itl.nist.gov/smartcard/document/Test-Plan.pdf (Accessed July 20, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created April 30, 2003, Updated October 12, 2021