基于有限状态机模型的飞控软件测试方法浅析  

Analysis on Test Methods of Flight Control Software Based on Finite State Machine(FSM) Model

作　　者：吴春成 封二强[1] 郑军[1] 

机构地区：[1]中国航空综合技术研究所,北京100028

出　　处：《航空标准化与质量》2018年第3期25-28,共4页Aeronautic Standardization & Quality

摘　　要：对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。

关 键 词：软件测试 状态机 飞行控制软件 

分 类 号：T-65[一般工业技术]