[发明专利]基于状态机的机载产品测试建模方法

权利要求书

1.一种基于状态机的机载产品测试建模方法，其特征在于：其包括以下步骤：

S1，根据被测产品在实际运行环境中的交联关系确定当次测试所使用到的所有信号，并对测试信号进行建模，生成测试信号模型；

测试信号包括构建驱动整个测试过程所用到的所有信号，测试信号模型包括所有信号模型，每个信号模型包含信号级别、信号名称、信号类型、信号描述、信号类别、默认信号值、信号单位以及信号上下限属性信息；采用已有信号模型导入、新信号建模和信号属性编辑三种方式生成机载产品的所有信号模型；

S2，根据机载产品原理框图对机载产品架构进行建模生成机载产品架构模型；

机载产品架构模型中包含被测机载产品及其交联产品的层级概念、结构组成、接口、信号和互联方式信息，并将这些信息以结构框图的形式表达出来；对机载产品架构进行建模包括产品架构图绘制、架构组件编辑、信号模型加载、结构框图与测试需求条目关联和测试状态机关联五个步骤；具体为：

S201，产品架构图绘制用于绘制被测机载产品及外部测试环境相关产品的模块、接口及连线要素；

S202，架构组件编辑用于编辑每个模块的名称、坐标位置和展现形式，补充说明信息，同时能够在模块内部嵌套子模块；

S203，信号模型加载根据被测产品实际工作情况为每条连线添加信号模型，信号模型为步骤S1中确定的信号模型；

S204，结构框图与测试需求条目关联用于将产品架构模型中的结构框图与测试需求条目进行匹配，为测试需求符合性评估做准备；

S205，测试状态机关联用于为每个产品架构模块关联对应的测试状态机模型，关联后该产品架构模块的接口和交互信号信息将传递至测试状态机模型中；

S3，根据机载产品测试需求在工作场景的基础上设计测试场景，绘制测试状态机得到测试状态机模型；

状态机建模根据产品架构模型的信息绘制测试状态机图，并编辑各项属性得到测试状态机模型，所述测试状态机模型是状态机图及图中各节点属性信息的集合；状态机建模包括：测试状态机图绘制、状态机组件编辑、信号逻辑实现、测试状态机发布和测试流与测试需求条目关联五个步骤，具体为：

S301，测试状态机图绘制用于绘制不同功能逻辑节点、连线，调整节点位置信息和展现形式，所述节点包括开始、结束、动作、条件、判断或延时；

S302，状态机组件编辑用于编辑节点的基本属性，包含节点名称、说明信息、节点位置/形状以及前置/后置时间；

S303，信号逻辑实现用于规定有信号逻辑动作的节点动作、跳转条件或通过判据；

S304，测试状态机发布用于导出测试状态机信息，为测试用例生成提供状态信息；

S305，测试流与测试需求条目关联用于将每个测试流与测试需求条目进行匹配，为测试需求符合性评估做准备；

S4，测试用例生成将测试状态机模型中的测试信息按照测试状态机-测试矩阵-测试流-测试用例的顺序逐步展开形成全面的测试用例集，测试用例集用于生成测试需求分析的最终输出文件，具体包括测试流和信号跳转条件删改确认、信号输入合集编辑、测试用例删改确认、测试用例与测试需求条目关联和测试用例五个步骤，具体为：

S401，测试流和信号跳转条件删改确认用于对由测试状态机发布而来的测试矩阵中的多余部分进行删除或修改信号跳转条件；

S402，所述信号输入合集编辑用于补充每个测试矩阵下各信号的取值范围，形成不同信号取值的测试用例；

S403，测试用例删改确认用于对有测试矩阵分解而来的测试用例中的多余部分进行删除；

S404，测试用例与测试需求条目关联用于将每个测试用例与测试需求条目进行关联，为测试需求符合性评估提供数据输入；

S405，测试用例用于发布及固化测试用例信息，并转化为可直接供测试系统执行的测试用例。

2.根据权利要求1所述的基于状态机的机载产品测试建模方法，其特征在于：所述步骤S1中测试信号的信号级别包括标准信号和复合信号，标准信号是承载信号属性的最小单元，复合信号运用公式由标准信号和标准信号组成，或者由标准信号和其他复合信号组成。