Evaluation of test coverage for embedded system testing [chapter]

Jinsong Zhu, Son T. Vuong, Samuel T. Chanson
1998 Testing of Communicating Systems  
In this paper we propose an original approach to the evaluation of test suites for embedded system testing, where the implementation under test (IUT) is embedded in a composite system as a component module. We define a coverage measure based on the identification of the IUT within the test context with respect to observational equivalence at the composite system level. The problem of limited IUT controllability and observability caused by the test context is handled when computing the coverage.
more » ... uting the coverage. The approach is purely functional and only assumes a general fault model where the number of states in the IUT is upper bounded. A tool has been developed and an example is given to illustrate and validate the approach.
doi:10.1007/978-0-387-35381-4_8 fatcat:vor72v5cofhsffnsenfg5bobbm