探测故障的**时机是在开发过程的早期。 如果使用统一建模语言(UML)，甚至在分析和设计期间就可以发现故障。 然而，软件的集成和测试十分困难，嵌入式系统更困难，由于输入和输出少，系统的可操作性和可见性都很有限。 反常的系统状态尤其难以测试，因为在确定系统在某一状态下的行为前，必须使系统进入该状态。 本文提出将测试仪器(instrumentation)代码注入UML模型实现中的观点，目的是提升系统的可控性、可观察性和易测性。 测试仪器可应用在开发和目标环境中，并可在模型级进行交互式系统调试。 在批处理模式下，测试仪器是数据采集、初始化和测试自动化的基础。 本文旨在简要介绍基于模型的软件工程以及这些模型的实现；概述基于模型的软件的集成测试方法；确定模型系统内重要的运行时间数据和执行关键点；阐述在运行时间采集和操作模型数据的几种方案；使测试仪器能自动进行测试。 软件故障是指程序中的错误指令或计算，软件故障的执行将导致软件状态出错。 当错误传到输出，并作为一个异常结果呈现在系统外时，故障就会发生。 程序的可控性是指一套测试系统强迫被测程序遵循一个特定执行路径的能力，也有可能沿这条路径的执行出错