装备自动测试系统软件的可测试性设计与分析