Abstract:

Compared with the traditional TV, a smart TV has diverse functions such as Internet surfing, audio and video files playing, and applications downloading. So the software and hardware of the smart TV become very complicated and are relatively hard for users to operate. The reliability of such a large scale of consumer oriented products is the main problem that smart TV manufacturers are facing. We model the behaviors of the smart TV with AutoStar by hierarchical state transition matrix (STM), which are converted into an expanded regular expression (ERE) with memory property. The cyclic number of regular expression closures is set according to the cyclomatic complexity of the regular expression, and then the test cases are generated from the ERE. The test cases are converted to Python scripts automatically and sent to the Android smart TV through the ADB interface. Finally, a test platform for the Android smart TV is designed and applied in smart TV tests in domestic house-hold electrical appliance plant.

Key words: state transition matrix, cyclomatic complexity, regular expression