This paper utilizes the automatic light control (ALC) function of
a vehicle as a running example. Test cases at all test levels will be
described for the ALC function in the subsequent section, in the
context of a sound characterization of the test levels for embedded
systems. Section 2 also explores the similarities and differences
across test levels, leading to the conclusion that reusing test cases
regarding the functional cores across test levels can be beneficial.