随着技术的发展与人们需求的增加，系统的规模和复杂性日益增大，由于系统的错误而导致的损失也越来越大。系统测试已成为如今系统开发的必需部分，传统的测试方式由于耗费大量的人力物力且检查的效率不够高，不能满足复杂系统测试的需要，自动化测试成为必然趋势。自动化测试的一个重要方向是基于模型的测试，研究基于模型的系统测试方案生成变得尤为重要。本文为分层有限状态机（Hierarchical Finite State Machine,HFSM）模型测试方案生成系统的一部分，负责HFSM模型的描述的研究、HFSM模型的检测及HFSM模型信息提取。本文首先对现有的模型的形式化说明进行研究，并对分析了其使用场景。由于普通的有限状态机(Finite State Machine,FSM)不能描述复杂系统，确定使用分层有限状态机模型作为模型的描述方式，并考虑了HFSM带有约束的情况。其次，研究HFSM模型的描述方式。HFSM模型的描述是HFSM测试方案生成的基础。根据HFSM模型的组成部分，分别对HFSM模型的各个组成部分进行可视化的描述，使HFSM的可视化描述与形式化描述等价；由于某些系统中可能存在约束，本文也对HFSM模型中的约束进行了可视化的描述。最后，对HFSM模型的检测进行研究。目前有许多对HFSM模型自动化的生成HFSM模型的测试方案方法，但对HFSM模型生成测试方案的过程需要对HFSM模型进行检测，包括HFSM模型的是否符合规定的描述方式的检测以及HFSM模型是否满足一些算法的前提条件，如完全定义等。对HFSM模型的测试方案生成需要对HFSM信息的提取，为此本文对HFSM绘制、HFSM模型的检测及HFSM模型的信息提取进行了设计并生成了HFSM模型描述检测系统，系统在单机环境中进行了部署和运行，取得了良好效果。