Improved automatic DTV/STB menu navigation for functional verification

Menu navigation is the basic functionality of DTV/STB devices. This paper presents improved automatic menu navigation and integration of tools such as MaTeLo in the Black Box Testing (BBT) system for automated functional verification of DTV/STB devices. Specifically, the method for accurate determination of the source of an error in the case of failing test is given. In addition, the mechanism of selecting either recovering from error in the case of test failure or restoring the device to its initial state, as well as the mechanisms for recovering or returning to its initial state are proposed.