[发明专利]一种基于模型的航天器系统自动化测试方法

摘要

本发明公开了一种基于模型的航天器系统自动化测试方法，属于系统测试领域；首先通过形式化的方法建立被测航天器系统的窗口树模型，根据业务流程划分被测航天器系统运行时的行为状态，构建系统行为状态转移图；然后遍历窗口树生成测试用例集，并在被测航天器数字化模型与验证原型系统运行，设置跟踪点，获取系统行为状态并记录状态转移序列，最后通过模型检测算法检查所获得的行为状态转移序列是否遵循状态转移规则，从而自动验证被测航天器系统总体设计以及模块之间的接口设计；本发明采用基于模型的测试技术降低航天器系统测试成本和缩短航天器系统整个研制周期，采用形式化方法和模型检测算法提高了航天器系统测试的质量和准确性。

主权项

一种基于模型的航天器系统自动化测试方法，其特征在于，具体步骤如下：步骤一、针对某个被测航天器，根据该被测航天器系统的总体设计方案，为每个业务分别构建一个窗口树模型；步骤二、根据该被测航天器系统的业务流程，划分系统行为主体运行时的不同行为状态，构建行为状态转移图模型，形成该被测航天器系统预定的状态转移规则集；行为主体是被测航天器系统运行过程中的所有计算、存储和传输过程的承担者；行为状态转移图定义如下：STG＝(S,S0,ES,RS,E,F)其中，S表示状态转移图中全部状态的有限集合，即被测航天器系统的系统级行为状态的有限集合；S0表示初始状态，S0∈S；ES是触发状态转移的事件集合或者事件序列集合，为非空有限集合；RS,E是所有状态转移规则的集合：δ:S×Es→S；F是S的子集，表示终止状态的集合；每个状态转移规则包括前置状态、后置状态和触发状态转移的事件，前置状态在触发状态转移的事件下转移到后置状态；根据行为状态转移图模型，得到各个状态转移规则，最终形成该被测航天系统的状态转移规则集作为设定目标；步骤三、运用航天器测试用例自动生成方法遍历被测航天器的窗口树模型，生成测试用例集；窗口树模型中每一条路径刻画一类系统的运行过程，将每条路径分别作为一个测试用例；步骤四、将生成的测试用例集，逐条输入到航天器数字化模型与验证原型系统中，获取被测航天器的系统级行为的状态转移序列；步骤五、通过模型检测算法判断系统级行为的状态转移序列中的每一步状态转移是否遵循设定的状态转移规则集中的规则；如果是，则说明被测航天器系统通过测试用例集的测试；否则，在行为状态转移序列中至少存在一次状态转移没有遵循状态转移规则，被测航天器系统未通过测试。