一种基于形式化描述的运载火箭测试数据判读方法及系统
摘要:
一种基于形式化描述的运载火箭测试数据判读方法及系统,包括(1)将测试参数的判据进行分类;(2)定义测试参数判据的组成元素;(3)根据定义的组成元素,对分类后的各类判据进行形式化描述;(4)读取判据的形式化描述,并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码;(5)以运载火箭测试数据为数据源,运行目标程序代码,给出运载火箭测试数据是否正常的判读结论,从而完成运载火箭测试数据的判读。本发明通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题,在此基础上实现了自动化的测试数据判读,极大提高了测试数据判读的效率与准确性。
0/0