硬件系统自动化测试的多视角建模及案例研究 (Modeling in Multiple Views and Industrial Case Study of Automatic Test for Hardware System)