（12）发明专利申请
（21）申请号 CN201710138290.X （22）申请日 2017.03.09 （71）申请人 北京航空航天大学
地址 100191 北京市海淀区学院路37号
（10）申请公布号 CN107066382A
（43）申请公布日 2017.08.18
（72）发明人 刘艳芳;刘一帆;吕江花;李乃海;乌尼日其其格;张海祥;马世龙 （74）专利代理机构 北京永创新实专利事务所
代理人 赵文利
（51）Int.CI
权利要求说明书 说明书 幅图
（54）发明名称
一种基于模型的航天器系统自动化测试方法
（57）摘要
本发明公开了一种基于模型的航天器系统
自动化测试方法，属于系统测试领域；首先通过形式化的方法建立被测航天器系统的窗口树模型，根据业务流程划分被测航天器系统运行时的行为状态，构建系统行为状态转移图；然后遍历窗口树生成测试用例集，并在被测航天器数字化模型与验证原型系统运行，设置跟踪点，获取系统行为状态并记录状态转移序列，最后通过模型检测算法检查所获得的行为状态转移序列是否遵
循状态转移规则，从而自动验证被测航天器系统总体设计以及模块之间的接口设计；本发明采用基于模型的测试技术降低航天器系统测试成本和缩短航天器系统整个研制周期，采用形式化方法和模型检测算法提高了航天器系统测试的质量和准确性。
法律状态
法律状态公告日2017-08-18 2017-08-18 2017-09-12
法律状态信息
公开 公开
实质审查的生效
法律状态
公开 公开
实质审查的生效
权利要求说明书
一种基于模型的航天器系统自动化测试方法的权利要求说明书内容是....请下载后查看
说明书
一种基于模型的航天器系统自动化测试方法的说明书内容是....请下载后查看
因篇幅问题不能全部显示，请点此查看更多更全内容