简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:自主式水下航行器(AUV)无论是在军事上还是在民用上均有广阔的应用前景。为了更好地协同,挪威国防研究院(FFI)已将民用部门的兴趣吸引到其雄心勃勃的水下航行器计划上。这是一个依靠挪威工业部门自身的水下航行器技术商业开发计划。在挪威工业部门的配合下,FFI已经开发出了两代“休金”系统。自1997年以来,“休金”已进行了许多次商业应用,主要用于近海石油与天燃气工业。与此同时,系统在使用过程中积累的日常经验反过来在许多方面促进了开发工作一“休金”水雷侦察系统(HMRS)将是“休金”水下航行器技术第一项军事化运用。本文描述了其猎雷概念、技术实现途径及能力。