|
Abstract : |
www.itu.dk/people/jcg Abstract. In this paper we present a method for testing systems with respect to a fault model. The system software is expected to be embedded and specied as a nite state machine. Instead of testing the conformance of the system against its speci-cation we suggest to test only the connections between the software and the hardware in which the software is embedded. A fault model formally captures certain errors among the connections and therefore may aid in the process of test generation. In the paper two types of fault models are considered: input fault models and output fault models. 1, |
